(July 7, 2019 at 6:22 am)A Toy Windmill Wrote: I'm confident that the standard rational sequence whose squares converge to 2 is finitistically provably such. Again, this isn't as much as a classical mathematician can assert today, which is that there is a unique positive object which squares to 2 in any interpretation of the axioms of closed ordered fields, of which Dedekinds cuts are an example.
Your ticket to fame, perhaps? On the other hand, Mike Pence once said on the floor of the United States Senate that he believed that Science would someday vindicate ID. "Someday" is, of course, a long, long time.
