La Critique de Platonisme Mathematique
Critics of a Mathematical Platonism

Summary/Abstract: American mathematician of Czech origin, Kurt Gödel, has proved in 1930 that it is logically impossible to prove inconsistancy of one system of axioms on the basis of those same axioms. Gödel’s theorem of incompleteness of axiomatic systems had most profound influence on developing the new perspective of deductive means, which later came out as a serious critique of mathematical Platonism. It was hard to explain the meaning of that theorem to mathematicians who were not specialized in logics, until the electronic computing machines occurred.

• Details
• Contents