Viewing profile — aragnoil
aragnoil
HN member- Joined
- Thu, Feb 14, 2019, 4:27 AM UTC
- HN karma
- 2
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About aragnoil
No profile information was provided.
Recent public activity
-
comment
Comment #19159690
I'm not sure if he's a finitist or ultrafinitist [1] but the uncountable reals are clearly a problem for him. I'd like to argue for their usage from a "soft" point of view as oppos…