Switch to: Citations

Add references

You must login to add references.
  1. 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)The Science of Mechanics. [REVIEW]Ernst Mach - 1893 - Ancient Philosophy (Misc) 4:152.
    Download  
     
    Export citation  
     
    Bookmark   114 citations  
  • David Hilbert and the axiomatization of physics (1894–1905).Leo Corry - 1997 - Archive for History of Exact Sciences 51 (2):83-198.
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • David Hilbert and the Axiomatization of Physics : From Grundlagen der Geometrie to Grundlagen der Physik.L. Corry - 2004 - Springer.
    David Hilbert was the most influential mathematician of the early twentieth century and, together with Henri Poincaré, the last mathematical universalist. His main known areas of research and influence were in pure mathematics, but he was also known to have some interest in physical topics. The latter, however, was traditionally conceived as comprising only sporadic incursions into a scientific domain which was essentially foreign to his mainstream of activity and in which he only made scattered, if important, contributions. Based on (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • David Hilbert's lectures on the foundations of geometry 1891–1902. edited by Michael Hallett and Ulrich Majer, David Hilbert's Lectures on the Foundations of Mathematics and Physics, 1891–1933, vol. 1. Springer, Berlin, Heidelberg and New York, 2004, xviii + 661 pp.Jan von Plato - 2006 - Bulletin of Symbolic Logic 12 (3):492-494.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Quelques points de vue concernant le probleme de l'evidence.P. Bernays - 1946 - Synthese 5 (7):321-326.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Hilbert and Logic.Michael Hallett - 1996 - In Mathieu Marion & RobertS Cohen (eds.), ¸ Itemarioncohen1996. Springer Verlag. pp. 135-187.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Tuning up mind's pattern to nature's own idea: Eddington's early twenties case for variational derivatives.Ivahn Smadja - 2010 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 41 (2):128-145.
    This paper sets out to show how Eddington's early twenties case for variational derivatives significantly bears witness to a steady and consistent shift in focus from a resolute striving for objectivity towards “selective subjectivism” and structuralism. While framing his so-called “Hamiltonian derivatives” along the lines of previously available variational methods allowing to derive gravitational field equations from an action principle, Eddington assigned them a theoretical function of his own devising in The Mathematical Theory of Relativity (1923). I make clear that (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Hilbert's axiomatic method and the laws of thought.Michael Hallett - 1994 - In Alexander George (ed.), Mathematics and mind. New York: Oxford University Press. pp. 158--200.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • (2 other versions)The Science of Mechanics. [REVIEW]Ernst Mach - 1903 - Ancient Philosophy (Misc) 13:317.
    Download  
     
    Export citation  
     
    Bookmark   118 citations  
  • (1 other version)Abhandlungen zur Philosophie der Mathematik.G. T. Kneebone & Paul Bernays - 1977 - Philosophical Quarterly 27 (106):72.
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  • Reflections on the purity of method in Hilbert's Grundlagen der Geometrie.Michael Hallett - 2008 - In Paolo Mancosu (ed.), The Philosophy of Mathematical Practice. Oxford, England: Oxford University Press.
    Download  
     
    Export citation  
     
    Bookmark   19 citations