Foundation of mathematich is a technical term who often used for some area in mathematich, such as logical mathematich, axiomatic theory, proof theory, model theory, and recurtion theory.
The search for foundations of mathematics is also a central question of the philosophy of mathematics
There is a philosophical of mathematics such as platonism.
In here we will try to explain a bout Platonism.
The foundational philosophy of Platonist mathematical realism, as exemplified by mathematician Kurt Gödel, proposes the existence of a world of mathematical objects independent of humans; the truths about these objects are discovered by humans. In this view, the laws of nature and the laws of mathematics have a similar status, and the effectiveness ceases to be unreasonable. Not our axioms, but the very real world of mathematical objects forms the foundation. The obvious question, then, is: how do we access this world?
Langganan:
Posting Komentar (Atom)
Tidak ada komentar:
Posting Komentar