Computation, Proof, Machine: Mathematics Enters a New Age Computation, Proof, Machine: Mathematics Enters a New Age에 대해서 더 읽어 보세요.
Proven Impossible: Elementary Proofs of Profound Impossibility from Arrow, Bell, Chaitin, Gödel, Turing and More Proven Impossible: Elementary Proofs of Profound Impossibility from Arrow, Bell, Chaitin, Gödel, Turing and More에 대해서 더 읽어 보세요.
Alfred Tarski : Life and Logic (Life and Logic) Alfred Tarski : Life and Logic (Life and Logic)에 대해서 더 읽어 보세요.
