Brouwer, Leutzen Egbert Jahn

Leutzen Egbert Jan Brouwer
Luitzen Egbertus Jan Brouwer
Syntymäaika 27. helmikuuta 1881( 1881-02-27 ) [1] [2] [3] […]
Syntymäpaikka Overshi
Kuolinpäivämäärä 2. joulukuuta 1966( 1966-12-02 ) [4] [1] [2] […] (85-vuotias)
Kuoleman paikka Blaricum , Alankomaiden kuningaskunta
Maa
Tieteellinen ala topologia , joukkoteoria , matemaattinen logiikka , mittateoria , monimutkainen analyysi
Työpaikka Amsterdamin yliopisto
Alma mater
tieteellinen neuvonantaja Diederik Korteweg
Opiskelijat Vuokraa portti
Tunnetaan intuitionismi
Brouwerin lause
Palkinnot ja palkinnot kunniatohtori Oslon yliopistosta [d] kunniatohtori Cambridgen yliopistosta [d] Lontoon kuninkaallisen seuran ulkomainen jäsen ( 27. toukokuuta 1948 )
 Mediatiedostot Wikimedia Commonsissa

Luitzen Egbert Jan Brouwer ( hollanniksi  Luitzen Egbertus Jan Brouwer ; 27. helmikuuta 1881  - 2. joulukuuta 1966 ) oli hollantilainen filosofi ja matemaatikko, valmistunut Amsterdamin yliopistosta ja työskenteli sellaisilla matematiikan aloilla kuin topologia , joukkoteoria , matemaattinen logiikka , mittateoria ja monimutkainen analyysi .

Alankomaiden tiedeakatemian jäsen Amsterdamissa ( 1912 ) , Lontoon , Pariisin ja Göttingenin tiedeakatemian Royal Societyn vastaava jäsen , Amsterdamin yliopiston professori ( 1912-1951 ) . Vuonna 1932 hän sai Alankomaiden leijonan ritarikunnan arvonimen [5] .

Hän loi pohjan uudelle suunnalle matematiikassa - intuitionismille . Hän kyseenalaisti poissuljetun keskikohdan klassisten lakien rajattoman sovellettavuuden , kaksoisnegaation (poisto) , epäsuoran todisteen (ristiriidan todistaminen) . Yksi tällaisen päättelyn analyysin tuloksista oli intuitionistisen logiikan synty, jonka Brouwerin opiskelija A. Heyting muotoili vuonna 1930 ja joka ei sisältänyt mainittuja lakeja.

Elämäkerta

Syntynyt 27. helmikuuta 1881 Overshissa , nykyään se on Rotterdamin esikaupunki Hollannissa. Ystävät kutsuivat häntä toisella nimellä Bertus. Erittäin valoisa Brouwer suoritti täyden koulunsa 14-vuotiaana Hoornissa , kaupungissa Zuiderzeen varrella Amsterdamin pohjoispuolella.

Hän ei opiskellut kreikkaa ja latinaa koulussa, mutta molemmat kielet vaadittiin pääsyyn yliopistoon, joten Brower omisti seuraavat kaksi vuotta niiden opiskeluun. Tänä aikana hänen perheensä muuttaa Haarlemiin Amsterdamin länsipuolelle. Täällä, vuonna 1897, kuntosalilla hän läpäisi pääsykokeet Amsterdamin yliopistoon.

Brouwerin matematiikan professori Amsterdamin yliopistossa oli Kortweg, joka huomasi nopeasti, että hänellä oli erinomainen opiskelija Brouwerissa. Jo opintojensa alussa Brouwer sai alkuperäisiä tuloksia jatkuvista liikkeistä 4-ulotteisessa avaruudessa, ja Kortweg lannistai hänet julkaisutarjouksella. Paperi ilmestyi ja Brouwer sai ensimmäisen julkaisunsa Amsterdamin kuninkaallisessa tiedeakatemiassa vuonna 1904. Lisäksi Brouwer oli kiinnostunut topologiasta ja matematiikan perusteista. Hän ei vain opiskellut näitä osioita yliopistossa, vaan hän itse luki paljon kirjallisuutta näistä asioista.

Brower valmistui yliopistosta vuonna 1904 ja meni samana vuonna naimisiin Lisa de Hallin kanssa, joka oli häntä 11 vuotta vanhempi ja jolla oli tytär ensimmäisestä avioliitostaan. Avioliiton jälkeen, joka ei tuottanut lapsia, Brouwer muutti vaimonsa ja adoptoidun tyttärensä kanssa Blaricumiin, lähellä Amsterdamia. Kolme vuotta myöhemmin Lisa valmistui proviisoriksi, ja Brower auttoi häntä perustamaan kirjakauppayrityksen varastoimaan kemikaalikauppoja kirjoilla. Sillä välin Brower ei ollut innoissaan adoptoidusta tyttärestään, ja heidän väliset suhteet olivat kireät.

