Proof Logic and Formalization.

Mostrar otras versiones (2)

A collection of essays from distinguished contributors looking at why it is that mathematical proof is given precedence over other forms of mathematical justification.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Detlefsen, Michael, 1948-
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Hoboken : Routledge, 1992.
Temas:
Logic, Symbolic and mathematical.
Proof theory.
Logique symbolique et mathématique.
Théorie de la preuve.
Logic, Symbolic and mathematical
Proof theory
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 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

Ejemplares similares