2 ms·
I have to imagine it's about as old as propositional logic (so, as old as the hills). I most closely associate it with Gödel and his work on incompleteness.
by maxbond 2y ago
I have to imagine it's about as old as propositional logic (so, as old as the hills).
I most closely associate it with Gödel and his work on incompleteness.