Математика: различия между версиями

Нет описания правки
мНет описания правки
Строка 11: Строка 11:
Большинство аксиом — произвольны, в силу чего различных математик бесконечно много. Непротиворечивость математики недоказуема. Сколько ни добавляй новых аксиом, в математике найдутся неразрешимые утверждения (Гёдель).  
Большинство аксиом — произвольны, в силу чего различных математик бесконечно много. Непротиворечивость математики недоказуема. Сколько ни добавляй новых аксиом, в математике найдутся неразрешимые утверждения (Гёдель).  


Благодаря вышесказанному занятия математикой у многих ассоциируются с разновидностью умопомешательства. Достаточно ярко это подчёркнул Льюис Кэрролл, создавший бессмертный образ Безумной Математильды.  
Благодаря вышесказанному занятия математикой у многих ассоциируются с разновидностью умопомешательства. Достаточно ярко это подчеркнул Льюис Кэрролл, создавший бессмертный образ Безумной Математильды.  


Тщетность своих занятий часто понимают и сами математики. Чтобы как-то приблизить свои занятия к реальности, сторонники ''конструктивизма'' признают только математические объекты, которые можно создать из подручных средств, а ''интуиционисты'' - только интуитивно понятную математику. ''Формалисты'' требуют полной формализации, а ''логицисты'' признают только логичные результаты.  
Тщетность своих занятий часто понимают и сами математики. Чтобы как-то приблизить свои занятия к реальности, сторонники ''конструктивизма'' признают только математические объекты, которые можно создать из подручных средств, а ''интуиционисты'' - только интуитивно понятную математику. ''Формалисты'' требуют полной формализации, а ''логицисты'' признают только логичные результаты.  


Перечислим горячую пятёрку математических проблем, обеспечившие наибольшее человеко-часов работы врачам-психиатрам:
Перечислим горячую пятёрку математических проблем, обеспечившие наибольшее число человеко-часов работы врачам-психиатрам:


* теорема Ферма
* теорема Ферма