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

I guess I should have said that you pick as your new axiom a statement that you couldn't prove and also couldn't disprove. Though I'm not sure if even that is the same as logical independence, which is what you really want.


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

Search: