L. E. J. Brouwer - topologist, intuitionist, philosopher: how mathematics is rooted in life
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Elektronisch E-Book |
Sprache: | English |
Veröffentlicht: |
London [u.a.]
Springer
2013
|
Schlagworte: | |
Online-Zugang: | BTU01 TUM01 UBA01 UBM01 UBT01 UBW01 UPA01 Volltext Inhaltsverzeichnis Abstract |
Beschreibung: | 1 Online-Ressource |
ISBN: | 9781447146155 9781447146162 |
DOI: | 10.1007/978-1-4471-4616-2 |
Internformat
MARC
LEADER | 00000nmm a2200000zc 4500 | ||
---|---|---|---|
001 | BV040728103 | ||
003 | DE-604 | ||
005 | 00000000000000.0 | ||
007 | cr|uuu---uuuuu | ||
008 | 130206s2013 |||| o||u| ||||||eng d | ||
015 | |a 13,O01 |2 dnb | ||
016 | 7 | |a 1029138796 |2 DE-101 | |
020 | |a 9781447146155 |9 978-1-4471-4615-5 | ||
020 | |a 9781447146162 |c Online |9 978-1-4471-4616-2 | ||
024 | 7 | |a 10.1007/978-1-4471-4616-2 |2 doi | |
024 | 3 | |a 9781447146162 | |
035 | |a (OCoLC)827053870 | ||
035 | |a (DE-599)DNB1029138796 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
049 | |a DE-634 |a DE-20 |a DE-703 |a DE-19 |a DE-91 |a DE-739 |a DE-384 |a DE-83 | ||
082 | 0 | |a 510.9 | |
084 | |a 370 |2 sdnb | ||
084 | |a MAT 000 |2 stub | ||
100 | 1 | |a Dalen, Dirk van |d 1932- |e Verfasser |0 (DE-588)133205053 |4 aut | |
245 | 1 | 0 | |a L. E. J. Brouwer - topologist, intuitionist, philosopher |b how mathematics is rooted in life |c Dirk van Dalen |
264 | 1 | |a London [u.a.] |b Springer |c 2013 | |
300 | |a 1 Online-Ressource | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
600 | 1 | 7 | |a Brouwer, Luitzen E. J. |d 1881-1966 |0 (DE-588)118988131 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Brouwer-Fixpunktsatz |0 (DE-588)4226759-6 |2 gnd |9 rswk-swf |
655 | 7 | |8 1\p |0 (DE-588)4006804-3 |a Biografie |2 gnd-content | |
689 | 0 | 0 | |a Brouwer-Fixpunktsatz |0 (DE-588)4226759-6 |D s |
689 | 0 | |8 2\p |5 DE-604 | |
689 | 1 | 0 | |a Brouwer, Luitzen E. J. |d 1881-1966 |0 (DE-588)118988131 |D p |
689 | 1 | |8 3\p |5 DE-604 | |
856 | 4 | 0 | |u https://doi.org/10.1007/978-1-4471-4616-2 |x Verlag |3 Volltext |
856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025708207&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025708207&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
912 | |a ZDB-2-SMA | ||
999 | |a oai:aleph.bib-bvb.de:BVB01-025708207 | ||
883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
966 | e | |u https://doi.org/10.1007/978-1-4471-4616-2 |l BTU01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-1-4471-4616-2 |l TUM01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-1-4471-4616-2 |l UBA01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-1-4471-4616-2 |l UBM01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-1-4471-4616-2 |l UBT01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-1-4471-4616-2 |l UBW01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-1-4471-4616-2 |l UPA01 |p ZDB-2-SMA |x Verlag |3 Volltext |
Datensatz im Suchindex
_version_ | 1804150042258309120 |
---|---|
adam_text | L.E.J. BROUWER – TOPOLOGIST, INTUITIONIST, PHILOSOPHER
/ DALEN, DIRK VAN
: 2013
TABLE OF CONTENTS / INHALTSVERZEICHNIS
CHILD AND STUDENT
MATHEMATICS AND MYSTICISM
THE DISSERTATION.-CANTOR-SCHOENFLIES TOPOLOGY
THE NEW TOPOLOGY
MAKING A CAREER
THE WAR YEARS
MATHEMATICS AFTER THE WAR
POLITICS AND MATHEMATICS
THE BREAKTHROUGH
THE FATHERS OF DIMENSION
PROGRESS, RECOGNITION, AND FRICTIONS
FROM BERLIN TO VIENNA
THE THREE BATTLES
THE THIRTIES
WAR AND OCCUPATION
POST-WAR EVENTS
THE RESTLESS EMERITUS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
L.E.J. BROUWER – TOPOLOGIST, INTUITIONIST, PHILOSOPHER
/ DALEN, DIRK VAN
: 2013
ABSTRACT / INHALTSTEXT
DIRK VAN DALEN’S BIOGRAPHY STUDIES THE FASCINATING LIFE OF THE FAMOUS
DUTCH MATHEMATICIAN AND PHILOSOPHER LUITZEN EGBERTUS JAN BROUWER.
BROUWER BELONGED TO A SPECIAL CLASS OF GENIUS; COMPLEX AND OFTEN
CONTROVERSIAL ANDGIFTED WITH A DEEP INTUITION, HE HAD AN UNPARALLELED
ACCESS TO THE SECRETS AND INTRICACIES OF MATHEMATICS. MOST
MATHEMATICIANS REMEMBER L.E.J. BROUWER FROM HIS SCIENTIFIC BREAKTHROUGHS
IN THE YOUNG SUBJECT OF TOPOLOGY AND FOR THE FAMOUS BROUWER FIXED POINT
THEOREM. BROUWER’S MAIN INTEREST, HOWEVER, WAS IN THE FOUNDATION OF
MATHEMATICS WHICH LED HIM TO INTRODUCE, AND THEN CONSOLIDATE,
CONSTRUCTIVE METHODS UNDER THE NAME ‘INTUITIONISM’. THIS MADE HIM
ONE OF THE MAIN PROTAGONISTS IN THE ‘FOUNDATION CRISIS’ OF
MATHEMATICS. AS A CONFIRMED INTERNATIONALIST, HE ALSO GOT ENTANGLED IN
THE INTERBELLUM STRUGGLE FOR THE ENDING OF THE BOYCOTT OF GERMAN AND
AUSTRIAN SCIENTISTS. THIS TIME DURING THE TWENTIETH CENTURY WAS
TURBULENT; NATIONALIST RESENTMENT AND FRICTION BETWEEN FORMALISM AND
INTUITIONISM LED TO THE MATHEMATISCHE ANNALEN CONFLICT ( THE WAR OF THE
FROGS AND THE MICE ). IT WAS HERE THAT BROUWER PLAYED A PIVOTAL ROLE.
THE PRESENT BIOGRAPHY IS AN UPDATED REVISION OF THE EARLIER TWO VOLUME
BIOGRAPHY IN ONE SINGLE BOOK. IT APPEALS TO MATHEMATICIANS AND ANYBODY
INTERESTED IN THE HISTORY OF MATHEMATICS IN THE FIRST HALF OF THE
TWENTIETH CENTURY
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
any_adam_object | 1 |
author | Dalen, Dirk van 1932- |
author_GND | (DE-588)133205053 |
author_facet | Dalen, Dirk van 1932- |
author_role | aut |
author_sort | Dalen, Dirk van 1932- |
author_variant | d v d dv dvd |
building | Verbundindex |
bvnumber | BV040728103 |
classification_tum | MAT 000 |
collection | ZDB-2-SMA |
ctrlnum | (OCoLC)827053870 (DE-599)DNB1029138796 |
dewey-full | 510.9 |
dewey-hundreds | 500 - Natural sciences and mathematics |
dewey-ones | 510 - Mathematics |
dewey-raw | 510.9 |
dewey-search | 510.9 |
dewey-sort | 3510.9 |
dewey-tens | 510 - Mathematics |
discipline | Pädagogik Mathematik |
doi_str_mv | 10.1007/978-1-4471-4616-2 |
format | Electronic eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03052nmm a2200601zc 4500</leader><controlfield tag="001">BV040728103</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">130206s2013 |||| o||u| ||||||eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">13,O01</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1029138796</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781447146155</subfield><subfield code="9">978-1-4471-4615-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781447146162</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-4471-4616-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4471-4616-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9781447146162</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)827053870</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1029138796</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-634</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510.9</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">370</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Dalen, Dirk van</subfield><subfield code="d">1932-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)133205053</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">L. E. J. Brouwer - topologist, intuitionist, philosopher</subfield><subfield code="b">how mathematics is rooted in life</subfield><subfield code="c">Dirk van Dalen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="600" ind1="1" ind2="7"><subfield code="a">Brouwer, Luitzen E. J.</subfield><subfield code="d">1881-1966</subfield><subfield code="0">(DE-588)118988131</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Brouwer-Fixpunktsatz</subfield><subfield code="0">(DE-588)4226759-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4006804-3</subfield><subfield code="a">Biografie</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Brouwer-Fixpunktsatz</subfield><subfield code="0">(DE-588)4226759-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Brouwer, Luitzen E. J.</subfield><subfield code="d">1881-1966</subfield><subfield code="0">(DE-588)118988131</subfield><subfield code="D">p</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4471-4616-2</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025708207&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025708207&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025708207</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-4616-2</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-4616-2</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-4616-2</subfield><subfield code="l">UBA01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-4616-2</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-4616-2</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-4616-2</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-4616-2</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
genre | 1\p (DE-588)4006804-3 Biografie gnd-content |
genre_facet | Biografie |
id | DE-604.BV040728103 |
illustrated | Not Illustrated |
indexdate | 2024-07-10T00:32:38Z |
institution | BVB |
isbn | 9781447146155 9781447146162 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025708207 |
oclc_num | 827053870 |
open_access_boolean | |
owner | DE-634 DE-20 DE-703 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384 DE-83 |
owner_facet | DE-634 DE-20 DE-703 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384 DE-83 |
physical | 1 Online-Ressource |
psigel | ZDB-2-SMA |
publishDate | 2013 |
publishDateSearch | 2013 |
publishDateSort | 2013 |
publisher | Springer |
record_format | marc |
spelling | Dalen, Dirk van 1932- Verfasser (DE-588)133205053 aut L. E. J. Brouwer - topologist, intuitionist, philosopher how mathematics is rooted in life Dirk van Dalen London [u.a.] Springer 2013 1 Online-Ressource txt rdacontent c rdamedia cr rdacarrier Brouwer, Luitzen E. J. 1881-1966 (DE-588)118988131 gnd rswk-swf Brouwer-Fixpunktsatz (DE-588)4226759-6 gnd rswk-swf 1\p (DE-588)4006804-3 Biografie gnd-content Brouwer-Fixpunktsatz (DE-588)4226759-6 s 2\p DE-604 Brouwer, Luitzen E. J. 1881-1966 (DE-588)118988131 p 3\p DE-604 https://doi.org/10.1007/978-1-4471-4616-2 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025708207&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025708207&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
spellingShingle | Dalen, Dirk van 1932- L. E. J. Brouwer - topologist, intuitionist, philosopher how mathematics is rooted in life Brouwer, Luitzen E. J. 1881-1966 (DE-588)118988131 gnd Brouwer-Fixpunktsatz (DE-588)4226759-6 gnd |
subject_GND | (DE-588)118988131 (DE-588)4226759-6 (DE-588)4006804-3 |
title | L. E. J. Brouwer - topologist, intuitionist, philosopher how mathematics is rooted in life |
title_auth | L. E. J. Brouwer - topologist, intuitionist, philosopher how mathematics is rooted in life |
title_exact_search | L. E. J. Brouwer - topologist, intuitionist, philosopher how mathematics is rooted in life |
title_full | L. E. J. Brouwer - topologist, intuitionist, philosopher how mathematics is rooted in life Dirk van Dalen |
title_fullStr | L. E. J. Brouwer - topologist, intuitionist, philosopher how mathematics is rooted in life Dirk van Dalen |
title_full_unstemmed | L. E. J. Brouwer - topologist, intuitionist, philosopher how mathematics is rooted in life Dirk van Dalen |
title_short | L. E. J. Brouwer - topologist, intuitionist, philosopher |
title_sort | l e j brouwer topologist intuitionist philosopher how mathematics is rooted in life |
title_sub | how mathematics is rooted in life |
topic | Brouwer, Luitzen E. J. 1881-1966 (DE-588)118988131 gnd Brouwer-Fixpunktsatz (DE-588)4226759-6 gnd |
topic_facet | Brouwer, Luitzen E. J. 1881-1966 Brouwer-Fixpunktsatz Biografie |
url | https://doi.org/10.1007/978-1-4471-4616-2 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025708207&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025708207&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT dalendirkvan lejbrouwertopologistintuitionistphilosopherhowmathematicsisrootedinlife |