This tag concerns topics in ultrafinitist philosophy, its implications in mathematical logic, and the practical consequences to other areas of mathematics. Use (ultrafinitism) for ultrafinitism, and (finitism) for classical finitism and strict finitism.

learn more… | top users | synonyms

4
votes
1answer
93 views

How do we distinguish between characteristic 0 and characteristic p for very large p?

This is a somewhat soft question, apologies if it turns out to be trivial/nonsensical. Background: I was half-asleep one morning, not quite through my first cup of coffee, and thought about the ...
2
votes
0answers
64 views

How much arithmetic can Predicative Second-Order EFA do?

As discussed in this MathOverflow question, I'm trying to find what the result would be of applying a Feferman-Scutte-like analysis to the predicativism of Edward Nelson and Charles Parsons, who ...
5
votes
1answer
233 views

What do ultrafinitists think about Graham's number?

I know ultrafinitists want to require not only that mathematical objects be constructible, but be constructible given finite resources (such as time). So I wonder about something like the famous ...
8
votes
1answer
393 views

Ultrafinitism and the denial of existence of $\lfloor e^{e^{e^{79}}} \rfloor$

I was reading about Ultrafinitism and the denial of existence of $\lfloor e^{e^{e^{79}}} \rfloor$ by ultrafinitists. I am wondering if they were to deny the existence of $\lfloor e^{e^{e^{79}}} ...
23
votes
1answer
2k views

$e^{e^{e^{79}}}$ and ultrafinitism

I was reading the following article on Ultrafinitism, and it mentions that one of the reasons ultrafinitists believe that N is not infinite is because the floor of $e^{e^{e^{79}}}$ is not computable. ...