Axiomatizing mathematical conceptualism in third order arithmetic

Details Axiomatizing mathematical conceptualism in third order arithmetic Axiomatizing mathematical conceptualism in third order arithmetic

2009-05-11

arxiv.org/abs/0905.1675v1

Mathematics

History and Overview

31 pages

Scientific paper

We review the philosophical framework of mathematical conceptualism as an
alternative to set-theoretic foundations and show how mainstream mathematics
can be developed on this basis. The paper includes an explicit axiomatization
of the basic principles of conceptualism in a formal system CM set in the
language of third order arithmetic.

Affiliated with

Also associated with

No associations

Rating

Axiomatizing mathematical conceptualism in third order arithmetic does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Axiomatizing mathematical conceptualism in third order arithmetic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Axiomatizing mathematical conceptualism in third order arithmetic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-701946