Luitzen Egbertus Jan Brouwer, född 27 februari 1881 i Overschie, Nederländerna, död 2 december 1966 Blaricum, Nederländerna, ofta citerad som L.E.J. Brouwer, men av vänner kallad Bertus, var en nederländsk matematiker och filosof. Inom matematiken grundlade han den moderna topologinn[15][16][17] och betraktades som en av de stora matematikerna under 1900-talet.[18] Inom filosofin skapade han intuitionismen. Denna filosofi leder till en matematik som skiljer sig dramatiskt från den klassiska matematiken och räknas följaktligen inte dit. Brouwers fixpunktssats är namngiven efter honom.

Luitzen Egbertus Jan Brouwer
Harald Bohr och L. E. J. Brouwer (till höger) på konferens i Zürich 1932
Född27 februari 1881[1][2][3]
Overschie[4][5], Nederländerna
Död2 december 1966[6][1][2] (85 år)
Blaricum[7] ​eller ​Laren[8]
BegravdWoensbergs begravningsplats[9][10][11]
kartor
Medborgare iKonungariket Nederländerna
Utbildad vidAmsterdams universitet
SysselsättningMatematiker, universitetslärare, topolog, filosof, författare
ArbetsgivareAmsterdams universitet (1909–1912)[12]
Amsterdams universitet (1912–1913)[12]
Amsterdams universitet (1913–1919)[12]
Amsterdams universitet (1919–1951)[13]
Noterbara verkBrouwers fixpunktssats och igelkottsteoremet
Utmärkelser
Utländsk ledamot av Royal Society (1948)[14]
Hedersdoktor vid Universitetet i Cambridge
Hedersdoktor vid universitetet i Oslo
Riddare i Nederländska Lejonorden
Redigera Wikidata

Biografi redigera

Tidigt i sin karriär bevisade Brouwer ett antal satser inom det framväxande området topologi. Den viktigaste var hans fiixpunktsats, den topologiska invariansen av grad och den topologiska invariansen av dimension. Bland matematiker i allmänhet är den första den mest kända, vanligtvis kallad Brouwer Fixed Point Theorem. Den är en följd av den andra, om den topologiska invariansen av grad, som är den mest kända bland algebraiska topologer. Den tredje satsen är kanske den svåraste.

Brouwer bevisade också den förenklade approximationssatsen i grunderna för algebraisk topologi, vilket motiverar minskningen till kombinatoriska termer, efter tillräcklig underindelning av simpliciala komplex, av behandlingen av allmänna kontinuerliga kartläggningar. År 1912, vid 31 års ålder, valdes han till ledamot av Royal Netherlands Academy of Arts and Sciences.[19] Han var inbjuden talare vid ICM 1908 i Rom[20] och 1912 i Cambridge, Storbritannien.[21]

Brouwer grundade intuitionism, en matematikfilosofi som utmanade den då rådande formalismen hos David Hilbert och hans medarbetare, såsom Paul Bernays, Wilhelm Ackermann och John von Neumann. En version av konstruktiv matematik, intuitionismen, är en filosofi om matematikens grunder.[22] Den karakteriseras ibland och ganska förenklat av tal om att dess anhängare vägrar att använda lagen om det uteslutna tredje i matematiskt resonemang.

Brouwer var medlem i Significs Group, som utgjorde en del av semiotikens tidiga historia - studien av symboler - i synnerhet kring Victoria, Lady Welby. Den ursprungliga betydelsen av hans intuitionism kan förmodligen inte helt frigöras från den intellektuella miljön i den gruppen.

År 1905, vid 24 års ålder, uttryckte Brouwer sin livsfilosofi i en kort traktat, Life, Art and Mysticism, som har beskrivits av matematikern Martin Davis som "dränkt i romantisk pessimism". Arthur Schopenhauer hade ett formativt inflytande på Brouwer, inte minst för att han insisterade på att alla begrepp i grunden skulle baseras på sinnes intuitioner.[23][24][25] Brouwer började därefter på en självrättfärdigande aktion för att rekonstruera matematisk tillämpning från grunden för att tillfredsställa sin filosofiska övertygelser. Hans avhandlingsrådgivare vägrade att acceptera hans kapitel II: "som det ser ut nu... alla sammanvävda med någon form av pessimism och mystisk inställning till livet som inte är matematik, och har inte heller något att göra med matematikens grundvalar".

Efter att ha avslutat sin doktorsavhandling fattade Brouwer ett medvetet beslut att tillfälligt hålla sina omtvistade idéer för sig själv och att koncentrera sig på att visa sin matematiska skicklighet. År 1910 hade han publicerat ett antal viktiga uppsatser, i synnerhet om fixpunktssatsen. Hilbert - formalisten med vilken intuitionisten Brouwer slutligen skulle tillbringa år i konflikt - beundrade den unge mannen och hjälpte honom att få en ordinarie akademisk utnämning (1912) vid Amsterdams universitet. Det var då som han kände sig fri att återvända till sitt revolutionära projekt som han nu kallade intuitionism.

