The paper resolves the great debate of the 20th century between the three philosophies of mathematics-logicism, intuitionism and formalism—founded by Bertrand Russell and A. N. Whitehead, L. E. J. Brouwer and David H...
The aim of this paper is to contribute to the identification and characterization of the various types of intuition put forward by Poincar6, taking his texts as a laboratory for looking for what intuition might be. I ...