Теорема Гёделя как замочек на роточек всяких там логикофилов

[salatau]

Гёдель доказал, что в каждой достаточно богатой средствами выражения формализованной системе имеются содержательные истинные утверждения, которые не могут быть доказаны средствами самой этой системы; это значит, что полная формализация, например арифметики, принципиально неосуществима, что понятия и принципы математики не могут быть полностью

Comments

[lj_frank_bot]

Здравствуйте!
Система категоризации Живого Журнала посчитала, что вашу запись можно отнести к категориям: Животные, Наука, Философия.
Если вы считаете, что система ошиблась - напишите об этом в ответе на этот комментарий. Ваша обратная связь поможет сделать систему точнее.
Фрэнк,
команда ЖЖ.

[salatau]

Да. Люди ж тоже животные.

[skeppdem]

[salatau]

!!!

[morus2]

Я, это мы?

[morus2]

....ладно, перефразирУю; мя, это ы?

[salatau]

Не-не-не. Ни в коем случае. Мя - это гав, только по кашачьи.

[morus2]

...спросил у кошки, та отвечать не стала
Она зайчика доедала....

[elviraelja]

«Скотт есть автор «Веверлея»... Что-то вспомнилось:

[salatau]

Небиспакойся котик! То спор словъян между собою. Нас его не кассааица.