Graduate studies at Western
Synthese 62 (2):255 - 263 (1985)
|Abstract||The foundations of mathematics are divided into proof theory and set theory. Proof theory tries to justify the world of infinite mind from the standpoint of finite mind. Set theory tries to know more and more of the world of the infinite mind. The development of two subjects are discussed including a new proof of the accessibility of ordinal diagrams. Finally the world of large cardinals appears when we go slightly beyond girard's categorical approach to proof theory|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
John Mayberry (1994). What is Required of a Foundation for Mathematics? Philosophia Mathematica 2 (1):16-35.
Gaisi Takeuti (1971). Introduction to Axiomatic Set Theory. New York,Springer-Verlag.
Robert S. Lubarsky & Michael Rathjen (2008). On the Constructive Dedekind Reals. Logic and Analysis 1 (2):131-152.
Shunsuke Yatabe & Hiroyuki Inaoka (2006). On Evans's Vague Object From Set Theoretic Viewpoint. Journal of Philosophical Logic 35 (4):423 - 434.
Michael Rathjen (1992). A Proof-Theoretic Characterization of the Primitive Recursive Set Functions. Journal of Symbolic Logic 57 (3):954-969.
Peter Aczel, Harold Simmons & S. S. Wainer (eds.) (1992). Proof Theory: A Selection of Papers From the Leeds Proof Theory Programme, 1990. Cambridge University Press.
Gaisi Takeuti (1987). Proof Theory. Sole Distributors for the U.S.A. And Canada, Elsevier Science Pub. Co..
Reinhard Kahle (2002). Mathematical Proof Theory in the Light of Ordinal Analysis. Synthese 133 (1/2):237 - 255.
Added to index2009-01-28
Total downloads34 ( #40,578 of 731,463 )
Recent downloads (6 months)1 ( #61,087 of 731,463 )
How can I increase my downloads?