Viewing profile — 30ss
30ss
HN member- Joined
- Sun, Dec 13, 2009, 4:28 PM UTC
- HN karma
- -1
- Public activity
- 2 items
- HN profile
- View on Hacker News ↗
About 30ss
No profile information was provided.
Recent public activity
-
comment
Comment #2766346
Microsoft-
-
comment
Comment #992868
Your reasoning is correct, so it means that integers are not definable inside "real arithmetic". http://en.wikipedia.org/wiki/Real-closed_field If you don't believe this, try writi…