frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Why did 1+1=2 take Russell and Whitehead 300 pages? (2011)

https://blog.computationalcomplexity.org/2011/07/why-did-112-take-russell-and-whitehead.html
1•wslh•2h ago