Jean Abou Samra (new account) on Nostr: nprofile1q…fw8t5 It also works in math, as I've just tested on these slides. This ...

nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyry2ysn5av9pr8m76kgpggcflz294t0pr9shd99kh8redys7ku0xkefw8t5 (nprofile…w8t5) It also works in math, as I've just tested on these slides. This is the relevant fragment of the code:

Intuition: Represent $r ∈ ℝ$ by $L_#pin(0) := {x ∈ ℚ | x < r}$ and $U#pin(1) := {x ∈ ℚ | x > r}$.

A *Dedekind cut* is a pair $(L#pin(2), U#pin(3))$ such that:

#pinit-arrow(start-dx: -10pt, end-dx: -5pt, end-dy: -15pt, 0, 2)
#pinit-arrow(start-dx: -15pt, start-dy: 3pt, end-dy: -10pt, 1, 3)