4 ms·
Proof systems are for doing mathematics. A function in these is a mathematical function and not a function in the programming sense of the word. For a mathemati
by cjfd 4y ago
Proof systems are for doing mathematics. A function in these is a mathematical function and not a function in the programming sense of the word. For a mathematical function 'this computes forever' is not an acceptable outcome.