caxapa.ru :: Теория о неполноте всего лишь утверждает, что не все логические конструкции можно проверить через общепринятые аксиомы. Это не мешает в, например, квантовой механике принимать постулаты как новые аксиомы без особого стеснения. Это банальный вопрос размера аксиоматической базы.

=AlexD= (30.09.2026 11:22, просмотров: 94) ответил !Neofit на Прошу подключить к сеансу столоверчения К. Гëделя.

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

Это моё личное предвзятое мнение. Любое совпадение с реальностью является случайным и непреднамеренным.

Ответить

- Невыводимость в теореме не зависит от аксиоматической базы. _volkanaft_(865 знак., 30.09.2026 14:28, ссылка)
  - Небольшой исторический экскурс в гносеологические корни - - _volkanaft_(1 знак., 30.09.2026 14:49, ссылка)
    - Анекдот =AlexD=(787 знак., 30.09.2026 15:09)

О смысле всего сущего