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

What on earth do you mean by prove, If not within a system of proof?

You can prove the consistency of PBA, But you cannot prove that you cannot prove the inconsistency of PBA, because The inability to do both is the definition of consistency in the larger system.



But it's not really relevant for anything to be able to prove that you cannot prove the inconsistency.




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

Search: