/sci/ - Science & Math

>>12167396
>I don't know what that is.
Computability theory but with streams instead of encodings into finite object. I.e. you can speak about effective results of real number computation that go a tad beyond encodings or real numbers into integers. It's sort of a hard subject imho
https://en.wikipedia.org/wiki/Computable_analysis