Editing Ultrafinitism (section)

==External links==
*[https://doi.org/10.1023%2FA%3A1024451401255  Explicit finitism] by [[András Kornai]]
*[https://doi.org/10.1007%2F3-540-60178-3_78 On feasible numbers by Vladimir Sazonov]
*[http://www.math.rutgers.edu/~zeilberg/mamarim/mamarimPDF/real.pdf "Real" Analysis Is A Degenerate Case Of Discrete Analysis]  by [[Doron Zeilberger]]
*[https://mathoverflow.net/q/44208 Discussion on formal foundations] on [[MathOverflow]]
*[https://web.archive.org/web/20060209210015/http://staff.science.uva.nl/~anne/hhhist.pdf History of constructivism in the 20th century] by [[A. S. Troelstra]]
*[http://www.math.princeton.edu/~nelson/books/pa.pdf Predicative Arithmetic] by [[Edward Nelson]]
*[http://www.cs.toronto.edu/~sacook/homepage/book/ Logical Foundations of Proof Complexity] by [[Stephen A. Cook]] and [[Phuong The Nguyen]]
*[http://www.cs.toronto.edu/~pnguyen/studies/thesis.pdf Bounded Reverse Mathematics] by [[Phuong The Nguyen]]
*[http://www.charlespetzold.com/blog/2008/05/Reading-Brian-Rotmans-Ad-Infinitum.html Reading Brian Rotman’s “Ad Infinitum…”] by [[Charles Petzold]]
*[http://plato.stanford.edu/entries/computational-complexity/ Computational Complexity Theory]

{{Authority control}}

[[Category:Constructivism (mathematics)]]
[[Category:Philosophy of mathematics]]
[[Category:Infinity]]
[[Category:Theories of deduction]]