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.
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
Show replies