253
I give back what I recieve just as the law requires
(lemmy.dbzer0.com)
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
this post was submitted on 12 Aug 2023
253 points (100.0% liked)
196
16423 readers
1955 users here now
Be sure to follow the rule before you head out.
Rule: You must post before you leave.
founded 1 year ago
MODERATORS
there actually is a way to represent the reals with full generality in homotopy type theory -- work is still on-going to implement it in a real programming language/prove type checking is decidable, but the theory is already in place -- via Cauchy sequences.