Mathematics is an essentially creative activity
The incompleteness and undecidability results support the idea that mathematics is essentially creative, and that it's preferable to have multiple formal systems rather than a single universal system such as the Principia Mathematica.
The role of logic and mathematics is thereby shown to be one of revealing and developing the limitations of formal systems, not of revealing what one true formal system is.

Emil Post, 1941.
PAGE NAVIGATOR(Help)
-
Artificial Intelligence »Artificial Intelligence
Are thinking computers mathematically possible? [7] »Are thinking computers mathematically possible? [7]
No: computers are limited by Gödel's theorems »No: computers are limited by Gödel's theorems
Theorems show limitations of machine thought »Theorems show limitations of machine thought
Mathematics is an essentially creative activity
+Commentaar (0)
+Citaten (0)
+About