4 ms·
The proof that Turing gave never really left me fully convinced. Surely if the Romans had "the answer that denies the former" then clearly some version of it is
by 3pt14159 6y ago
The proof that Turing gave never really left me fully convinced. Surely if the Romans had "the answer that denies the former" then clearly some version of it is possible in software.
- arc0 6y agoWhat part of Turing's proof do you find unconvincing?