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
Yeah probably!
1
2
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
I'll try to scan it tomorrow; it's at my office.
1
5
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
Ahh, that's a shame – it's cool history. But yeah, understandable I guess.