top | item 34310930

(no title)

mykhamill | 3 years ago

NJW posits that Real Numbers and Set Theory are based on the notion that it is possible to do an infinite number of calculations which he considers disingenuous.

He highlights in some of his Youtube videos that in respected Math textbooks the definition of real numbers is left vauge.

In his opinion set theory has the same kind of holes the we are expected to accept that we can add an infinite quantity of things to a Set by describing a function or simply having a desciption of the elements of the Set.

discuss

order

syzarian|3 years ago

Within ZFC there are precise models of the real numbers and it’s not at all vague or on a loose footing.

bweitzman|3 years ago

https://www.youtube.com/watch?v=jlnBo3APRlU

The gist of the argument is that addition + other operations on non-computable numbers (which the real numbers contain) require infinite algorithms or something similar (unlike addition on computable irrational numbers which may require infinite work, but the algorithms are finite). You can therefore get situations where, say, the tenths digit in a sum of non-computable numbers is not defined because of potentially infinite carries, and there's no way to determine if the sequence of carries terminates or not. He discusses the problem in the context of different representations of real numbers, including infinite decimals, cauchy sequences, and dedekind cuts etc. This is just the gist of it.

gowld|3 years ago

Maybe not "vague", but "underspecified".

ZFC models the set of real numbers, but only provides a model for a measure-zero amount of specific individual real numbers. It just says "yeah they exist".

People like Wildberger believe that anything that exists in math should have some way of determining its exact value, otherwise, what is "it"?