جستجوی مقالات مرتبط با کلیدواژه "گاوس" در نشریات گروه "فلسفه و کلام"

In the philosophy of mathematics, there are three important schools: intuitionism, formalism and logicism. Founded by Brouwer, intuitionism puts importance on mathematician's intuition, takes it as the basis, and try to free mathematics of the pure logical relations. Intuitionism takes mental processes as the basis of mathematics. In this part of his article, the author discusses intuitionism and its history.