Editing Talk:1310: Goldbach Conjectures
Please sign your posts with ~~~~ |
Warning: You are not logged in. Your IP address will be publicly visible if you make any edits. If you log in or create an account, your edits will be attributed to your username, along with other benefits.
The edit can be undone.
Please check the comparison below to verify that this is what you want to do, and then save the changes below to finish undoing the edit.
Latest revision | Your text | ||
Line 31: | Line 31: | ||
: It can be argued that since the "extremely strong" conjecture is obviously a contradiction (as in the logical sense, "a formula that's always false"), thereby, can imply any other formula. That is, if p is always false, then (p->q) for any q is always true. In this sense, if the "strong" version gets proved somehow, you get an inconsistent logical system, in which each and every formula can be proved as true, including those weaker forms. [[Special:Contributions/108.162.215.56|108.162.215.56]] 13:03, 9 February 2014 (UTC) | : It can be argued that since the "extremely strong" conjecture is obviously a contradiction (as in the logical sense, "a formula that's always false"), thereby, can imply any other formula. That is, if p is always false, then (p->q) for any q is always true. In this sense, if the "strong" version gets proved somehow, you get an inconsistent logical system, in which each and every formula can be proved as true, including those weaker forms. [[Special:Contributions/108.162.215.56|108.162.215.56]] 13:03, 9 February 2014 (UTC) | ||
− | This sentence is problematic: "The weak conjecture does not, however, imply the strong conjecture." "A does not imply B" technically means "A and not B" which, I'm sure, isn't what was meant. I | + | This sentence is problematic: "The weak conjecture does not, however, imply the strong conjecture." "A does not imply B" technically means "A and not B" which, I'm sure, isn't what was meant. I'll attempt to add "in any evident way" which I think corrects it. [[Special:Contributions/199.27.133.59|199.27.133.59]] 08:52, 10 July 2014 (UTC) |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− |