Post

From award-winning science writer Anil Ananthaswamy (@anilananth.bsky.social): To learn about the future of computer science, math and AI, read Kevin Hartnett's (@kevinhartnett.bsky.social) THE PROOF IN THE CODE. Available June 9.

3/6/26, 2:23 pm3 reposts3 likes

a bezoar

@a-bezoar.bsky.social

4 June

the blurb from www.quantabooks.org/books/the-pr... is somewhat nonsensical. Undecidable assertions cannot be verified or refuted and the word "oracle" is not used in the senses employed by mathematicians. en.wikipedia.org/wiki/Undecid...

Quanta Books

@quantabooks.org

3 June

Preorder here: www.quantabooks.org/books/the-pr...

quantabooks.orgThe Proof in the Code - Quanta BooksThe inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?