True. After Turing and Co, mathematical logic became almost like applied theoret...

		dandanua 31 days ago \| parent \| context \| favorite \| on: A new bridge links the math of infinity to compute... True. After Turing and Co, mathematical logic became almost like applied theoretical computer science.