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

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.



That'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.




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

Search: