Switch to: Citations

Add references

You must login to add references.
  1. From Kant to Hilbert: a source book in the foundations of mathematics.William Bragg Ewald (ed.) - 1996 - New York: Oxford University Press.
    This massive two-volume reference presents a comprehensive selection of the most important works on the foundations of mathematics. While the volumes include important forerunners like Berkeley, MacLaurin, and D'Alembert, as well as such followers as Hilbert and Bourbaki, their emphasis is on the mathematical and philosophical developments of the nineteenth century. Besides reproducing reliable English translations of classics works by Bolzano, Riemann, Hamilton, Dedekind, and Poincare, William Ewald also includes selections from Gauss, Cantor, Kronecker, and Zermelo, all translated here for (...)
    Download  
     
    Export citation  
     
    Bookmark   169 citations  
  • Completeness before Post: Bernays, Hilbert, and the development of propositional logic.Richard Zach - 1999 - Bulletin of Symbolic Logic 5 (3):331-366.
    Some of the most important developments of symbolic logic took place in the 1920s. Foremost among them are the distinction between syntax and semantics and the formulation of questions of completeness and decidability of logical systems. David Hilbert and his students played a very important part in these developments. Their contributions can be traced to unpublished lecture notes and other manuscripts by Hilbert and Bernays dating to the period 1917-1923. The aim of this paper is to describe these results, focussing (...)
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  • (2 other versions)Principia mathematica.A. N. Whitehead & B. Russell - 1910-1913 - Revue de Métaphysique et de Morale 19 (2):19-19.
    Download  
     
    Export citation  
     
    Bookmark   239 citations  
  • Die Philosophie des Als Ob.H. Vaihinger - 1911 - Kant Studien 16 (1-3).
    Download  
     
    Export citation  
     
    Bookmark   67 citations  
  • Hilbert and the emergence of modern mathematical logic.Gregory H. Moore - 1997 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 12 (1):65-90.
    Hilbert’s unpublished 1917 lectures on logic, analyzed here, are the beginning of modern metalogic. In them he proved the consistency and Post-completeness (maximal consistency) of propositional logic -results traditionally credited to Bernays (1918) and Post (1921). These lectures contain the first formal treatment of first-order logic and form the core of Hilbert’s famous 1928 book with Ackermann. What Bernays, influenced by those lectures, did in 1918 was to change the emphasis from the consistency and Post-completeness of a logic to its (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Hilbert and Bernays on Metamathematics.P. Mancosu - 1998 - In ¸ Itemancosu1998. Oxford University Press. pp. 149--188.
    Download  
     
    Export citation  
     
    Bookmark   18 citations