Re:When are two proofs essentially the same? (2007)
by drpossum on Wednesday October 30, 2024 @11:01AM
(#41995708)
I hadn't noticed, but it's a free board.
Re:When are two proofs essentially the same? (2007)
by tightbookkeeper on Wednesday October 30, 2024 @11:06AM
(#41995780)
I only noticed because I was perplexed by the comment.
If I’m hitting this issue at random, others are hitting it too.
He doesn’t say this.
> NOT the same as the "isomorphic equivalence" which is more difficult, strict, and abstract.
This is what the exercise is about. So I would recommend reading before making assumptions.
Of course there are more than one definition of equivalence and isomorphism, but the one explored there is just as interesting as the comment I’m replying to.
drpossum you stop with these gotcha posts? This is our 3rd encounter.