Шульцу и Зоткину о теореме Гёделя

Рецензия на «Картина мира» (Сергей Зоткин)

по существу –
см. теорему Гёделя: никакая система не может быть одновременно и законченой, и внутренне непротиворечивой.
и мелочь: "ибо картина мира это ТО что перед глазами".
не хватает "то", имхо
Яков Шульц   05.12.2012 18:54   •   Заявить о нарушении правил
Добавить замечания

спасибо, поправил. Гёделя посмотрю. а ты пока Витгенштейна глянь "Логико-философский трактат". )
Сергей Зоткин   05.12.2012 19:03   Заявить о нарушении правил

ну как же! он у меня в уборной на почётном месте лежит)
Яков Шульц   05.12.2012 19:16   Заявить о нарушении правил


     Доктор Шульц, вы же не математический доктор! «Законченных» математических систем не бывает - бывают "полные" и "неполные". Примеров «полных» и «непротиворечивых» - сколько угодно.
     Теорема Геделя доказывает следующее: любая аксиоматическая система, достаточно мощная, чтобы содержать арифметику, неполна.
     Последнее означает только то, что непротиворечивость этой системы нельзя доказать средствами самой системы (но можно как-то иначе).
     Зачем голову Зоткину морочить? Он и так на голову не крепок. А «посмотрев» теорему Геделя, может последнего лишиться.

Доктор математических и поэтических наук
Дюринг Евгений   05.12.2012 19:20   Не Заявлять о нарушении правил / Не удалять