Formal System
topic on 1 show · 1 statements across 1 episodes
1 statements about Formal System, every show
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 …”