Timeline for Examples of proofs by making reduction to a finite set
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 29, 2020 at 2:04 | comment | added | ferrari | @LSpice, you're right; I was going to write that he either always does or never does depending on your interpretation. He rejects the notion of infinity, so your initial set of interest would be finite anyways from his point of view... | |
| Sep 23, 2019 at 16:29 | comment | added | LSpice | @ferrari, I don't mean to pick on a typo, but I wonder if I'm missing something. Is the word 'either' really intended in the sentence "… Zeilberger either always proves statements by reduction to finite sets …"? | |
| Sep 14, 2019 at 3:59 | comment | added | ferrari | In some sense, Zeilberger either always proves statements by reduction to finite sets (depending on your interpretation) because he is an ultrafinitist and, in particular, he firmly rejects the very notion of infinity. For instance, see this opinion piece. | |
| S Sep 14, 2019 at 2:18 | history | answered | Timothy Chow | CC BY-SA 4.0 | |
| S Sep 14, 2019 at 2:18 | history | made wiki | Post Made Community Wiki by Timothy Chow |