I’m probably between very strong and extremely strong here. I stopped believing in the reals at some point in the last decade.
Conversation
Replying to
I call that "orthodox computationalist".
In 100 years, the "Reals" will strike people the way angels dancing on the head of a pin do now!
Replying to
I haven't slept well since I realized that we just accept proofs over the reals in statistics and ML without checking to see if they work on computable numbers. Paper related:


