Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/springer-journals/logic-mathematics-philosophy-vintage-enthusiasms-a-minimalist-EitcPjziB0
References (27)
-
G. Sambin (1995)
Pretopologies and completeness proofsJournal of Symbolic Logic, 60
-
S. Vickers (2006)
Compactness in locales and in formal topologyAnn. Pure Appl. Log., 137
-
P. Johnstone (1990)
TOPOSES AND LOCAL SET THEORIES: AN INTRODUCTION (Oxford Logic Guides 14)Bulletin of The London Mathematical Society, 22
-
G. Sambin (2003)
Some points in formal topologyTheor. Comput. Sci., 305
-
E. Bishop (1970)
Mathematics as a Numerical LanguageStudies in logic and the foundations of mathematics, 60
-
A. Simpson (2005)
Constructive Set Theories and their Category-theoretic Models -
Giulia Battilotti, G. Sambin (2006)
Pretopologies and a uniform presentation of sup-lattices, quantales and framesAnn. Pure Appl. Log., 137
-
Akiko Kino, J. Myhill, R. Vesley (1970)
Intuitionism and Proof Theory -
Bengt Nordström, Kent Petersson, Jan Smith (1990)
Programming in Martin-Lo¨f's type theory: an introduction -
G. Battilotti (2006)
30Annals of Pure and Applied Logic, 137
-
M. Maietti (2005)
Modular correspondence between dependent type theories and categories including pretopoi and topoiMathematical Structures in Computer Science, 15
-
A. Troelstra, D. Dalen, A. Heyting (1988)
Constructivism in Mathematics: An Introduction -
G. Sambin (1987)
Intuitionistic Formal Spaces — A First Communication -
D. Skordev (2011)
Mathematical Logic and Its Applications -
J. Bell (1988)
Toposes and local set theories - an introduction -
T. Coquand, G. Sambin, Jan Smith, S. Valentini (2003)
Inductively generated formal topologiesAnn. Pure Appl. Log., 124
-
P. Martin-Löf (2006)
100 years of Zermelo's axiom of choice: what was the problem with it?Comput. J., 49
-
P. Martin-Löf (1970)
Notes on constructive mathematics -
E. Bishop (2012)
Foundations of Constructive Analysis -
M. Maietti, S. Valentini (1999)
Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory?Mathematical Logic Quarterly, 45
-
M. Maietti, G. Sambin (2005)
Toward a minimalistic foundation for constructive mathematics -
M. Maietti (1998)
About Effective Quotients in Constructive Type Theory -
M. Dummett (2000)
Elements of Intuitionism -
J. Hyland (1982)
The Effective ToposStudies in logic and the foundations of mathematics, 110
-
Peter Hancock, Pierre Hyvernat (2009)
Programming interfaces and basic topologyAnn. Pure Appl. Log., 137
-
M. Fernández, M. Gabbay (2006)
Curry-Style Types for Nominal Terms -
M. Maietti (2008)
A minimalist two-level foundation for constructive mathematicsAnn. Pure Appl. Log., 160
- Publisher
- Springer Netherlands
- Copyright
- © Springer Science+Business Media B.V. 2011
- ISBN
- 978-94-007-0213-4
- Pages
- 69 –96
- DOI
- 10.1007/978-94-007-0214-1_4
- Publisher site
- See Chapter on Publisher Site
Abstract
[What is the nature of mathematics? The different answers given to this perennial question can be gathered from the different theories which have been put forward as foundations of mathematics. In the common contemporary vision, the role of foundations is to provide safe grounds a posteriori for the activity of mathematicians, which on the whole is taken as a matter of fact. This is usually achieved by reducing all concepts of mathematics to that of set, and by postulating sets to form a fixed universe, which exists by itself and is unaffected by any human activity. Thus it is a static vision.]
Published: Jan 27, 2011
Keywords: Open Subset; Closed Subset; Classical Logic; Type Theory; Intuitionistic Logic