03204nam 2200697Ia 450 991081428750332120200520144314.00-19-773058-21-280-44330-897866104433070-19-535983-60-585-35829-X10.1093/oso/9780195080308.001.0001(CKB)111004366526824(EBL)271659(OCoLC)466425524(SSID)ssj0000177903(PQKBManifestationID)11170182(PQKBTitleCode)TC0000177903(PQKBWorkID)10219236(PQKB)10887632(Au-PeEL)EBL271659(CaPaEBR)ebr10086864(CaONFJC)MIL44330(OCoLC)935260540(MiAaPQ)EBC271659(OCoLC)1406785453(StDuBDS)9780197730584(EXLCZ)9911100436652682419971218d1998 uy 0engur|n|---|||||txtrdacontentcrdamediacrrdacarrierIn the light of logic /Solomon FefermanFirst edition.New York Oxford University Pressc19981 online resource (353 pages)Logic and computation in philosophyPreviously issued in print: 1998.0-19-508030-0 Includes bibliographical references (p. 309-330) and index.Contents; I: FOUNDATIONAL PROBLEMS; 1 Deciding the undecidable: Wrestling with Hilbert's problems; 2 Infinity in mathematics: Is Cantor necessary?; II: FOUNDATIONAL WAYS; 3 The logic of mathematical discovery versus the logical structure of mathematics; 4 Foundational ways; 5 Working foundations; III: GÖDEL; 6 Gödel's life and work; 7 Kurt Gödel: Conviction and caution; 8 Introductory note to Gödel's 1933 lecture; IV: PROOF THEORY; 9 What does logic have to tell us about mathematical proofs?; 10 What rests on what? The proof-theoretic analysis of mathematics11 Gödel's Dialectica interpretation and its two-way stretchV: COUNTABLY REDUCIBLE MATHEMATICS; 12 Infinity in mathematics: Is Cantor necessary? (Conclusion); 13 Weyl vindicated: Das Kontinuum seventy years later; 14 Why a little bit goes a long way: Logical foundations of scientifically applicable mathematics; Symbols; References; Index; A; B; C; D; E; F; G; H; I; J; K; L; M; N; O; P; Q; R; S; T; U; V; W; ZThis volume brings together a revised and annotated selection of Solomon Feferman's most important writings, covering the relation between logic and mathematics, proof theory, and objectivity and intentionality in mathematics.Logic and computation in philosophy.Logic, Symbolic and mathematicalMathematicsLogic, Symbolic and mathematical.Mathematics.510.1511.3Feferman Solomon46715MiAaPQMiAaPQMiAaPQBOOK9910814287503321In the light of logic4080951UNINA