List of Statements Independent of ZFC

Re:List of Statements Independent of ZFC by new2628 on Wednesday December 18, 2019 @06:26PM (#21830558)

This is a fine and defensible (although not mainstream) viewpoint with several adherents among mathematicians and various levels of success in making it formal and precise.

See e.g. https://en.wikipedia.org/wiki/Finitism

Doron Zeilberger would like to pat you on the back.

[ Parent | on HN ]

Re:List of Statements Independent of ZFC by baddox on Wednesday December 18, 2019 @07:53PM (#21831085)

How do finitists describe the decimal representation of the fraction 1/3?

[ Parent | on HN ]

Re:List of Statements Independent of ZFC by improv32 on Wednesday December 18, 2019 @10:05PM (#21831710)

I don't think finitists have a problem with convergent sequences, they just wouldn't talk about infinities, rather than extending the sequence gets you as arbitrarily to 1/3 as you wish to go

[ Parent | on HN ]