Timeline for Do mathematicicans care about implications where the hypothesis is always false?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 7, 2020 at 14:13 | comment | added | Mauro ALLEGRANZA | If some of the answers below satisfies you, please accept it. | |
| Jul 9, 2020 at 6:06 | comment | added | Conifold | If P is always false the implication P → Q is true for any Q, but that may not be at all obvious. People in number theory prove many theorems assuming existence of odd perfect numbers. If they do not, in fact, exist then those theorems will help proving it eventually, by allowing to derive a contradiction. So no, it does not make sense to restrict implications to those whose premise can be true, in many cases we simply can not tell if it can or not. | |
| Jul 8, 2020 at 17:30 | answer | added | PMar | timeline score: 0 | |
| Jul 8, 2020 at 14:14 | answer | added | Mauro ALLEGRANZA | timeline score: 2 | |
| Jul 8, 2020 at 13:52 | history | asked | Antonios Sarikas | CC BY-SA 4.0 |