Место для рекламы

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

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

Похожие цитаты

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

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

Если в голове каша, значит, котелок всётаки варит!

Опубликовал  пиктограмма мужчиныMORRA  15 июн 2011

ПОЛОСА...

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

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

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

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

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

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

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

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