Timeline for Is the Law of Excluded Middle an allowed argument in court?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 19, 2023 at 15:51 | comment | added | Mikhail Katz | @Speakpigeon : What do you mean? | |
| Sep 19, 2023 at 15:51 | comment | added | Speakpigeon | Same conclusion. | |
| Sep 19, 2023 at 15:42 | history | edited | Mikhail Katz | CC BY-SA 4.0 |
added 213 characters in body
|
| Sep 19, 2023 at 15:41 | comment | added | Mikhail Katz | "the constructive proof of the EVT theorem assumes the LEM is disallowed" : this may be a misunderstanding. As mentioned in my answer, the EVT does not hold in constructive mathematics, so one cannot talk about a "constructive proof of the EVT". @Speak | |
| Sep 19, 2023 at 15:35 | comment | added | Speakpigeon | Presumably, the constructive proof of the EVT theorem assumes the LEM is disallowed. If so, the judge cannot allow B to use it. Any proof relying on it would have no relevance to A's paper and couldn't justify B's claim that A's paper is absurd. - If the judge is logical, he gives right to A's suit straight away, without hearing the proof. 2. The principle of proof by contradiction is illogical, so any logical judge, which is as judges should be, would in any case disallow the proof on this ground. | |
| Sep 19, 2023 at 11:17 | history | answered | Mikhail Katz | CC BY-SA 4.0 |