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

P ^ not P => _|_

The axioms of a logic that are consistent will definitely not let a statement be true and false at the same time.



Those axioms do not have a basis other than observations at human scale.


They have a basis in the formal scale. The cool thing about formal logic is that it's all about physical changes.

Now, the meaning of the statements is definitely human, but the proofs go beyond




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

Search: