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}}} \rfloor$ shouldn’t they actually deny the very existence of $e$ in the first place, let alone forming $e^{e^{e^{79}}}$. Since $e$ in itself is defined/obtained as a […]

Suppose you’re trying to teach analysis to a stubborn algebraist who refuses to acknowledge the existence of any characteristic $0$ field other than $\mathbb{Q}$. How ugly are things going to get for him? The algebraist argues that the real numbers are a silly construction because any real number can be approximated to arbitrarily high precision […]

An extreme form of constructivism is called finitisim. In this form, unlike the standard axiom system, infinite sets are not allowed. There are important mathematicians, such as Kronecker, who supported such a system. I can see that the natural numbers and rational numbers can easily defined in a finitist system, by easy adaptations of the […]

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. I was wondering if that’s the case because of technological limitations, or whether there is another reason we cannot find a floor of […]

Intereting Posts

$\prod_{k=3}^{\infty} 1 – \tan( \pi/2^k)^4$
A “reverse” diagonal argument?
The difference between $\Delta x$, $\delta x$ and $dx$
Proving Cauchy condensation test
Why does $\mathrm{ord}_p(n!)=\sum_{i=1}^k a_i(1+p+\cdots+p^{i-1})$?.
Understanding the properties and use of the Laplacian matrix (and its norm)
The following groups are the same.
Is this graph based on rationals familiar?
Proof of $k {n\choose k} = n {n-1 \choose k-1}$ using direct proof
question about binomial expansion's coefficients
I need help understanding the formal definition of a limit
How do you pronounce (partial) derivatives?
Finding the subgroup of $(\mathbb Z_{56},+)$ which is isomorphic with $(\mathbb Z_{14},+)$ by GAP
Mean of a Convergent Sequence
Three consecutive sums of two squares