What are some of your favourite papers that have bugs in their proofs?
Mine is "An intuitionistic theory of types" (with Type : Type). I have a signed physical copy that was saved from the trash.
Conversation
where can the uninitiated read details of this famous proof bug?
2
3
It's difficult to find a digital version. I've only found the corrected version. Maybe I should scan it.
2
7
Nice! Would be super cool to have it scanned and pushed to that collection, if possible! Seems like a lot of stuff has been tracked down.
1
5
Show replies