Voevodsky is not the only one who hopes for a proof of inconsistency (as mentioned in Dick Palais's answer): see Conway and Doyle's Division by Three, bottom of page 34, where they express the same kind of skepticism as Nelson.
Todd Trimble
- 53.3k
- 6
- 205
- 322