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

would it be something like this:

  if "setup by the NSA" then "goto fail"
I can think of a q that disproves p then!

  not goto fail.
problem is

  goto fail.
since q is true, p is either false or true, with no distinction either way. So... impossible to prove.


Nope. P is "the nsa is responsible for goto fail".

A possible q could be "someone from nsa communicated with someone from apple"

Another possible q could be "goto fail was introduced on purpose"

These specific qs might be difficult/impossible to disprove, but that doesn't mean that there is no q we can disprove.




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

Search: