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.
[ Parent
| on HN ]
There are no comments on this comment yet.