Under senare delen av livet kände sig Brouwer mer och mer isolerad och tillbringade sina sista år under trycket av helt ogrundade ekonomiska bekymmer och en paranoid rädsla för konkurs, förföljelse och sjukdom. Han omkom 1966 vid 85 års ålder, påkörd av ett fordon när han korsade gatan framför sitt eget hem.

Bibliografi (urval) redigera

  • Jean van Heijenoort, 1967 3rd printing 1976 with corrections, A Source Book in Mathematical Logic, 1879-1931. Harvard University Press, Cambridge MA, ISBN 0-674-32449-8 pbk. Originaldokumenten är förinfattade med värdefulla kommentarer.
    • 1923. L. E. J. Brouwer: "On the significance of the principle of excluded middle in mathematics, especially in function theory." With two Addenda and corrigenda, 334-45. Brouwer ger kort synopsis av sin tro att lagen av utesluten tredje inte kan "appliceras utan reservation även i matematiken av oändliga system" och ger två exempel av fel för att illustrera sitt påstående.
    • 1925. A. N. Kolmogorov: "On the principle of excluded middle", pp. 414–437. Kolmogorov stöder de flesta av Brouwers resultat men bestrider några; han diskuterar förgreningarna av intuitionism med avseende på "transfinitiska bedömningar", t.ex. transfinitinduktion.
    • 1927. L. E. J. Brouwer: "On the domains of definition of functions". Brouwers intuitionistiska behandling av kontinuum, med en utökad kommentar.
    • 1927. David Hilbert: "The foundations of mathematics," 464-80
    • 1927. L. E. J. Brouwer: "Intuitionistic reflections on formalism," 490-92. Brouwer listar fyra ämnen där intuitionism och formalism kan "inleda en dialog". Tre av ämnena handlar om lagen om utesluten tredje.
    • 1927. Hermann Weyl: "Comments on Hilbert's second lecture on the foundations of mathematics," 480-484. År 1920 ställde sig Weyl, Hilberts priselev, på Brouwers sida mot Hilbert. Men i detta tal försöker Weyl "medan han försvarade Brouwer mot en del av Hilberts kritik ... ta fram betydelsen av Hilberts förhållningssätt till problemen i matematikens grundvalar."
  • Ewald, William B., ed., 1996. From Kant to Hilbert: A Source Book in the Foundations of Mathematics, 2 vols. Oxford Univ. Press.
    • 1928. "Mathematics, science, and language," 1170-85.
    • 1928. "The structure of the continuum," 1186-96.
    • 1952. "Historical background, principles, and methods of intuitionism," 1197-1207.
  • Brouwer, L. E. J., Collected Works, Vol. I, Amsterdam: North-Holland, 1975.[26]
  • Brouwer, L. E. J., Collected Works, Vol. II, Amsterdam: North-Holland, 1976.
  • Brouwer, L. E. J., "Life, Art, and Mysticism," Notre Dame Journal of Formal Logic, vol. 37 (1996), pp. 389–429. Översatt av W. P. van Stigt med en introduktion av översättaren, pp. 381–87. Davis citerar från detta arbete, "en kort bok... dränkt i romantisk pessimism" (s. 94).
    • W. P. van Stigt, 1990, Brouwer's Intuitionism, Amsterdam: North-Holland, 1990

Utmärkelser och hedersbetygelser redigera

[Redigera Wikidata]

Referenser redigera

Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, Tsutomu Shimomura, 29 december 2021.

