中產太 plebeian，我行我素最好
The diagonalization argument employed in Turing's proof of undecidability of programs seems to be too similar to the straightforward argument of "free will" that it probably warrants a closer re-examination...
No comments:
Post a Comment