Hacker News new | ask | show | jobs
by joelmichael 1095 days ago
He was the first to develop formal logic which is a foundation of computer science.