Viewing profile — itscomplex
itscomplex
HN member- Joined
- Thu, Sep 01, 2016, 1:33 AM UTC
- HN karma
- 2
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About itscomplex
No profile information was provided.
Recent public activity
-
comment
Comment #12402684
It is not necessarily representable. By diagonalization, in fact, nat -> nat can be shown to be uncountably infinite. Intuitively, an example nat -> nat function that is uncomputab…