CRITICS OF A MATHEMATICAL PLATONISM

Abstract

American mathematician of Czech origin, Kurt Gödel, has proved in 1930 that itis logically impossible to prove inconsistancy of one system of axioms on the basis of those sameaxioms. Gödel’s theorem of incompleteness of axiomatic systems had most profound infl uenceon developing the new perspective of deductive means, which later came out as a serious critiqueof mathematical Platonism. It was hard to explain the meaning of that theorem to mathematicianswho were not specialized in logics, until the electronic computing machines occurred.