Brouwer oli alusta asti kiinnostunut matematiikan filosofiasta, ja häntä kiehtoivat myös mystiikka ja muut ihmisyhteiskuntaan liittyvät filosofiset kysymykset. Vuonna 1905 hän julkaisi ideansa kirjassa Life, Art and Mysticism (Leven, Kunst, en Mystiek).

Vuonna 1909 hänestä tuli Privatdozent Amsterdamin yliopistossa. Avajaispuheessaan 12. lokakuuta 1909 "Geometrian luonteesta" hän käynnisti tutkimusohjelmansa. Muutamaa kuukautta myöhemmin hän teki tärkeän matkan Pariisiin jouluaattona 1909, jossa hän tapasi Poincarén , Hadamardin ja Borelin . Pariisissa käytyjen keskustelujen perusteella hän aloitti työskentelyn tilaulottuvuuksien muuttumattomuuden ongelman parissa.

Vuodesta 1904 lähtien Brouwer on jatkuvasti kritisoinut niin kutsuttuja puhtaita matemaattisia olemassaolontodistuksia , jotka perustuvat poissuljetun keskikohdan loogiseen periaatteeseen, mikä lopulta loi pohjan koko matematiikan oikeutuksen suuntaukselle, matemaattiselle intuitionismille.

Intuitionismin filosofiasta riippumatta Brauerin analyysi matemaattisista olemassaolon todisteista on kuitenkin arvokasta niiden esineiden rakentavan rakentamisen näkökulmasta, joiden olemassaoloa todistetaan. Erityisesti A. N. Kolmogorov osoitti, että niin kutsutun intuitionistisen logiikan säännöt löytävät todellisen toteutumisensa matemaattisten ongelmien rakentavan ratkaisun logiikassa.

Vuonna 1912 Brouwer valittiin Amsterdamin kuninkaallisen tiedeakatemian täysjäseneksi. Samana vuonna hän sai joukkoteorian, funktioteorian ja aksiomaatiikan ylimääräisen professorin viran Amsterdamin yliopistossa. Hän toimi tässä tehtävässä eläkkeelle jäämiseensä vuonna 1951.

Vuonna 1919 Hilbert yritti houkutella häntä asemalla Göttingenissä, ja samana vuonna hänelle tarjottiin paikkaa Berliinissä. Näiden tarjousten houkutuksesta huolimatta Brower kieltäytyi. (Ehkä tämä valinta Amsterdamin hyväksi johtui jossain määrin Van der Waerdenin vaikutuksesta , joka opiskeli Amsterdamin yliopistossa vuosina 1919-1923 ja oli Brouwerin opiskelija.)

Vaikka hän ei onnistunut kääntämään matemaatikoita omaksi ajattelutavaksi, Brouwer tunnettiin laajalti ympäri maailmaa hänen erinomaisesta panoksestaan. Hän oli Amsterdamin kuninkaallisen tiedeakatemian, Lontoon kuninkaallisen seuran , Göttingenin tiedeakatemian täysjäsen , sai kunniatohtorin arvon Oslon yliopistosta vuonna 1929 ja Cambridgen yliopistosta vuonna 1954. Vuonna 1932 hän sai Alankomaiden leijonan ritarikunnan arvonimi .

Vuonna 1935 Brouwer perusti Compositio Mathematica -lehden .

Hän kuoli vuonna 1966 Blaricumissa auto-onnettomuuden seurauksena.

Tieteelliset julkaisut

Vuosina 1911-1913. Brouwer loi useita tärkeitä käsitteitä ja tuloksia topologian alalla. Heidän keskuudessaan:

Nämä tulokset ja niiden todistamiseksi löydetyt menetelmät määrittelivät Brouwerin merkittävän vaikutuksen topologian kehitykseen ensimmäisen ja toisen maailmansodan välillä.

Tunnustus

Katso myös

Muistiinpanot

  1. ↑ 1 2 MacTutor History of Mathematics -arkisto
  2. ↑ 1 2 Luitzen Egbertus Jan Brouwer - 2009.
  3. ↑ Luitzen EJ Brouwer // KNAW:n entiset jäsenet 
  4. ↑ Brouwer Leitzen Egbert Jan // Great Soviet Encyclopedia : [30 osassa] / toim. A. M. Prokhorov - 3. painos. - M .: Neuvostoliiton tietosanakirja , 1969.
  5. ↑ John J. O'Connor ja Edmund F. Robertson . Brouwer, Leutzen Egbert Jahn  -  elämäkerta MacTutorissa .

Linkit

  Siirry Wikidata-kohteeseen  Temaattiset sivustot
Sanakirjat ja tietosanakirjat
Sukututkimus ja nekropolis