Skip to main content

Questions tagged [finitism]

Finitism is a position in the philosophy of mathematics that only finite mathematical objects exist.

1 vote
0 answers
92 views

Completeness in finished system

Gödel's incompleteness theorems addresse formal axiomatic théories. Incompleteness of arithmetic of natural numbers is an example. My question is if a theory regarding a finite class of numbers cannot ...
kouty's user avatar
  • 345
0 votes
2 answers
113 views

Would Frege's version of the empty set contain "parafinitesimal elements," at least from the multiversal standpoint?

Frege's definition of the empty set was not a raw extensional one: he did not simply write the partial string {} and say, "That's it: that's the empty set." His account was more intensional: ...
Kristian Berry's user avatar
2 votes
1 answer
212 views

How do proponents of finitism respond to the claim that their position is "dubiously coherent"?

Michael Dummett writes (page 349) Since primality is decidable, the statement that any particular natural number is prime must be determinately either true or false, since the decision procedure, ...
Frank Hubeny's user avatar
  • 19.5k