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
Otros Autores: Detlefsen, Michael, 1948-
Formato: Electrónico eBook
Idioma:Inglés
Publicado: London ; New York : Routledge, 1992.
Temas:
Proof theory.
Logic, Symbolic and mathematical.
Mathematics > Philosophy.
Théorie de la preuve.
Logique symbolique et mathématique.
Mathématiques > Philosophie.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Preuve, théorie de la.
Mathematics
Mathematical logic
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Chapter PREFACE
  • chapter 1 PROOFS ABOUT PROOFS: A DEFENSE OF CLASSICAL LOGIC Part I: the aims of classical logic / John P. Burgess
  • chapter 2 PROOFS AND EPISTEMIC STRUCTURE / Glen Helman
  • chapter 3 WHAT IS A PROOF? / Richard Tieszen
  • chapter 4 HOW TO SAY THINGS WITH FORMALISMS
  • David Auerbach
  • chapter 5 SOME CONSIDERATIONS ON ARITHMETICAL TRUTH AND THE W-RULE / Daniel Isaacson
  • chapter 6 THE IMPREDICATIVITY OF INDUCTION / Charles Parsons
  • chapter 7 THREE INSUFFICIENTLY ATTENDED TO ASPECTS OF MOST MATHEMATICAL PROOFS: PHENOMENOLOGICAL STUDIES
  • chapter 8 ON AN ALLEGED REFUTATION OF HILBERT'S PROGRAM USING GODEL'S FIRST INCOMPLETENESS THEOREM / Michael Detlefsen.

Ejemplares similares