Лојцен Браувер
Овај чланак садржи списак литературе (штампане изворе и/или веб-сајтове) коришћене за његову израду, али његови извори нису најјаснији зато што има премало извора који су унети у сам текст. |
Лојцен Браувер | |
---|---|
Датум рођења | 27. фебруар 1881. |
Место рођења | Overschie |
Датум смрти | 2. децембар 1966.85 год.) ( |
Место смрти | Blaricum, Laren |
Лојцен Егбертус Јан Браувeр (хол. Luitzen Egbertus Jan Brouwer, IPA: /ˈlœy̯tsə(n) ɛɣˈbɛrtəs jɑn ˈbrʌu̯ər/;[тражи се извор] Оверши, 27. фебруар 1881 — Бларикум, 2. децембар 1966), у литератури — углавном енглеској — навођен као L. E. J. Brouwer,[1][2][3][4] међу пријатељима познат и као Бертус (хол. Bertus), био је холандски математичар и филозоф, који се бавио топологијом, теоријом скупова, теоријом мера и комплексном анализом.[5][6][7] Био је оснивач математичке филозофије познате као интуиционизам.
Биографија
[уреди | уреди извор]У току своје каријере доказао је неколико теорема у топологији. Главни резултати студије били су следећи: теорија непокретне тачке, тополошка инваријантност степена и тополошка инваријантност димензије. Најпопуларнија од њих је прва која се још зове и Брауерова теорема непокретне тачке. Она је једноставна последица друге студије, о тополошкој инваријантности степена, и најпопуларнија је међу алгебарским тополозима. Трећа студија је вероватно и најтежа. Браувер је доказао једноставну теорему апроксимације на темељима алгебарске топологије. Године 1912, у 31. години, изабран је за члана Академије наука и уметности Краљевине Холандије. Оно по чему је Браувер сигурно познат је оснивање правца у математици познатог под називом интуиционизам. Браувер је, још у свом докторату 1907. године довео у питање читав систем класичних математичких сазања које поседујемо. Пре свега, Браувер је љути противник формализације. Он напросто сматра да је формализација могућа када се математички резултати формулишу, саопштавају. Стварање, пак, математике је, по њему и следбеницима, прелингвистичко стање ума. То стање је много флексибилније од бављења математиком кроз формализоване структуре. Основно Брауверово убеђење је да људски ум поседује интуицију природног броја и да на њој гради све даље математичке конструкције, из тог разлога је Брауверов концепт конструисања у основном Брауеровом филозофирању навео друге математичаре да интуиционизму дају и друго име — конструктивизам. Браувер признаје за математичке објекте само оне који су конструисани од природних бројева ефективним, алгоритамским поступком. Брзо се испоставља да то значи елиминисање свих неконструктивних поступака од којих врви стандардна математика. Тако је, на пример, за Браувера π легитимно конструисан број јер постоји поступак којим се генеришу његове цифре. То практично значи да су бројеви само они за које постоји алгоритам конструисања цифара, те да, по интуиционистима, реалних бројева има само пребројиво много, колико и алгоритама. Тиме је, управо због конструктивности бројева на којој се инсистира из интуициноистичке математике протеран концепт непрекидности и континуума. Идеју о конструисању Браувер шири и на логичке појмове. Тако је, по њему исказ А истинит само ако је конструисан ефективан доказ за њега. То одмах повлачи и реконструкцију логике. Штавише, Браувер сматра да се логика развија после математике.[8]
О његовим последњим годинама Дејвис (2002) примећује:
Осећао се све више и више изолован и провео је своје последње године под параноичим страхом од банкрота, прогона и болести.
Умро је 1966. године у 85. години живота — ударило га је возило док је прелазио улицу испред своје куће.
Референце
[уреди | уреди извор]- ^ L. E. J. Brouwer (1913). Превод: Arnold Dresden. „Intuitionism and Formalism”. Bull. Amer. Math. Soc. 20 (2): 81—96. MR 1559427. doi:10.1090/s0002-9904-1913-02440-6.
- ^ Van Dalen, Dirk. Mystic, Geometer, and Intuitionist: The Life of L. E. J. Brouwer. Oxford Univ. Press.
- ^ L. E. J. Brouwer: Topologist, Intuitionist, Philosopher. How Mathematics is Rooted in Life. London: Springer. 2013.
- ^ „Works by or about L. E. J. Brouwer”. Internet Archive.
- ^ Лојцен Браувер на сајту MGP (језик: енглески)
- ^ O'Connor, John J.; Robertson, Edmund F. „Лојцен Браувер”. MacTutor History of Mathematics archive. University of St Andrews.
- ^ Atten, Mark van. „Luitzen Egbertus Jan Brouwer”. Ур.: Zalta, Edward N. Stanford Encyclopedia of Philosophy.
- ^ Божић, Милан (2002). Преглед историје и филозофије математике. Београд: Завод за уџбенике и наставна средства Београд.