TY - JOUR
AU - MILOŠEVIĆ, RADOSLAV
PY - 2015/03/24
Y2 - 2024/07/12
TI - CRITICS OF A MATHEMATICAL PLATONISM
JF - Arhe
JA - arhe
VL - 7
IS - 13
SE - TOPIC OF THE ISSUE
DO - 10.19090/arhe.2010.13.%p
UR - https://arhe.ff.uns.ac.rs/index.php/arhe/article/view/1235
SP -
AB - 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.
ER -