New top story on Hacker News: The 8000th Busy Beaver number eludes ZF set theory (2016) 161 https://ift.tt/2wfmkzg Read more
No comments:
Post a Comment