|
|
|
|
|
|
by throwaway5752
3359 days ago
|
|
|
I've taken a minor personal interest in some of Ramanujan's more quickly converging sequences for pi. Giving myself a crash course in computable analysis/computable reals. Wish there was more out there about them (particularly limitations vis a vis traditionally defined reals). |
|
|