Искал недавно книжки по философии математики (интересуют некоторые вопросы, но пока о них ничего не могу найти), набрёл вот на такие:
Клайн Морис. Математика. Поиск истины.Клайн Морис. Математика. Утрата определённости.Весьма познавательные книжки, рекомендую. Первая попроще и покороче и больше относится к физике, чем к собственно математике. Книжки не очень новые (1980-е годы), и о некоторых вопросах там не говорится:
- теория вычислимости, тьюринговые и сверхтьюринговые вычисления (автор о них знал, скорей всего, может, не посчитал эту тему важной. Но о тезисе Чёрча пишет).
- наличие сегодня работающих квантовых компьютеров
- сегодня любому технарю известно, что детерминированные алгоритмы могут породить случайные процессы хорошего качества, поэтому вероятностная модель квантовой механики не отменяет детерминизма. Хотя алгоритмы были известны, наверно, давно уже.
- сегодня на замену ОТО предлагается М-теория - одна из господствующих теорий. Её 11 измерений кажуются обывателю ещё большим бредом, чем ОТО, но это не отменяет того, что она успешно объединяет ОТО и квантовую механику
- теорему Ферма доказали. Ну, для философии математики это большой роли не играет, просто это одна из самых громких теорем, которая имеет простейшую формулировку, сложное доказательство, и над ней бились больше 3 веков. Однако она запечатлела такое явление как "ферматист" - в общем смысле человек, думающий, что всё в мире идеально и очень просто. Умы древности в чём-то напоминают ферматистов. Ну и сами ферматисты существуют и без теоремы Ферма, полно других теорем, просто термин удобный навязался.
- теория чисел имеет серьёзное применение в криптографии (это к слову о бесполезности "чистой математики", куда автор отнёс теорию чисел).
Ну это так, мои комментарии просто.
При чём тут эта тема? А при том, по прочтении будет понятно. В книжках говорится о развитии фундаментальных наук (математики и физики) и, как следствие, философии, о развитии представлений людей о мире (учёных, есессно), приводятся разные примеры прозрений, ошибок великих умов, кажущихся сегодня глупостью, ошибочных теорий и т.д. (Автор не отменяет пользы от них). Про эфир там тоже говорится
![Улыбка :)](//www.emu-land.net/forum/Smileys/default/smiley.gif)
Кстати, спор с устаревшими теориями (чистая ОТО, чистый дарвинизм) напоминает спор с трупом.
![Очень громкий смех :lol:](//www.emu-land.net/forum/Smileys/default/lol.gif)
Будьте современны, спорьте с М-теорией, только матан сначала изучите
![Очень громкий смех :lol:](//www.emu-land.net/forum/Smileys/default/lol.gif)