Re:Why don't more physicists subscribe to pilot wave theory?
by MichaelBurge on Saturday December 17, 2016 @10:05AM
(#13200941)
> I also think NSA has a naming problem. By its very name, how can it ever be standard?
"Nonstandard" isn't referring to how people view the field, but to additional elements you add to the model. Just to throw out a weird example, here's Edward Nelson's text on the subject:
"Theorem 4. There is a finite set that contains every standard object."
That is, in Nelson's system, the set of standard natural numbers is finite. That finite number is a nonstandard natural number, larger than any standard natural number.
Mixing "nonstandard"(in the sense of an undefined predicate added to the base logic) with "nonstandard"(in the sense of some professors thinking it's weird) is a type error.
"Nonstandard" isn't referring to how people view the field, but to additional elements you add to the model. Just to throw out a weird example, here's Edward Nelson's text on the subject:
https://web.math.princeton.edu/~nelson/books/1.pdf
"Theorem 4. There is a finite set that contains every standard object."
That is, in Nelson's system, the set of standard natural numbers is finite. That finite number is a nonstandard natural number, larger than any standard natural number.
Mixing "nonstandard"(in the sense of an undefined predicate added to the base logic) with "nonstandard"(in the sense of some professors thinking it's weird) is a type error.