1. Изо всех сил стараюсь не кормить троллей. 2. aka "Точка Опоры", "Ник, @ля, опять потерялся" и "ForcePoint".
-
- Теория о неполноте всего лишь утверждает, что не все логические
конструкции можно проверить через общепринятые аксиомы. Это не
мешает в, например, квантовой механике принимать постулаты как
новые аксиомы без особого стеснения. Это банальный вопрос размера
аксиоматической базы. - =AlexD=(30.09.2026 11:22)
- Невыводимость в теореме не зависит от аксиоматической базы. _volkanaft_(865 знак., 30.09.2026 14:28, ссылка)
- Небольшой исторический экскурс в гносеологические корни - - _volkanaft_(1 знак., 30.09.2026 14:49, ссылка)
- Анекдот =AlexD=(787 знак., 30.09.2026 15:09)
- Небольшой исторический экскурс в гносеологические корни - - _volkanaft_(1 знак., 30.09.2026 14:49, ссылка)
- Невыводимость в теореме не зависит от аксиоматической базы. _volkanaft_(865 знак., 30.09.2026 14:28, ссылка)
- Теория о неполноте всего лишь утверждает, что не все логические
конструкции можно проверить через общепринятые аксиомы. Это не
мешает в, например, квантовой механике принимать постулаты как
новые аксиомы без особого стеснения. Это банальный вопрос размера
аксиоматической базы. - =AlexD=(30.09.2026 11:22)