!Neofit (Сегодня, 11:10, просмотров: 31) ответил =AlexD= на Агностицизм - это вера в непознаваемое ;-). Товарищи, любая
логическая конструкция зиждется на базовых аксиомах. С этим ничего
не поделать. Построить стройную и непротиворечивую логическую
систему без аксиом может, наверное, только Бог. Для человеческого
разума сиё недоступно.1. Изо всех сил стараюсь не кормить троллей. 2. aka "Точка Опоры", "Ник, @ля, опять потерялся" и "ForcePoint".
-
- Теория о неполноте всего лишь утверждает, что не все логические
конструкции можно проверить через общепринятые аксиомы. Это не
мешает в, например, квантовой механике принимать постулаты как
новые аксиомы без особого стеснения. Это банальный вопрос размера
аксиоматической базы. - =AlexD=(Сегодня, 11:22)
- Невыводимость в теореме не зависит от аксиоматической базы. _volkanaft_(696 знак., Сегодня, 14:15)
- Теория о неполноте всего лишь утверждает, что не все логические
конструкции можно проверить через общепринятые аксиомы. Это не
мешает в, например, квантовой механике принимать постулаты как
новые аксиомы без особого стеснения. Это банальный вопрос размера
аксиоматической базы. - =AlexD=(Сегодня, 11:22)