196

16224 readers

3935 users here now

Be sure to follow the rule before you head out.

Rule: You must post before you leave.

^other^ ^rules^

founded 1 year ago

MODERATORS

[email protected]

229

I give back what I recieve just as the law requires (lemmy.dbzer0.com)

submitted 1 year ago by [email protected] to c/[email protected]

38 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[–] [email protected] 1 points 1 year ago

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.