Timeline for Is it possible to have a research career while checking the proof of every theorem that you cite?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 16, 2016 at 12:13 | comment | added | David Fernandez-Breton | But then you'd have to verify that there are indeed no bugs in the type checker, if you really want to be completely sure... | |
| May 5, 2016 at 18:56 | comment | added | Manuel Bärenz | I guess Voevodsky's foundations are guided by the hope of not having to understand all the proofs yourself, but let tne computer check them. You can safely trust a constructive proof verified by a computer (given no bugs in the type checker). Trouble is, very little is actually verified. | |
| S May 4, 2016 at 9:56 | history | answered | Daniel Moskovich | CC BY-SA 3.0 | |
| S May 4, 2016 at 9:56 | history | made wiki | Post Made Community Wiki by Daniel Moskovich |