So you are saying that the two proofs are different, but there is a *third* proo... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		ColinWright on Oct 29, 2024 \| parent \| context \| favorite \| on: When are two proofs essentially the same? (2007) So you are saying that the two proofs are different, but there is a third proof that gives each of the first two as corollaries. So ... the first two proofs are different, then.

lupire on Oct 29, 2024 [–]

That's one opinion. The OP and I have a different opinion.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact