Programma van Hilbert: verschil tussen versies

*{{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|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==

 

[[Categorie:Logica]]