4 ms·
Writing a program is exactly the same thing as proving a mathematical statement. This is an extremely cool and deep result. Start with the Church-Turing thesis
by etc 12y ago
Writing a program is exactly the same thing as proving a mathematical statement. This is an extremely cool and deep result. Start with the Church-Turing thesis and go from there.
- sukilot 12y agoExcept in Math we accept duck-typed functions to prove our results. Advanced math is not fully rigorous and often has mistakes.