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 ...
According to constructivism a mathematical object to prove that it exists". There are several formulas to calculate pi, such as: so I take it ...
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 ...
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 ...
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 ...
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 ...