|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910956313003321 |
|
|
Titolo |
Proof, logic, and formalization / / edited by Michael Detlefsen |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London ; ; New York, : Routledge, 1992 |
|
|
|
|
|
|
|
ISBN |
|
1-134-97527-9 |
1-134-97528-7 |
1-280-10986-6 |
9786610109869 |
0-203-98025-5 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (118 p.) |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Proof theory |
Logic, Symbolic and mathematical |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
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. |
|
|
|
|
|
|
|