Stupidity(onepercentrule.substack.com)
38 points by drcwpl | 35 comments
38 points by drcwpl | 35 comments
318 points by drcwpl | 81 comments
A Substack essay profiling logician Alonzo Church and his solution to the Entscheidungsproblem as a foundational contribution to computer science.