3 ms·
I don't think you know how circular logic, or proof by contradictions work. If you could indeed derive 1=0 from H, then that would indeed by reason to dismiss
by Tainnor 4y ago
I don't think you know how circular logic, or proof by contradictions work.
If you could indeed derive 1=0 from H, then that would indeed by reason to dismiss H, but you can't just "consider" 1=0, you have to prove it from H.
- GoblinSlayer 4y agoThat's the point, B=H(B) doesn't follow from H, it's a new independent construct, so you need an independent proof of its validity.