News for hackers. Stuff that matters.
Re:In Search of Proofs from “The Book” by beojan on Tuesday March 20, 2018 @11:59AM (#16629717)
Spinoza's God couldn't have a book of anything.

Then again, the Abrahamic God (being omniscient) wouldn't need a book either, but would simply know the perfect proof (and every imperfect proof) for every theorem.

Re:In Search of Proofs from “The Book” by Koshkin on Tuesday March 20, 2018 @10:58PM (#16634963)
Well, God is the word (i.e. the proof).