3 ms·
Gödel is so overrated. How is this actually science? "This work has been supported by the German Research Foundation under grant BE2501/9-1."
by bachback 13y ago
Gödel is so overrated. How is this actually science? "This work has been supported by the German Research Foundation under grant BE2501/9-1."
- pmelendez 13y agoI believe that a "Formalization, Mechanization and Automation" of any logic proof would enter in the definition of science