"In the modern era, this debate for a time divided into three schools of thought ：logicism, formalism, and intuitionism"
The most significant contribution of his intuitionism is that it changed human thinking habits and set free human creative spirit.
Poincare's criticism on“ the expected reason”, justification for the existence of mathematical object and opposition to the postulate of real infinite provide the developmental approach for the intuitionism in philosophy of mathematics.
One, akin to nominalism and idealism, finds its expression today in finitism and intuitionism.
