SanguineEmpiricist comments on Open Thread, Jun. 8 - Jun. 14, 2015 - Less Wrong Discussion
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (153)
I recently stumbled upon the Wikipedia entry on finitism (there is even ultrafinitism). However, the article on ultrafinitism mentions that no satisfactory development in this field exists at present. I'm wondering in which way the limitation to finite mathematical objects (say a set of natural numbers with a certain largest number n) would limit 'everyday' mathematics. What kind of mathematics would we still be able do (cryptography, analysis, linear algebra …)?
Bishop built real analysis constructively right? Jayne's probability theory is from finite sets as well.