Switch to: Citations

Add references

You must login to add references.
  1. Collected works.Kurt Gödel - 1986 - New York: Oxford University Press. Edited by Solomon Feferman.
    Kurt Godel was the most outstanding logician of the twentieth century, famous for his work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem, and the foundations of computation theory, as well as for the strong individuality of his writings on the philosophy of mathematics. Less well-known is his discovery of unusual cosmological models for Einstein's (...)
    Download  
     
    Export citation  
     
    Bookmark   97 citations  
  • The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations.Michael J. Beeson - 1975 - Journal of Symbolic Logic 40 (3):321-346.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • More about relatively lawless sequences.Joan Rand Moschovakis - 1994 - Journal of Symbolic Logic 59 (3):813-829.
    In the author's Relative lawlessness in intuitionistic analysis [this JOURNAL. vol. 52 (1987). pp. 68-88] and An intuitionistic theory of lawlike, choice and lawless sequences [Logic Colloquium '90. Springer-Verlag. Berlin. 1993. pp. 191-209] a notion of lawless ness relative to a countable information base was developed for classical and intuitionistic analysis. Here we simplify the predictability property characterizing relatively lawless sequences and derive it from the new axiom of closed data (classically equivalent to open data) together with a natural principle (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • On the interpretation of non-finitist proofs—Part I.G. Kreisel - 1951 - Journal of Symbolic Logic 16 (4):241-267.
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • Subgroups of Finitely Presented Groups.G. Higman - 1964 - Journal of Symbolic Logic 29 (4):204-205.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • The Character of Physical Law.Richard Feynman - 1965 - MIT Press.
    The law of gravitation, an example of physical law The relation of mathematics to physics The great conservation principles Symmetry in physical law The distinction of past and future Probability and uncertainty: the quantum mechanical view of nature Seeking new laws.
    Download  
     
    Export citation  
     
    Bookmark   327 citations  
  • Newton's Principia for the Common Reader.Subrahmanyan Chandrasekhar - 1995 - Oxford University Press UK.
    Newton's Philosophiae Naturalis Principia Mathematica provides a coherent and deductive presentation of his discovery of the universal law of gravitation. It is very much more than a demonstration that 'to us it is enough that gravity really does exist and act according to the laws which we have explained and abundantly serves to account for all the motions of the celestial bodies and the sea'. It is important to us as a model of all mathematical physics.Representing a decade's work from (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Was Sind und was Sollen Die Zahlen?Richard Dedekind - 1888 - Cambridge University Press.
    This influential 1888 publication explained the real numbers, and their construction and properties, from first principles.
    Download  
     
    Export citation  
     
    Bookmark   183 citations  
  • The Astonishing Hypothesis.Francis Crick - 1994 - Inquiry: An Interdisciplinary Journal of Philosophy 37:267.
    Download  
     
    Export citation  
     
    Bookmark   136 citations