# Tagged Questions

**6**

votes

**4**answers

672 views

### Does there exist a non-trivial Ultrafinitist set theory?

Does there exist a set theory T-which has not yet been proved to be inconsistent-and in which
one can prove the existence of (1) the empty set (2) sets that are singletons and (3) sets which
have ...

**6**

votes

**3**answers

699 views

### What is the status of irrational numbers within finitism/ultrafinitism?

According to constructivism a mathematical object to prove that it exists". There are several formulas to calculate pi, such as:
so I take it ...

**6**

votes

**1**answer

844 views

### How are mathematical objects defined from an ultrafinitist perspective?

I remember attending a lecture given by an ultrafinitist who denied that curves are a set of points, he would only say that any particular point may or not be on the curve. Similarly for algebraic or ...

**0**

votes

**1**answer

869 views

### Is it possible to construct a finite mathematical universe? [duplicate]

Possible Duplicate:
Is there any formal foundation to ultrafinitism?
Very recently I have come across the skeptic opinions of a school of mathematicians(ultrafinitist) over a physically ...

**48**

votes

**8**answers

5k views

### Is there any formal foundation to ultrafinitism?

Ultrafinitism is (I believe) a philosophy of mathematics that is not only constructive, but does not admit the existence of arbitrarily large natural numbers. According to wikipedia, it has been ...

**47**

votes

**3**answers

6k views

### Nelson's program to show inconsistency of ZF

At the end of the paper Division by three by Peter G. Doyle and John H. Conway, the authors say:
Not that we believe there really are any such things as infinite sets, or that the Zermelo-Fraenkel ...