02563nam 2200661 a 450 991095631300332120251116144652.01-134-97527-91-134-97528-71-280-10986-697866101098690-203-98025-510.4324/9780203980255 (CKB)1000000000006457(EBL)242043(OCoLC)475959706(SSID)ssj0000229267(PQKBManifestationID)11185806(PQKBTitleCode)TC0000229267(PQKBWorkID)10171884(PQKB)11655108(MiAaPQ)EBC242043(Au-PeEL)EBL242043(CaPaEBR)ebr10017091(CaONFJC)MIL10986(OCoLC)60855281(OCoLC)23732776(FINmELB)ELB155840(EXLCZ)99100000000000645719910409d1992 uy 0engur|n|---|||||txtccrProof, logic, and formalization /edited by Michael Detlefsen1st ed.London ;New York Routledge19921 online resource (118 p.)Description based upon print version of record.1-138-00907-5 0-415-02335-1 Includes bibliographical references and index.BOOK COVER; HALF-TITLE; TITLE; COPYRIGHT; DEDICATION; CONTENTS; NOTES ON CONTRIBUTORS; PREFACE; 1 PROOFS ABOUT PROOFS A DEFENSE OF CLASSICAL LOGIC; 2 PROOFS AND EPISTEMIC STRUCTURE; 3 WHAT IS A PROOF?; 4 HOW TO SAY THINGS WITH FORMALISMS; 5 SOME CONSIDERATIONS ON ARITHMETICAL TRUTH AND THE ?-RULE; 6 THE IMPREDICATIVITY OF INDUCTION; 7 THREE INSUFFICIENTLY ATTENDED TO ASPECTS OF MOST MATHEMATICAL PROOFS: PHENOMENOLOGICAL STUDIES; 8 ON AN ALLEGED REFUTATION OF HILBERT'S PROGRAM USING GÖDEL'S FIRST INCOMPLETENESS THEOREM; INDEXA collection of essays from distinguished contributors looking at why it is that mathematical proof is given precedence over other forms of mathematical justification.Proof theoryLogic, Symbolic and mathematicalProof theory.Logic, Symbolic and mathematical.511.3Detlefsen Michael1948-46258MiAaPQMiAaPQMiAaPQBOOK9910956313003321Proof, logic, and formalization4488237UNINA