Luitzen Egbertus Jan Brouwer
Luitzen Egbertus Jan Brouwer (n. , Overschie(d), Olanda de Sud, Țările de Jos – d. , Blaricum, Olanda de Nord, Țările de Jos) a fost un matematician neerlandez, cunoscut mai ales pentru contribuțiile sale în domeniile: topologie, teoria mulțimilor, teoria măsurii, analiză complexă, dar și pentru preocupările sale privind legătura dintre matematică și logică și contribuții aduse în cadrul filozofiei matematicii.
În opoziție cu formalismul lui David Hilbert, în cadrul filozofiei matematicii, Brouwer cultivă intuiționismul.
Biografie modificare
S-a născut în localitatea Overschie (lângă Rotterdam).
Intră la Universitatea din Amsterdam, unde, la Facultatea de Matematică și Științe naturale, are ca profesori pe fizicianul Johannes Diderik van der Waals, biologul Hugo de Vries și matematicianul Diederik Johannes Korteweg.
Opera modificare
Filozofia matematicii modificare
În filozofia matematicii, a introdus conceptele numite astăzi intuiționism și neointuiționism într-un sistem de principii cu scopul de a reconsidera în mod critic întreaga matematică clasică, opunându-i acesteia așa-numita matematică intuiționistă. În cadrul acestei doctrine, a atacat teoria numerelor transfinite a lui Georg Cantor, logistica lui Giuseppe Peano și Bertrand Russel, precum și ideile lui David Hilbert relativ la fundamentele matematicii.
Încercând să definească ideea de număr, Brouwer susține că "matematica este mai mult acțiune decât teorie", și mai departe: "matematica este identică cu partea exactă a gândirii noastre".
În legătură cu negarea axiomei logice a terțului exclus, contestarea valabilității o face nu numai în privința propozițiilor existențiale despre șirurile de numere, dar și în privința propozițiilor existențiale despre numerele naturale.
Alte contribuții modificare
Brouwer a demonstrat o serie de teoreme care au fost deschizătoare de drumuri în topologie, domeniu ce, pe atunci, era în curs de apariție. Unul dintre cele mai celebre rezultate îl constituie demonstrarea invarianței topologice a dimensiunii.
A studiat o clasă particulară de spații metrice, așa-numitele spații compacte catalogate și a elaborat teoria intuiționistă a integralei lui Lebesgue. A definit riguros noțiunea de suprafață riemanniană.
Brouwer a studiat algebra logicii lui George Boole. A pus problema caracterizării topologice a funcțiilor analitice, cu care s-a ocupat apoi în mod special Simion Stoilow.
Brouwer a distins pentru prima dată în teoria funcțiilor elementele metrice de cele topologice. Mai mult, a pus bazele unificării topologiei asambliste cu topologia combinatorie.
Prin aceasta, Brouwer a demonstrat o serie de teoreme fundamentale, ca: teorema de invarianță a dimensiunii, teorema de invarianță a domeniului, teorema de punct fix (care îi poartă numele).
Scrieri modificare
Note modificare
- ^ a b c d Album Academicum, accesat în
- ^ a b MacTutor History of Mathematics archive
- ^ https://www.dwc.knaw.nl/biografie/pmknaw/?pagetype=authorDetail&aId=PE00004406 Lipsește sau este vid:
|title=
(ajutor) - ^ Genealogia matematicienilor, accesat în
- ^ a b c d e f g h Genealogia matematicienilor
- ^ List of Royal Society Fellows 1660-2007 (PDF), p. 50
- ^ a b c d Autoritatea BnF, accesat în
- ^ a b c d MacTutor History of Mathematics archive, accesat în
- ^ a b c d Luitzen Egbertus Jan Brouwer (în neerlandeză), Biografisch Portaal
- ^ a b Luitzen E.J. Brouwer, KNAW Past Members, accesat în
- ^ a b Брауэр Лёйтзен Эгберт Ян, Marea Enciclopedie Sovietică (1969–1978)[*]
- ^ https://beeldbankblaricum.nl/overige/item/4555-begraafplaats-woensberg Lipsește sau este vid:
|title=
(ajutor) - ^ Find a Grave
- ^ https://beeldbankblaricum.nl/overige/item/4767-l-e-j-brouwer-1908-1969 Lipsește sau este vid:
|title=
(ajutor) - ^ Autoritatea BnF, accesat în
- ^ a b CONOR[*] Verificați valoarea
|titlelink=
(ajutor)
Bibliografie modificare
- Collected Works, North-Holland, Amsterdam (editori: Arend Heyting și Hans Freudenthal)
- 1. Philosophy and Foundations of Mathematics, 1975, ISBN 0-7204-2805-X
- 2. Geometry, Analysis, Topology and mechanics, 1976, ISBN 0-7204-2076-8
- "Life, Art and Mysticism", în Notre Dame Journal of Formal Logic 37 (3) 1996.