Гёдель против Гентцена

§1. Вторая проблемма Гильберта

В 1900 году Гильберт сформулировал список т.н. задач столетия, вторая из которых звучит так: “доказать непротиворечивость арифметики”. Вопрос статуса этой задачи очень забавен. Дело в том, что Курт Гёдель в 1931 году доказал, что это невозможно, а Герхард Гентцен в 1934 году доказал непротиворечивость. :-)

Спокойствие, только спокойствие: сейчас я расскажу по порядку в чём тут дело и почему результаты Гёделя и Гентцена друг другу не противоречат.

( Read more... )

Так не работает

Вот тут, в рецензии Ааронсона есть красивый разбор (со строгим доказательством), почему Вольфрамовский подход к квантовой механике (через клёточные автоматы и графы) не может работать: http://arxiv.org/abs/quant-ph/0206089

А вот тут источник ещё массы no-go теорем о том, как _не_ может быть устроена теория всего: http://arxiv.org/pdf/1303.6917.pdf (в частности исключается наивная Вайнберговская нелинейная КТП).

Я просто оставлю это здесь.