3 ms·
> impossible to prove the absence of something. If p => q, then ¬q => ¬p. So if p is "The goto fail was setup by the NSA", then surely we can come up with a re
by GuiA 13y ago
> impossible to prove the absence of something.
If p => q, then ¬q => ¬p. So if p is "The goto fail was setup by the NSA", then surely we can come up with a reasonable q which could be (dis)provable?
- GhotiFish 13y agowould 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.
- jakobe 13y agoNope. 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.