• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

Constructivism and Proof Theory (2003)

Cached

  • Download as a PDF

Download Links

  • [staff.science.uva.nl]
  • [www.mathematik.uni-muenchen.de]
  • [www.mathematik.uni-muenchen.de]

  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by A. S. Troelstra
Citations:135 - 4 self
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

Versions

  • Version 0
  • Version 1
  • Version 2
  • Version 3

Version History

Metadata Version 3

User correction supplied by andy.melnikov

DatumValueSource
TITLE Constructivism and Proof Theory user correction - Legacy Corrections
AUTHOR NAME A. S. Troelstra user correction
ABSTRACT Introduction to the constructive point of view in the foundations of mathematics, in particular intuitionism due to L.E.J. Brouwer, constructive recursive mathematics due to A.A. Markov, and Bishop’s constructive mathematics. The constructive interpretation and formalization of logic is described. For constructive (intuitionistic) arithmetic, Kleene’s realizability interpretation is given; this provides an example of the possibility of a constructive mathematical practice which diverges from classical mathematics. The crucial notion in intuitionistic analysis, choice sequence, is briefly described and some principles which are valid for choice sequences are discussed. The second half of the article deals with some aspects of proof theory, i.e., the study of formal proofs as combinatorial objects. Gentzen’s fundamental contributions are outlined: his introduction of the so-called Gentzen systems which use sequents instead of formulas and his result on first-order arithmetic showing that (suitably formalized) transfinite induction up to the ordinal "0 cannot be proved in first-order arithmetic. user correction
YEAR 2003 user correction - Legacy Corrections
CITATIONS 27 found ParsCit 1.0
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University