Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I have started something at computability.
Mainly I was after putting some terms in organized context. That has now become
which I have included under “Related concepts” in the relevant entries.
You might be interested, my colleague from Zagreb, Zvonko ljazović, is, in an effort of several years, founding an analogue theory of computability of metric spaces (it is not a case of classical computability but a new notion which is defined in similar vain). Most of his papers are not on arXiv, but the two on the arXiv cite them I guess. It would be also interesting if some of his ideas can be related to the persistent homology (which is now having emerging topos theoretic interpretation, I have posted recently to $n$Forum some abstract relating to it).
Thanks for the pointer. I have briefly recorded this at computable set. Need to find time to look into it.
1 to 3 of 3