tag:blogger.com,1999:blog-8072464059979174136.post4345258769574809596..comments2014-07-31T16:06:22.996-07:00Comments on don't count on finding me: Decidable equalityheisenbughttp://www.blogger.com/profile/11328338875953258337noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-8072464059979174136.post-55053692831670578902013-01-04T20:17:37.490-08:002013-01-04T20:17:37.490-08:00I really like this explanation. I've been both...I really like this explanation. I've been bothered by the asymmetry between proofs of truth (just a simple construction) and proofs of falsehood (a function). Here, you're arguing that both are functions -- it's just that the proof for truth simplifies.Richard Eisenberghttp://www.blogger.com/profile/12499424057368554905noreply@blogger.com