Programma van Hilbert: verschil tussen versies

9 bytes verwijderd ,  6 jaar geleden
Linkonderhoud
(Linkonderhoud)
(Linkonderhoud)
*{{de}} {{aut|[[Gerhard Gentzen]]}}, 1936/1969. Die Widerspruchfreiheit der reinen Zahlentheorie. (De consistentie van de zuivere getaltheorie) ''[[Mathematische Annalen]]'' 112:493–565. Vertaald in het Engels als 'The consistency of arithmetic', in de ''The collected papers of Gerhard Gentzen'' (De verzamelde artikelen van [[Gerhard Gentzen]], M. E. Szabo (ed.), 1969.
*{{de}} {{aut|[[David Hilbert]]}}. 'Die Grundlagen Der Elementaren Zahlentheorie' (De grondslagen van de elementaire getaltheorie). ''[[Mathematische Annalen]]'' 104:485-94. In het Engels vertaald door W. Ewald als 'The Grounding of Elementary Number Theory', pp. 266-273 in Mancosu (ed., 1998) ''From Brouwer to Hilbert: The debate on the foundations of mathematics in the 1920’s'' (Van Brouwer tot Hilbert: het over de grondslagen van de wiskunde in de jaren twintig van de twintigste eenuw, Oxford University Press. New York.
*{{en}} {{aut|S.G. Simpson}}, 1988. [http://www.mathpersonal.psu.edu/simpsont20/papers/hilbert/hilbert.html Partial realizations of Hilbert's program]. ''Journal of Symbolic Logic'' 53:349-363.
*{{en}} {{aut|R. Zach}}, 2005. [http://arxiv.org/abs/math/0508572 Hilbert's Program Then and Now (Het programma van Hilbert - toen en nu)]. Manuscript, arXiv:math/0508572v1.
 
==Externe link==
*{{en}} [http://wwwplato.personal.psustanford.edu/t20/papersentries/hilbert-program/hilbert.html Programma van Hilbert] in de Stanford Encyclopedie van de Filosofie.
 
[[Categorie:Logica]]