03106nam 2200649Ia 450 991077889800332120230421034127.00-19-773058-21-280-44330-897866104433070-19-535983-60-585-35829-X(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(EXLCZ)9911100436652682419971218d1998 uy 0engur|n|---|||||txtccrIn the light of logic[electronic resource] /Solomon FefermanNew York Oxford University Pressc19981 online resource (353 p.)Logic and computation in philosophyDescription based upon print version of record.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, objectivity and intentionality in mathematics, and key issues in the work of Godel, Hilbert and Turing.Logic and computation in philosophy.Logic, Symbolic and mathematicalMathematicsLogic, Symbolic and mathematical.Mathematics.510.1511.3Feferman Solomon46715MiAaPQMiAaPQMiAaPQBOOK9910778898003321In the light of logic3775128UNINA