Inhoudsopgave
11 relaties: Aritmetisering van de analyse, Axiomatische verzamelingenleer, Bewijstheorie, David Hilbert, Euclidische meetkunde, Formalisme (wiskunde), Hilbert, Jacques Herbrand, Metawiskunde, Wiskundig bewijs, Wiskundige logica.
Aritmetisering van de analyse
Leopold Kronecker, pionier van de aritmetisering van de analyse De aritmetisering van de analyse was een stroming in de fundamentele wiskunde in de late 19e eeuw die ernaar streefde de wiskundige analyse te baseren op de natuurlijke getallen.
Bekijken Programma van Hilbert en Aritmetisering van de analyse
Axiomatische verzamelingenleer
Als een axiomatische verzamelingenleer geldt elke axiomatisering van de verzamelingenleer die de bekende antinomieën van de naïeve verzamelingenleer vermijdt.
Bekijken Programma van Hilbert en Axiomatische verzamelingenleer
Bewijstheorie
Bewijstheorie is een tak van de wiskundige logica die bewijzen als formele wiskundige objecten opvat.
Bekijken Programma van Hilbert en Bewijstheorie
David Hilbert
David Hilbert in 1912 David Hilbert (Koningsbergen (Oost-Pruisen), 23 januari 1862 – Göttingen, 14 februari 1943) was een Duits wiskundige die wordt gerekend tot de invloedrijkste wiskundigen van de negentiende en begin twintigste eeuw.
Bekijken Programma van Hilbert en David Hilbert
Euclidische meetkunde
Raphaël. De euclidische meetkunde is een wiskundig systeem dat wordt toegeschreven aan de Griekse wiskundige Euclides van Alexandrië.
Bekijken Programma van Hilbert en Euclidische meetkunde
Formalisme (wiskunde)
In de grondslagen--, de filosofie van de wiskunde, en de filosofie van de logica is het formalisme een theorie, die het geven van enige betekenis van wiskundige symbolen, zowel objectief (zoals voorgesteld in het platonisme), als subjectief (zoals voorgesteld in het intuïtionisme) veroordeelt.
Bekijken Programma van Hilbert en Formalisme (wiskunde)
Hilbert
*Hilbert (plaats), een plaats in de Verenigde Staten.
Bekijken Programma van Hilbert en Hilbert
Jacques Herbrand
Jacques Herbrand Jacques Herbrand (Parijs, 12 februari 1908 - La Bérarde, Isère, 27 juli 1931) was een Frans wiskundige.
Bekijken Programma van Hilbert en Jacques Herbrand
Metawiskunde
Metawiskunde is de studie van wiskunde aan de hand van wiskundige modellen.
Bekijken Programma van Hilbert en Metawiskunde
Wiskundig bewijs
zijde is. Het is een bewijs door constructie Een wiskundig bewijs is het volgens formele regels aantonen dat, gegeven bepaalde axioma's, een bepaalde stelling waar is.
Bekijken Programma van Hilbert en Wiskundig bewijs
Wiskundige logica
De wiskundige logica is een deelgebied van de wiskunde.