6 ms·
Ctrl+F Gödel "not found". Also proof theory is completely absent, like Gentzen's cut elimination theorem. These are "fundamental" theorems of mathematics in t
by mazesc 6y ago
Ctrl+F Gödel "not found".
Also proof theory is completely absent, like Gentzen's cut elimination theorem.
These are "fundamental" theorems of mathematics in the literal sense.