Grondslagen van de wiskunde: verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
GrouchoBot (overleg | bijdragen)
k Bot: automatisch tekst vervangen (-0ste +0e )
Theo Assen (overleg | bijdragen)
k linkcorrectie
Regel 6:
In de [[18e eeuw]] heeft [[Leonhard Euler]] (1707-83) veel bijgedragen aan de moderne [[notatie (wiskunde)|wiskundige notatie]]. Door hem bedacht zijn de symbolen als de [[imaginaire eenheid]] [[Complex getal|i]], het [[grondtal]] van de [[natuurlijke logaritme]] [[E (wiskunde)|e]] en het verhoudingsgetal tussen omtrek en middellijn van de [[cirkel]],[[Pi (wiskunde)|π]]. Ook benaming als de [[goniometrie|goniometrische]] [[functie (wiskunde)|functie]]s [[sinus en cosinus|sin]], [[cosinus|cos]] en [[tangens|tan ]] zijn door hem bedacht.
 
In de [[19e eeuw]] heeft [[Georg Cantor]] de basis gelegd van de moderne [[verzamelingenleer]]. Hij heeft deze leer uitgebreid met het begrip 'transeindig', en de [[cardinaliteit|kardinale]] en ordinale getaltypen. Cantor heeft verder gewerkt aan de representatie van functies door middel van een [[goniometrie|goniometrische]] [[reeks (wiskunde)|reeksen]], een generalisatie van de [[Fourierreeks]]. [[Richard Dedekind]] (1831-1916) heeft gewerkt aan de beginselen van de [[getaltheorie]]. Hij kwam met een nieuwe definitie van de irrationale getallen, dat de [[rekenkunde]] gebaseerd kon worden op een verzameling [[axioma]]'s. Eind 19e eeuw legde [[Gottlob Frege]] (1848-1925) de fundamenten van de moderne, [[wiskunde|wiskundige]] [[logica (wetenschap)|logica]] en de [[filosofie|analytische filosofie]]. [[Giuseppe Peano]] (1858-1932) werkte verder aan de [[formeel|formele]] [[beschrijving]] van de [[rekenkunde]].
 
Begin [[20e eeuw]] was [[Bertrand Russell]] (1872-1970) hield zich bezig met het onderzoek naar de grondslagen van de [[wiskunde]]. Zijn voornaamste werk hierover is de ''[[Principia Mathematica]]'' dat hij schreef met [[Alfred North Whitehead]] (1861-1947) schreef, en publiceerde in drie delen tussen 1910 en 1913. Dit werk was een poging om de wiskunde te funderen in de [[symbolische logica]].