3 ms·
Yes thank you. And the same misundestanding comes up when people thing Goedel's incompleteness results precludes mechanical theorem proving.
by Ericson2314 5y ago
Yes thank you. And the same misundestanding comes up when people thing Goedel's incompleteness results precludes mechanical theorem proving.