Baran Hashemi

58%
Flag icon
Amazingly, we can identify concrete decisions problems that cannot be solved in principle by any Turing-computable procedure.
Lectures on the Philosophy of Mathematics
Rate this book
Clear rating
Open Preview