News for hackers. Stuff that matters.
Re:Roger Penrose's Gravitonic Brains (1994) by xelxebar on Friday March 17, 2017 @12:45AM (#13891571)
Ultra-finitist logic is a perfectly rigorous field of study in its own right. I think OP is making a point that this logic and us related branches are quite understudied.

It's encouraging to note that with things like Homotopty Type Theory, we're finally starting to come to grips with Fundamentals that aren't tied to the ZFC implementation.

Re:Roger Penrose's Gravitonic Brains (1994) by eastWestMath on Friday March 17, 2017 @03:20AM (#13892186)
But ultrafinitism isn't actually interesting as a mathematical theory. As the previous poster said, its appeal lies in its "realness". Intuitionistic and linear logic are substantially more interesting.
Re:Roger Penrose's Gravitonic Brains (1994) by coolsdude2282 on Friday March 17, 2017 @11:54AM (#13894936)
But this was why I posed it as a question, everyone says this is somehow 'more interesting' but is that because it is actually qualitatively more interesting or are more interesting things coming out of it simply due to the fact that it is more popular quantitatively with researchers? If it is qualitatively more interesting, what about it makes it so?

I likened it to functional programming because finitism makes things interesting via its purity and restriction in an analogous way.

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.