Proof, logic, and formalization / / edited by Michael Detlefsen

• Pubblicazione: London ; ; New York, : Routledge, 1992
• Edizione: 1st ed.
• Descrizione fisica: 1 online resource (118 p.)
• Disciplina: 511.3
• Soggetto topico: Proof theory; Logic, Symbolic and mathematical
• Altri autori: DetlefsenMichael <1948->
• Note generali: Description based upon print version of record.
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: 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; INDEX
• Sommario/riassunto: A collection of essays from distinguished contributors looking at why it is that mathematical proof is given precedence over other forms of mathematical justification.
• Titolo autorizzato: Proof, logic, and formalization
• ISBN: 1-134-97527-9; 1-134-97528-7; 1-280-10986-6; 9786610109869; 0-203-98025-5
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910956313003321
• Lo trovi qui: Univ. Federico II