Any thesis is an instance of saying. Any saying is an instance of common sense. Sayings are in common parlance but it is de mauvais ton to proclaim that which defies the stock of adages, saws, and proverbs.
Mathematics belongs to man, whereas formalization is the primogenitor of the computer. The computer rules over the realms of formalization. Therefore, any claim of universal formalization contradicts the most ancient and noble saying of mathematics, the Euclid Thesis which reads: “There are no king’s ways to mathematics.”
December 30, 2007
|English Page||Russian Page|