(July 5, 2019 at 1:33 am)A Toy Windmill Wrote:(July 4, 2019 at 6:46 pm)Jehanne Wrote: The proof of the irrationality of the square root of 2 by contradiction is what I had in mind, anything but finitism in my opinion.That proof looks straightforwardly finitistic to me. Where do you think it requires quantification over all the natural numbers?
![[Image: q1.gif]](https://www.math.utah.edu/~pa/math/q1.gif)