News for hackers. Stuff that matters.
Re:Roger Penrose's Gravitonic Brains (1994) by eastWestMath on Monday March 20, 2017 @06:11PM (#13918090)
But it's not similarly interesting, linear and intuitionistic logic are. Finitism is just kind of stupid.

There are no comments on this comment yet.