Timeline for Examples of proofs by making reduction to a finite set
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 15, 2019 at 13:59 | comment | added | Timothy Chow | But see this MO question for a discussion of whether it's reasonable to think of the proof as reducing the theorem to a finite computation, which is then carried out. | |
| S Sep 14, 2019 at 17:47 | history | answered | lhf | CC BY-SA 4.0 | |
| S Sep 14, 2019 at 17:47 | history | made wiki | Post Made Community Wiki by lhf |