1 option
The philosophy of mathematics / edited by Jaako Hintikka.
LIBRA QA9 .P454 1969
Available from offsite location
- Format:
- Book
- Series:
- Oxford readings in philosophy
- Language:
- English
- Subjects (All):
- Mathematics--Philosophy.
- Penn Provenance:
- Farber, Paul (donor) (Storage copy)
- Physical Description:
- 5 unnumbered pages, 186 pages : illustrations ; 21 cm.
- Place of Publication:
- London : Oxford U.P., 1969.
- Contents:
- Semantic entailment and formal derivability / E.W. Beth
- The completeness of the first-order functional calculus / Leon Henkin
- Languages in which self reference in possible / Raymond M. Smullyan
- Informal rigour and completeness proofs / Georg Kreisel
- Systems of predicative analysis / Solomon Feferman
- An interpretation of the intuitionistic sentenial logic / Kurt Godel
- The present theory of Turing machine computability / Harley Rogers Jr.
- Mathematical logic : What has it done for the philosophy of mathmematics? (Excerpt) / Georg Kreisel
- The metaphysics of the calculus / Abraham Robinson
- What is elementary geometry? / Alfred Tarskiuo.
- Notes:
- Includes bibliographical references (pages 178-184).
- Other Format:
- Online version: Hintikka, Jaakko, 1929- Philosophy of mathematics.
- ISBN:
- 0198750110
- 9780198750116
- OCLC:
- 57529
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.