Comment on Irrational
kogasa@programming.dev 5 months agoGoogle it? Axiomatic definition, dedekind cuts, cauchy sequences are the 3 typical ones and are provably equivalent.
Comment on Irrational
kogasa@programming.dev 5 months agoGoogle it? Axiomatic definition, dedekind cuts, cauchy sequences are the 3 typical ones and are provably equivalent.