Viewing profile — lascargroup
lascargroup
HN member- Joined
- Sun, Jul 02, 2023, 9:27 AM UTC
- HN karma
- 2
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About lascargroup
No profile information was provided.
Recent public activity
-
comment
Comment #46345602
Roughly speaking, Gödel encoded (or “simulated”) the formal part of mathematics within arithmetic (using operations such as addition and multiplication), and constructed a sentence…