КвантоФорум :: Recent Posts Голосов: 1 Адрес блога: http://quantoforum.ru Добавлен: 2013-05-02 14:40:55

Теория сжатия Вселенной #7 (наш ответ Нобелю)

2015-11-11 00:31:29 (читать в оригинале)

Vladimirovich wrote: пожалуй

в принципе к любой (конечной и/или разрешимой) базе аксиом можно добавлять новые аксиомы, хотя это может показаться лишним и/или надуманным; щас не могу привезти примера (геометрия Евклида по Гильберту?), но должно быть замкнутых в себе областей, которым бОльшего/расширений не нужно, хотя бы эстетически.

самым ошеломляющим в арифметике нахожу то, что приходится добавлять напрашивающиеся, но тем не менее недоказуемые реляции/утверждения!! ведь ясно же, что у некоторого диофантова уравнения или будут решения, или не будут, притом только один из этих вариантов может поиметь место, другой будет заведомо ошибочен. Тем не менее любой из двух можно присобачить к остальным аксиомам арифметики, но никто не станет этого делать, в разительном отличии от аксиом (не)параллельности или континуум-гипотезы!