Noter redigera

  1. ^ [a b] Bibliothèque nationale de France, BnF Catalogue général : öppen dataplattform, läs online, läst: 10 oktober 2015, licens: öppen licens.[källa från Wikidata]
  2. ^ [a b] MacTutor History of Mathematics archive, läst: 22 augusti 2017.[källa från Wikidata]
  3. ^ Luitzen Egbertus Jan Brouwer, Biografisch Portaal (på nederländska), läs online.[källa från Wikidata]
  4. ^ MacTutor History of Mathematics archive.[källa från Wikidata]
  5. ^ läst: 9 september 2019.[källa från Wikidata]
  6. ^ Aleksandr M. Prochorov (red.), ”Брауэр Лёйтзен Эгберт Ян”, Большая советская энциклопедия : [в 30 т.], tredje utgåvan, Stora ryska encyklopedin, 1969, läst: 27 september 2015.[källa från Wikidata]
  7. ^ Källangivelsen på Wikidata använder egenskaper (properties) som inte känns igen av Modul:Cite
  8. ^ Album Academicum, läst: 9 september 2019.[källa från Wikidata]
  9. ^ läs online, beeldbankblaricum.nl.[källa från Wikidata]
  10. ^ Find a Grave, läs online.[källa från Wikidata]
  11. ^ läs online, beeldbankblaricum.nl.[källa från Wikidata]
  12. ^ [a b c] Album Academicum, läst: 15 september 2019.[källa från Wikidata]
  13. ^ Album Academicum, läst: 15 september 2019.[källa från Wikidata]
  14. ^ [a b] List of Royal Society Fellows 1660-2007, Royal Society, s. 50, läs online.[källa från Wikidata]
  15. ^ Luitzen Egbertus Jan BrouwerMathematics Genealogy Project
  16. ^ O'Connor, John J.; Robertson, Edmund F., ”Luitzen Egbertus Jan Brouwer”, MacTutor History of Mathematics archive, University of St Andrews .
  17. ^ Larios, Pablo. ”The Room is Sound, The Objects Abstractions: The Art of Catherine Christer Hennix”. frieze. https://www.frieze.com/article/room-sound-objects-abstractions-art-catherine-christer-hennix. Läst 26 oktober 2020. 
  18. ^ Gillies, D. A. “Brouwer’s Philosophy of Mathematics.” Erkenntnis (1975-), vol. 15, no. 1, Springer, 1980, pp. 105–26, http://www.jstor.org/stable/20010688.
  19. ^ ”Luitzen E.J. Brouwer (1881 - 1966)”. Royal Netherlands Academy of Arts and Sciences. http://www.dwc.knaw.nl/biografie/pmknaw/?pagetype=authorDetail&aId=PE00004406. Läst 21 juli 2015. 
  20. ^ Brouwer, L. E. J. "Die mögliche Mächtigkeiten." Atti IV Congr. Intern. Mat. Roma 3 (1908): 569–571.
  21. ^ Brouwer, L. E. J. (1912). Sur la notion de «Classe» de transformations d'une multiplicité. Proc. 5th Intern. Math. Congr. Cambridge, 2, 9–10.
  22. ^ L. E. J. Brouwer (trans. by Arnold Dresden) (1913). ”Intuitionism and Formalism”. Bull. Amer. Math. Soc. 20 (2): sid. 81–96. doi:10.1090/s0002-9904-1913-02440-6. 
  23. ^ "...Brouwer and Schopenhauer are in many respects two of a kind." Teun Koetsier, Mathematics and the Divine, Chapter 30, "Arthur Schopenhauer and L.E.J. Brouwer: A Comparison," p. 584.
  24. ^ Brouwer wrote that "the original interpretation of the continuum of Kant and Schopenhauer as pure a priori intuition can in essence be upheld." (Quoted in Vladimir Tasić's Mathematics and the roots of postmodernist thought, § 4.1, p. 36)
  25. ^ “Brouwer's debt to Schopenhauer is fully manifest. For both, Will is prior to Intellect." [see T. Koetsier. “Arthur Schopenhauer and L.E.J. Brouwer, a comparison,” Combined Proceedings for the Sixth and Seventh Midwest History of Mathematics Conferences, pages 272–290. Department of Mathematics, University of Wisconsin-La Crosse, La Crosse, 1998.]. (Mark van Atten and Robert Tragesser, “Mysticism and mathematics: Brouwer, Gödel, and the common core thesis,” Published in W. Deppert and M. Rahnfeld (eds.), Klarheit in Religionsdingen, Leipzig: Leipziger Universitätsverlag 2003, pp.145–160)
  26. ^ Kreisel, G. (1977). ”Review: L. E. J. Brouwer collected works, Volume I, Philosophy and foundations of mathematics ed. by A. Heyting”. Bull. Amer. Math. Soc. 83: sid. 86–93. doi:10.1090/S0002-9904-1977-14185-2. https://www.ams.org/journals/bull/1977-83-01/S0002-9904-1977-14185-2/S0002-9904-1977-14185-2.pdf. 

Vidare läsning redigera

  • Dirk van Dalen, Mystic, Geometer, and Intuitionist: The Life of L. E. J. Brouwer. Oxford Univ. Press.
    • 1999. Volume 1: The Dawning Revolution.
    • 2005. Volume 2: Hope and Disillusion.
    • 2013. L. E. J. Brouwer: Topologist, Intuitionist, Philosopher. How Mathematics is Rooted in Life. London: Springer (based on previous work).
  • Martin Davis, 2000. The Engines of Logic, W. W. Norton, London, ISBN 0-393-32229-7 pbk. Cf. Chapter Five: "Hilbert to the Rescue" wherein Davis discusses Brouwer and his relationship with Hilbert and Weyl with brief biographical information of Brouwer. Davis's references include:
  • Stephen Kleene, 1952 with corrections 1971, 10th reprint 1991, Introduction to Metamathematics, North-Holland Publishing Company, Amsterdam Netherlands, ISBN 0-7204-2103-9. Cf. in particular Chapter III: A Critique of Mathematical Reasoning, §13 "Intuitionism" and §14 "Formalism".
  • Koetsier, Teun, Editor, Mathematics and the Divine: A Historical Study, Amsterdam: Elsevier Science and Technology, 2004, ISBN 0-444-50328-5.

Se även redigera

Externa länkar redigera