Reflection Online
Comment on Mr. Marsigit's articles on his blog
Title : Elegi Pemberontakan Pendidikan Matematika 12 Author : Mr. Marsigit
Comment :
From the article above, now we know that all of Logicist and Formalist are
a Foundamentalist. And system or structure of mathematics that developed begins
from Assumption or Pre-assumption, such as Primitive Element, Convention/Agreement,
Assumption or Definition. Logicist-Formalist-Foundationalist also build
mathematics system that are closed in order to consistency of mathematics logic guaranteed.
Mathematics system includes
assumption, definition, axiom, and theorem, so the
Logicist-Formalist-Foundationalist has been successfully proven
the strong consistency and absence of contradiction.
But, have been found that every
forming element of mathematics system is contradictory. And curiously, thus contradictory elements have
managed to build a mathematics system which was claimed by
Logicist-Formalist-Foundationalist as consistent
and not contradictory.
0 comments:
Post a Comment