Запитання з тегом «incompleteness»

Я завжди туманно думав, що відповідь на вищезазначене питання була ствердною у наступних рядках. Теорема про незавершеність Геделя та нерозбірливість проблеми зупинки є негативними результатами розв'язуваності та встановленими діагональними аргументами (і в 1930-х рр.), Тому вони повинні якось бути двома способами розгляду однакових питань. І я подумав, що Тьюрінг використовував …

75 computability  logic  halting-problem  incompleteness 

Нещодавно я думав про обґрунтованість доказу протиріччя. Останні кілька днів я читав речі з інтуїтивної логіки та теореми Годеля, щоб побачити, чи дадуть мені відповіді на мої запитання. Зараз у мене ще тривають запитання (можливо, це стосується нового матеріалу, який я читав) і сподівався отримати відповіді ( ПОПЕРЕДЖЕННЯ . Ви …

19 logic  first-order-logic  propositional-logic  incompleteness 

Я читав питання Послідовність і повнота передбачає здоровість? і перше твердження в ньому говорить: Я розумію, що здоровість передбачає послідовність. Я був дуже спантеличений, тому що я вважав, що звучність є слабкішим твердженням, ніж послідовність (тобто, я вважав, що послідовні системи повинні бути здоровими, але я думаю, що це неправда). …

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