Viewing profile — myren
myren
HN member- Joined
- Thu, Sep 14, 2017, 8:45 AM UTC
- HN karma
- 2
- Public activity
- 2 items
- HN profile
- View on Hacker News ↗
About myren
No profile information was provided.
Recent public activity
-
comment
Comment #15246224
"If there really are an infinite number of natural numbers then some of them must be of a transfinite number of digits or else you would be including numbers in the list more than …
-
comment
Comment #15246091
I don´t think this is an alien that applied downwards Löwenheim-Skolem to the reals. Rather I think this is an alien which applied upwards Löwenheim-Skolem to peano arithmetic. I t…