Viewing profile — throwaway587468
throwaway587468
HN member- Joined
- Thu, Apr 03, 2025, 3:33 PM UTC
- HN karma
- 1
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About throwaway587468
No profile information was provided.
Recent public activity
-
comment
Comment #43571252
The problem you’re referring to arose precisely due to lack of formalism. It was a problem back when mathematicians were toying with naive set theory, one not based on axioms, but …