Похожие чаты

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

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

8 ответов

17 просмотров

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

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

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

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

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

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

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

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

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

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

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

Ready for some fun AND a chance to win TKO Tokens? Join us for exciting minigames in our Telegram group! 🕒 Don’t miss out—games start on today 25 October 2024, at 8 PM! Ge...
Milkyway | Tokocrypto
255
Добрый вечер. Есть вопрос, а может и предложение. Был у меня диалог в другой группе о делфи и я задался вопросом: "А нельзя ли в делфи цвет //коментария и {комментария} сде...
Kraszx
24
How about the project bro Likes the community not that active ?
🅿️abby_FX
19
Всем привет! Подскажи, пожалуйста, как передать в TComboBox сразу значение и id записи. На Delphi я делал так: ComboBox1.Items.AddObject('Какое-то значение', Pointer(id запис...
Евгений
13
Мдя, прикол, боевая сборка запускается (именно под отладчиком) после F9 примерно полторы минуты (97 секунд если быть точным). Начал копать - проблема детектится сразу - зависа...
Александр (Rouse_) Багель
38
How are we going bro about the Raids ??
🅿️abby_FX
13
Россия стала ввозить сливочное масло из ОАЭ. Просто ради любопытства взглянул на статистику и впечатлился. У арабов среднестатистическая корова дает около 42 литров молока в д...
Foxcool
2
Здравствуйте, вопрос по структурам данных. Были у вас случаи, когда пришлось писать деревья или двунаправленные списки?
/ /
50
Товарищи, кто работа с iphelper? Или может я в самой логике ошибки фигачу, не пойму.... var ifTable : PMIB_IFTABLE; size, corSize: DWORD; Buffer ...
Warfarellen
4
я так понимаю, я так подозреваю, что создание такого плагина для человека, кто умеет писать плагины для делфи потребует минут 5-10 времени. но это мое подозрение. хотелось бы ...
Kraszx
7
Карта сайта