Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Weaver, Nik - Department of Mathematics, Washington University in St. Louis
MATHEMATICAL CONCEPTUALISM We must remember that in Hilbert's time all mathematicians were
CONSTRUCTIVE TRUTH AND CIRCULARITY Abstract. We propose a constructive interpretation of truth which resolves
AXIOMATIZING MATHEMATICAL CONCEPTUALISM IN THIRD ORDER ARITHMETIC
INTUITIONISM AND THE LIAR PARADOX Abstract. The concept of informal mathematical proof considered in intu
IS SET THEORY INDISPENSABLE? Abstract. Although ZermeloFraenkel set theory (ZFC) is generally accepted
IS SET THEORY INDISPENSABLE? Abstract. Although Zermelo-Fraenkel set theory (ZFC) is generally accepted
THE CONCEPT OF A SET Abstract. Metaphysical interpretations of set theory are either inconsistent
INTUITIONISM AND THE LIAR PARADOX Abstract. The concept of informal mathematical proof considered in intu-
ANALYSIS IN J2 Abstract. This is an expository paper in which I explain how core math-
AXIOMATIZING MATHEMATICAL CONCEPTUALISM IN THIRD ORDER ARITHMETIC
THE CONCEPT OF A SET Abstract. Metaphysical interpretations of set theory are either inconsistent
ANALYSIS IN J 2 Abstract. This is an expository paper in which I explain how core math
WHAT IS PREDICATIVISM? Predicativism is a foundational philosophy that was developed by Poincare, Rus
PREDICATIVITY BEYOND 0 Abstract. We reevaluate the claim that predicative reasoning (given the nat-
PREDICATIVITY BEYOND # 0 Abstract. We reevaluate the claim that predicative reasoning (given the nat
CONSTRUCTIVE TRUTH AND CIRCULARITY Abstract. We propose a constructive interpretation of truth which resolves
WHAT IS PREDICATIVISM? Predicativism is a foundational philosophy that was developed by Poincare, Rus-
MATHEMATICAL CONCEPTUALISM We must remember that in Hilbert's time all mathematicians were
REASONING ABOUT CONSTRUCTIVE CONCEPTS Second order quantification becomes problematic when a quantified concept vari
THE SEMANTIC CONCEPTION OF PROOF Classically, the notions of truth and provability are both directly tied to the
TRUTH AND THE LIAR PARADOX The liar paradox is the paradox that arises when we try to assess the truth
KINDS OF CONCEPTS The contrast between sets and proper classes is puzzling because our naive notion
THE SEMANTIC CONCEPTION OF PROOF Classically, the notions of truth and provability are both directly tied to the
Spring 2012 Construction of Measures
REASONING ABOUT CONSTRUCTIVE CONCEPTS Second order quantification becomes problematic when a quantified concept vari-
TRUTH AND THE LIAR PARADOX The liar paradox is the paradox that arises when we try to assess the truth
KINDS OF CONCEPTS The contrast between sets and proper classes is puzzling because our naive notion
