Похожие чаты

На каком уровне строгости вообще хочется это понять? тут не

очень сложно всё

8 ответов

18 просмотров

Да любом, для меня это все звучит как билиберда какая-то, берём натуральные числа, кодируем алфавит, аксиомы и систему вывода, ищем номер утверждения которое нельзя получить из исходных... ура! Вот и доказали что есть невыводимое утверждение

Nikita-Repeev Автор вопроса
Smith
Да любом, для меня это все звучит как билиберда ка...

представьте аксиоматику Евклида без пятого постулата: в этой теории есть утверждение, которое невозможно ни опровергнуть, ни доказать (пятый постулат). никаких парадоксов тут нет, теорема Гёделя просто утверждает, что подобные высказывания будут появляться в любой теории, которая удовлетворяет предположениям этой теоремы(непротиворечивость + достаточная сложность)

Smith
Да любом, для меня это все звучит как билиберда ка...

Возможно вас смущает, что это неконструктивная теорема существования, т.е. доказывается лишь то, что недоказуемое валидное утверждение существует, но ни что за оно, ни как это утверждение найти не показано. К сожалению или счастью, очень много результатов современной математики на таких теоремах стоят. Есть люди, которые религиозно верят, что неконструктивные теоремы существования принимать нельзя, и зовутся они конструктивисты

Smith
Да любом, для меня это все звучит как билиберда ка...

Чота какое-то не то доказательство, ключевой момент доказательства в том, что мы ищем такое утверждение А, что А="утверждение под номером [А] недоказуемо" (где [_] -- Гëделев номер) И отсюда классический парадокс лжеца

пільнуй сабаку
Возможно вас смущает, что это неконструктивная тео...

Вообще-то теоремы Гёделя работают и в интуиционистской логике.

Похожие вопросы

Обсуждают сегодня

а через ESC-код ?
Alexey Kulakov
29
30500 за редактор? )
Владимир
47
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
13
any reference of this implementation?
BitBuddha
29
Ⓐrtto, [4/23/24 7:02 PM] Please explain more fully how it is not working exactly, and what are the steps you are taking, and what error messages come or what happens. Ⓐrtto, ...
Ezza Kezza
2
sounds like people have lost their kaspa on tradeogre... does this mean tradeogre not trustworthy?
Ezza Kezza
15
Страшнейшая правда про списки ЦБ. С первых дней жизни P2P сферы, молодые человеки, начитавшись законодательной базы и "внутренних" документов, решили, что им противостоит сер...
Foxcool
3
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
So much speculation in the last week. So much volatility in price. This is because Hedera has a GC that isn't using the network it's governing. Why aren't people asking why a...
Summit Seeker R
9
Карта сайта