«Если бы не было теоремы Гёделя, то жизнь не только не была бы приятнее, ее просто не было бы». «Теорема Гёделя показывает не просто ограниченность логических средств, она говорит о каком-то фундаментальном, глубинном свойстве мышления и, может быть, жизни вообще. Если мы что-то хотим понять в мышлении человека, то это возможно не вопреки теореме Гёделя, а благодаря ей». «Для того, чтобы мышление было возможным, — писал Паршин, — для того, чтобы существовала интуиция, вспышка озарения, …необходимо, чтобы мысль могла двигаться по пространству, не просто бесконечному, но по пространству, имеющему структуру континуума».
— «Лемма: -непротиворечивость влечет непротиворечивость.»
— «В любой достаточно богатой системе существует истинное недоказуемое утверждение.»
— «Если формальная арифметика непротиворечива, то
найдется такая формула F, что как она сама, так и ее отрицание недоказуемы.»
-«Если в формальной арифметике удастся доказать ее непротиворечивость, то
на основании этого доказательства можно построить противоречие в формальной арифметике.»

Опубликовал  пиктограмма мужчиныВиктор Харламов 2  28 июл 2020
1 комментарий
  • «Лемма: -непротиворечивость влечет непротиворечивость.»
    — «В любой достаточно богатой системе существует истинное недоказуемое утверждение.»
    — «Если формальная арифметика непротиворечива, то
    найдется такая формула F, что как она сама, так и ее отрицание недоказуемы.»
    -«Если в формальной арифметике удастся доказать ее непротиворечивость, то
    на основании этого доказательства можно построить противоречие в формальной арифметике.»

Похожие публикации

Сын с обидой: — Ты меня родила, чтоб любить? Или чтоб я тебе убирать игрушки помогал?

Опубликовал  пиктограмма мужчиныАлексей Уткин  23 авг 2012

ПОЛОСА...

Ты живешь, свою судьбу ругая, и душа устала от потерь?
Это просто полоса такая… и она закончится, поверь!
Это просто не сложилось что-то, иль не досмотрели небеса…
Жизнь еще предстанет беззаботной, черная растает полоса…

Не везет? Но это лишь отчасти — ты сейчас на новом рубеже,
И тебе назначенное счастье, где-то рядом ждет тебя уже.
И наступит день, в тебя влюбленный, ласковыми станут голоса,
И себя ты спросишь удивленно: «А была ли черной полоса?!»

Опубликовал  пиктограмма мужчиныМистер Ю  17 окт 2012

Одно из важнейших средств контроля за массами людей — загружать их делом и бытовыми заботами настолько, чтобы у них не оставалось сил и желания для выработки способности размышлять о социальных проблемах и для самих таких размышлений.

Глобальный человейник

Опубликовала  пиктограмма женщиныАменция  02 авг 2014

Знаете, у меня есть знакомый, он из бедной семьи и живет в старой хрущевке с бабушкой и мамой. Я как-то поздно вечером заехал к нему забрать свою флешку, которую одолжил ему для презентации в институте. И поднимаясь к нему на 3 этаж, в пролете я увидел бомжа, который сжавшись в комок с боязнью на меня посмотрел и попросил не выгонять, потому что его дом сгорел, а на улице ему спать холодно. Спустившись обратно, я сел в машину и по дороге домой задумался над тем, что у этого несчастного нет мысле…

Опубликовал  пиктограмма мужчиныАngel555  22 янв 2012