undefined | Better HN

0 pointsblack_knight4d ago0 comments

It could be that RH is independent of current mathematical axiom systems. We might even prove that it is some day. But that means we are free to give it different truth values depending on the circumstances!

This is also true for established theorems! We can can imagine mathematical universes (toposes) where every (total) function on the reals is continuous! Even though it is an established theorems that there are discontinuous functions! We just need to replace a few axioms (chuck out law of the excluded middle, and throw in some continuity axioms).

0 comments

necovek4d ago

What frequently happens when we recombine axioms like that is that they end up leading to inconsistencies or contradictions.

Do you know if this topos with every total function on real numbers is continuous has been constructed and proven to be a viable set of axioms? If so, I am curious about the source.

My go to example still remains the one of hyperbolic geometry and axiom of parallel lines, so the more approachable examples I can get, the better.

black_knightOP4d ago

Sure. These toposes are well known, and proven to be consistent (relative to set theory). For instance Hyland’s effective topos, or Johnstone’s topological topos. The ideas are that these toposes either require everything to be computable, or continuous in some greater sense.

There is also this blogpost by Amdrej Bauer, which can be seems as exploring how it is to be such such a topos: https://math.andrej.com/2006/03/27/sometimes-all-functions-a...

golol4d ago

I think based on the class of problem that RH is an independence result is not something that "really happens".

j / k navigate · click thread line to collapse