Вопросы с тегом «incompleteness»

Я всегда смутно думал, что ответ на вышеупомянутый вопрос был утвердительным по следующим направлениям. Теорема Гёделя о неполноте и неразрешимость проблемы остановки являются отрицательными результатами о разрешимости и установлены диагональными аргументами (и в 1930-х годах), поэтому они должны как-то быть двумя способами рассматривать одни и те же вопросы. И я …

76 computability  logic  halting-problem  incompleteness 

Недавно я думал о достоверности доказательства противоречием. В течение последних нескольких дней я читал материалы по интуиционистской логике и теоремам Годеля, чтобы посмотреть, дадут ли они мне ответы на мои вопросы. Прямо сейчас у меня все еще есть вопросы (возможно, связанные с новым материалом, который я прочитал), и я надеялся …

19 logic  first-order-logic  propositional-logic  incompleteness 

Я читал вопрос, что последовательность и полнота означают разумность? и первое утверждение в нем говорит: Я понимаю, что разумность подразумевает последовательность. Что меня очень озадачило, потому что я думал, что разумность была более слабым утверждением, чем последовательность (то есть я думал, что согласованные системы должны быть надежными, но я думаю, …

12 terminology  logic  first-order-logic  propositional-logic  incompleteness