[FOM] Psychological basis of Intuitionism

[Arnold Neumaier]

On 05/28/2013 02:38 PM, Steve Stevenson wrote:
> “Intuitionism is based on the idea that mathematics is a creation of
> the mind. The truth of a mathematical statement can only be conceived
> via a mental construction that proves it to be true, and the
> communication between mathematicians only serves as a means to create
> the same mental process in different minds.”
> (http://plato.stanford.edu/entries/intuitionism/)
>
>
> Now that I'm retired, I would like to research how exactly this plays
> out, especially metacognitive processes. The question, simply put, is
> “Just how do we do it?”


Steve,

I give a (nonintuitionistic) answer in Chapters 1 and 3 of my (so far 
unpublished) manuscript
     http://www.mat.univie.ac.at/~neum/ms/fmathl.pdf
I didn't finish this as project funding was unsuccessful.

Your comments (but not through FOM) are appreciated.


Best wishes,

Arnold