Brouwer, Leutzen Egbert Jahn
| Leutzen Egbert Jan Brouwer | |
|---|---|
| Luitzen Egbertus Jan Brouwer | |
| Födelsedatum | 27 februari 1881 [1] [2] [3] […] |
| Födelseort | Overshi |
| Dödsdatum | 2 december 1966 [4] [1] [2] […] (85 år) |
| En plats för döden | Blaricum , Nederländerna |
| Land | |
| Vetenskaplig sfär | topologi , mängdlära , matematisk logik , måttlära , komplex analys |
| Arbetsplats | Amsterdams universitet |
| Alma mater | |
| vetenskaplig rådgivare | Diederik Korteweg |
| Studenter | Hyr Gating |
| Känd som |
intuitionism Brouwers teorem |
| Utmärkelser och priser | hedersdoktor vid universitetet i Oslo [d] hedersdoktor vid University of Cambridge [d] utländsk medlem av Royal Society of London ( 27 maj 1948 ) |
| Mediafiler på Wikimedia Commons | |
Luitzen Egbert Jan Brouwer ( nederländsk. Luitzen Egbertus Jan Brouwer ; 27 februari 1881 - 2 december 1966 ) var en nederländsk filosof och matematiker, utexaminerad från universitetet i Amsterdam , som arbetade inom områden av matematik som topologi , mängdlära , matematisk logik , mätteori och komplex analys .
Medlem av Nederländska vetenskapsakademin i Amsterdam ( 1912 ), motsvarande medlem av Royal Society of London , Paris och Göttingen Academy of Sciences , professor vid universitetet i Amsterdam ( 1912-1951 ) . År 1932 fick han titeln riddare av Order of the Netherlands Lion [5] .
Han lade grunden för en ny riktning inom matematik - intuitionism . Han ifrågasatte den obegränsade tillämpligheten i matematiskt resonemang av de klassiska lagarna för den uteslutna mitten , (borttagning av) dubbel negation , indirekt bevis (bevis genom motsägelse) . Ett av resultaten av analysen av sådana resonemang var framväxten av intuitionistisk logik, formulerad 1930 av Brouwers elev A. Heyting och som inte innehöll de angivna lagarna.
Biografi
Född 27 februari 1881 i Overshi , idag är det en förort till Rotterdam i Holland. Vänner kallade honom vid hans andra namn Bertus. Mycket ljus, avslutade Brouwer sin fullständiga skolgång vid 14 års ålder i Hoorn , en stad vid Zuiderzee norr om Amsterdam.
Han studerade inte grekiska och latin i skolan, men båda språken krävdes för antagning till universitetet, så Brower ägnade de följande två åren åt att studera dem. Under denna tidsperiod flyttar hans familj till Haarlem, väster om Amsterdam. Här, 1897, på gymnasiet, klarade han inträdesproven till universitetet i Amsterdam.
Brouwers professor i matematik vid universitetet i Amsterdam var Kortweg, som snabbt insåg att han hade en enastående student i Brouwer. Redan i början av sina studier fick Brouwer originalresultat om kontinuerliga rörelser i det 4-dimensionella rummet, och Kortweg avskräckte honom med ett erbjudande om att publicera. Tidningen kom ut och Brouwer fick sin första publikation vid Royal Academy of Sciences i Amsterdam 1904. Dessutom var Brouwer intresserad av topologi och matematikens grunder. Han studerade inte bara dessa avsnitt på universitetet, utan han läste själv mycket litteratur om dessa frågor.
Brower tog examen från universitetet 1904 och gifte sig samma år med Lisa de Hall, som var 11 år äldre än honom och hade en dotter från sitt första äktenskap. Efter ett äktenskap som inte gav barn, flyttade Brouwer med sin fru och adopterade dotter till Blaricum, nära Amsterdam. Tre år senare blev Lisa kvalificerad som apotekare och Brower hjälpte henne att starta ett bokhandelsföretag för att lagra böcker i kemikaliebutiker. Under tiden var Brower inte förtjust i sin adoptivdotter, och relationerna mellan dem var ansträngda.
Från början var Brouwer intresserad av matematikens filosofi, och fascinerades också av mystik och andra filosofiska frågor som rör det mänskliga samhället. 1905 publicerade han sina idéer i en bok med titeln Life, Art and Mysticism (Leven, Kunst, en Mystiek).
1909 blev han Privatdozent vid universitetet i Amsterdam. I sitt invigningstal den 12 oktober 1909, "On the Nature of Geometry", lanserade han sitt forskningsprogram. Några månader senare gjorde han en viktig resa till Paris på julafton 1909 där han träffade Poincaré , Hadamard och Borel . Baserat på diskussioner i Paris började han arbeta med problemet med invariansen av rumsliga dimensioner.
Sedan 1904 har Brouwer konsekvent kritiserat de så kallade rena matematiska bevisen på existens , baserade på den logiska principen om den uteslutna mitten, som i slutändan lade grunden för en hel trend i motiveringen av matematiken, matematisk intuitionism.
Men oberoende av intuitionismens filosofi har Brauers analys av matematiska bevis på existens ur synvinkeln av den konstruktiva konstruktionen av de objekt vars existens bevisas värde. I synnerhet visade A. N. Kolmogorov att reglerna för den så kallade intuitionistiska logiken finner sin verkliga implementering i logiken för den konstruktiva lösningen av matematiska problem.
1912 valdes Brouwer till fullvärdig medlem av Royal Academy of Sciences i Amsterdam. Samma år fick han tjänsten som extraordinär professor i mängdlära, funktionsteori och axiomatik vid universitetet i Amsterdam. Han innehade denna position fram till sin pensionering 1951.
1919 försökte Hilbert fresta honom med en tjänst i Göttingen, och samma år erbjöds han en tjänst i Berlin. Trots frestelsen av dessa erbjudanden vägrade Brower. (Kanske berodde detta val till förmån för Amsterdam till viss del på inflytandet från Van der Waerden , som studerade vid universitetet i Amsterdam 1919-1923 och var student vid Brouwer.)
Även om han misslyckades med att förvandla matematiker till sitt eget sätt att tänka, var Brouwer allmänt erkänd över hela världen för sina enastående bidrag. Han var fullvärdig medlem av Royal Academy of Sciences i Amsterdam, Royal Society of London , Göttingen Academy of Sciences , erhöll en hedersdoktor vid universitetet i Oslo 1929 och universitetet i Cambridge 1954. 1932 fick han titeln Riddare av Nederländska lejonorden .
1935 grundade Brouwer tidskriften Compositio Mathematica .
Han dog 1966 i Blaricum till följd av en bilolycka.
Vetenskapliga bidrag
Åren 1911-1913. Brouwer etablerade ett antal viktiga koncept och resultat inom topologiområdet. Bland dem:
- föreställningar om enkel approximation och graden av kontinuerlig kartläggning;
- föreställningen om en homotopiklassificering av mappningar;
- ett teorem om homotopi-ekvivalens av två avbildningar (en sfär på sig själv) med samma grad;
- satsen om invariansen av antalet dimensioner och invariansen av inre punkter (under den topologiska kartläggningen av en mängd som ligger i ett n -dimensionellt utrymme in i samma utrymme);
- fixpunktssats ;
- n - dimensionell Jordansats .
Dessa resultat och de metoder som hittades för att bevisa dem bestämde Brouwers betydande inflytande på utvecklingen av topologi mellan 1:a och 2:a världskriget.
Erkännande
- En internationell medalj från Netherlands Mathematical Society har inrättats till hans ära , som delas ut vart tredje år.
- 1970 tilldelade International Astronomical Union namnet Leutzen Egbert Jan Brouwer (med Dirk Brouwer ) till en krater på månens bortre sida .
Se även
Anteckningar
- ↑ 1 2 MacTutor History of Mathematics Archive
- ↑ 1 2 Luitzen Egbertus Jan Brouwer - 2009.
- ↑ Luitzen EJ Brouwer // KNAW Tidigare medlemmar
- ↑ Brouwer Leitzen Egbert Jan // Great Soviet Encyclopedia : [i 30 volymer] / ed. A. M. Prokhorov - 3:e uppl. — M .: Soviet Encyclopedia , 1969.
- ↑ John J. O'Connor och Edmund F. Robertson . Brouwer, Leutzen Egbert Jahn - biografi på MacTutor .
Länkar
- HH Nepeyvoda . Brouwer // New Philosophical Encyclopedia : i 4 volymer / föregående. vetenskaplig-ed. råd av V. S. Stepin . — 2:a uppl., rättad. och ytterligare - M . : Tanke , 2010. - 2816 sid.
- Brouwer, Leutzen Egbert Jahn // Stora sovjetiska uppslagsverket : [i 30 volymer] / kap. ed. A. M. Prokhorov . - 3:e uppl. - M . : Soviet Encyclopedia, 1969-1978.
- John J. O'Connor och Edmund F. Robertson . Brouwer, Leutzen Egbert Jahn - biografi på MacTutor .
- Nepeyvoda N. N. Tillämpad logik. Kapitel 16. Intuitionistisk logik.
- Diskussioner mellan Brouwer och Hilbert (Constance Reed . Gilbert.)
 Tematiska platser | ||||
|---|---|---|---|---|
| Ordböcker och uppslagsverk |
| |||
| Släktforskning och nekropol | ||||
| ||||