Hacker News new | ask | show | jobs
by dandanua 202 days ago
True. After Turing and Co, mathematical logic became almost like applied theoretical computer science.