The ultrafinitism tag has no wiki summary.

**-1**

votes

**0**answers

213 views

### Comparing the Kolmogorov complexity of theories - Part 2

Chaitin's incompleteness theorem says no sufficiently strong theory of arithmetic can prove $K(x) > L$ where $K(x)$ is the Kolmogorov complexity of natural number $x$ and $L$ is a sufficiently ...

**8**

votes

**3**answers

282 views

### Model-theoretic accounts of feasibility in bounded arithmetic and related systems

Various weak theories of arithmetic have been partially motivated by a concern with numbers (or functions/proofs) that are feasible. This concern is sometimes connected to an interest in strictly ...

**4**

votes

**1**answer

278 views

### Can the Burgess-Hazen analysis of Predicative Arithmetic be extended to Transfinite Types?

Around page 300 of his book "Mathematical Thought and its Objects", Charles Parsons discusses the work of Edward Nelson, who believes that mathematical induction is impredicative, because it can be ...

**24**

votes

**4**answers

1k views

### Illustrating Edward Nelson's Worldview with Nonstandard Models of Arithmetic

Mathematician Edward Nelson is known for his extreme views on the foundations of mathematics, variously described as "ultrafintism" or "strict finitism" (Nelson's preferred term), which came into the ...

**10**

votes

**1**answer

730 views

### Is an ultrafinitist Hilbert's program doomed?

Hilbert's program is popularly understood as an attempt to justify infinitary mathematics with a finitary consistency proof. Godel's Second Theorem is usually considered as showing this is not ...

**12**

votes

**1**answer

654 views

### Can FPA really prove its consistency?

I will ask the question first and then explain.
QUESTION: FPA can prove its own consistency in the Godelian sense. But can it really prove its consistency?
FPA is a multi-sorted first-order ...

**4**

votes

**3**answers

497 views

### Provability in Second-Order Arithmetic without the Successor Axiom

Consider second-order Peano Arithmetic Z2, i.e. the two-sorted first-order theory with induction and comprehension. Remove the assumption about the totality of the successor relationship (the ...

**7**

votes

**4**answers

746 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

905 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 ...

**7**

votes

**1**answer

536 views

### Nelson natural number objects in a topos (say)

Nelson's predicative arithmetic (survey article) is a very weak system of arithmetic extending Robinson's $Q$ (Wikipedia).
We can have natural number objects in a topos, or even a merely finitely ...

**6**

votes

**1**answer

887 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

923 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 ...

**3**

votes

**2**answers

568 views

### Natural numbers of great kolmogorov complexity

Before I ask my question, let me give you a mini-preamble: in 2006, during an animated discussion on feasibility, ultrafinitism, and what else on FOM, I introduced (informally, and to speak the tuth, ...

**52**

votes

**9**answers

6k 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 ...

**50**

votes

**3**answers

7k 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 ...