Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté. Image fixe : sans médiation
Auteur(s) : Sieg, Wilfried
Titre(s) : Hilbert's programs and beyond [Texte imprimé] / Wilfried Sieg
Publication : New York : Oxford university press, cop. 2013
Description matérielle : 1 vol. (XII-439 p.) : ill. ; 25 cm
Collection : Logic and computation in philosophy
Lien à la collection : Logic and computation in philosophy
Comprend : A perspective on Hilbert's programs ; Milestones ; Dedekind's analysis of number:
systems and axioms ; Methods for real arithmetic ; Hilbert's programs: 1917-1922
; Finitist proof theory: 1922-1934 ; After Königsberg ; In the shadow of incompleteness:
Hilbert and Gentzen ; Gödel at Zilsel's ; Hilbert and Bernays: 1939 ; Foundations
for analysis and proof theory ; Reductions of theories for analysis ; Hilbert's
program sixty years later ; On reverse mathematics ; Relative consistency and accessible
domains ; Aspects of mathematical experience ; Beyond Hilbert's reach? ; Searching
for proofs (and uncovering capacities of the mathematical mind).
Note(s) : Bibliogr. p. 403-434
Sujet(s) : Hilbert, David (1862-1943)
Mathématiques -- Philosophie
Indice(s) Dewey :
510.1 (23e éd.) = Mathématiques - Philosophie et théorie
Identifiants, prix et caractéristiques : ISBN 9780195372229. - ISBN 0195372220 (rel.). - ISBN 9780199707157. - ISBN 0199707154
(e-book)
Identifiant de la notice : ark:/12148/cb436724499
Notice n° :
FRBNF43672449
(notice reprise d'un réservoir extérieur)