Квадратура круга

[alexander_vasil]

Нахождение квадратуры круга - классический пример неразрешимой математической задачи, над которой люди бились столетиями. Но это была не бесполезная трата времени, во время этой «битвы» были открыты многие интересные и практически полезные факты, сыгравшие большую роль в других разделах математики. Также многие математики использовали эту задачу

Comments

[elisaveta_neru]

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

[alexander_vasil]

Конечно! Исторически это ее раздел, как и логика например. В математике очень много философских концепций - начиная от понятия аксиом, оснований математики, теории и полноты формальных систем. Например есть такая теорема Гёделя грубо говоря о том, что в рамках формального языка математики можно выразить концепции, которые нельзя ни доказать ни опровергнуть. Вот пример (относится к математической логике, перефразировано из языка теории множеств): В некоем городе есть парикмахер, который стрижет всех тех, кто не стрижет себя сам. Вопрос - стрижет ли он себя сам?
Ну а теория систем, теория управления, теория хаоса, катастроф... - порой мне кажется, что философии там больше, чем в самой философии)) В школе даются просто азы в виде механического заучивания неких алгоритмов решения задач, что и вызывает отторжение у учеников. На самом деле математика очень красивая, интересная и глубокая наука

[elisaveta_neru]

Да, философия прародительница всех наук. Аристотель, в пределах своей философской системы, различал науки трех видов:
1. Теоретические - физика, математика и метафизика (теология);
2. Практические - этика и политика;
3. Поэтические - науки о творчестве.
В вопросе о парикмахере: наверное, его стрижет кто-то другой :)

[alexander_vasil]

В исходной посылке говорится что он стрижёт ВСЕХ, кто не стрижёт себя сам)) В этом то и прикол - языком математики и логики можно создать такие конструкции, которые не доказуемы и не опровергаемы в рамках того инструментария, который был использован для их создания. Это можно сделать только средствами формальной системы уровня выше (метасистемы