2016年10月29日 · Finitism and atheism are the positions that the posited entity, respectively infinity and god, makes no sense or does not exist. A finitist can no more prove infinity does …

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

2018年4月28日 · Formalism vs. Finitism. Ask Question Asked 6 years, 10 months ago. Modified 6 years, 10 months ago.

Finitism concerns the philosophy of mathematics that rejects the existence of uncountably infinite sets. Some finitists also reject countably infinite sets. A rough taxonomy of finitists is as …

2013年11月3日 · So, even though $\mathsf{WKL}_0$ is not finitistic, if it proves a sentence of the form that a finitist would recognize, that sentence is finitistically provable (in $\mathsf{PRA}$). …

Finitism still allows you to use infinitary definitions of real numbers, because a finitist is content with finite proofs even if the concepts mentioned by those proofs would seem to require infinite …

2025年1月6日 · Stack Exchange Network. Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for …

2018年4月28日 · Finitists usually have a fairly computational bent on philosophy, so the fact that finite set theory and peano arithmetic are equivalent is probably very influential in finitism's …

Stack Exchange Network. Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their …

2025年2月14日 · I am also aware of NJ Wildberger and his paper. Unfortunately, as finitism is now rejected by mainstream field of mathematics, other examples are extremely difficult to …