formal system
1 statements across 1 episodes · 1 bullish · 0 bearish · 1 people on the record · first statement Nov 14, 2024 by Thomas Hubert · across every show →
Everything said about formal system, oldest first
Nov 14, 2024 positive
Hubert: Automated Formal Proof Checkers Enable Mass Crowdsourced Mathematics
“But if you instead relied on a formal system to check everyone else's work, then You could do a little bit like in astronomy where you could have an amateur kind of living in the middle of maybe nowhere and you, you've never met. And then you wouldn't have to …”