Robinson arithmetic
concept
1 mentions
1 recordings
first heard May 2025
last heard May 2025
±0 vs the 6 months before
Formal arithmetic system used as example of consistency
Trend
No mentions in the last 6M.Widen the range to see when Robinson arithmetic was said.
Moments
newest first · ▶ plays the momentCurt JaimungalTheories of Everything with Curt Jaimungal · Curt Jaimungal: Demystifying Godel's Theorem · 5:04 · May 2025
…However, unless you already think knowledge is a single fixed formal system that we are trapped in Robinson arithmetic, say, then it's difficult to see why this would have any implication on our general limitations or lack thereof of knowledge.…
All 1 moments