Аксиома выбора в физике

[g______d]

Может быть, кому интересно (хотя всё и без меня гуглится). Подробная книжка про то, как жить без аксиомы выбора

http://publish.uwo.ca/~jbell/Axiom%20of ... 0book3.pdf

Еще короткий текст о том, что некоторым и без счетного выбора хорошо :)

http://math.fau.edu/richman/Docs/nsf.pdf

[epros]

apriv в сообщении #724804 писал(а):

Не очень понятно, что же Вы подразумеваете под «конструктивной математикой»: отсутствие закона исключенного третьего или только аксиомы выбора?

На уровне логики - да, отсутствие закона исключённого третьего (и связанного с ним закона снятия двойного отрицания) и отсутствие одного из законов де-Моргана. Но суть не в логике. Суть, как я полагаю, в подходе к определению понятия "истинности".