Proof Logic and Formalization.

Show other versions (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.

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Detlefsen, Michael, 1948-
Format: Electronic eBook
Language:Inglés
Published: Hoboken : Routledge, 1992.
Subjects:
Logic, Symbolic and mathematical.
Proof theory.
Logique symbolique et mathématique.
Théorie de la preuve.
Logic, Symbolic and mathematical
Proof theory
Online Access:Texto completo
Table of Contents:
  • 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

Similar Items