4 ms·
Exactly. The step to formalize mathematics through computation is just the logical consequence of the program of the formalizers. The idea actually goes back t
by constantcrying 1y ago
Exactly. The step to formalize mathematics through computation is just the logical consequence of the program of the formalizers.
The idea actually goes back to Leibnitz, who was very much overoptimistic about computability, but already conceived of the idea of a logic machine, which could deter the truth value of any statement.
- ljlolel 1y agoWhich fell apart in shambles under Gödel
- jojomodding 1y agoIncredible, you managed to mention Gödel's incompleteness theorem on HN without wildly mis-stating what it's about ;)