Timeline for Generalizing a problem to make it easier
Current License: CC BY-SA 2.5
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 1, 2023 at 17:30 | comment | added | Willie Wong | @ToddTrimble: ah, thanks for the clarification. I actually had no idea what the first clause in your comment meant until your response just now. | |
| Jun 1, 2023 at 16:41 | comment | added | Todd Trimble | @WillieWong In case it wasn't clear: that wasn't my question, it was mathwonk's. If you look at the edit history, it should be clear what's going on. :-) | |
| Jun 1, 2023 at 16:09 | comment | added | Willie Wong | @ToddTrimble: for a totally ordered field, the Heine-Borel property is equivalent to Dedekind completeness... so you can just choose your definition so that this task is trivial. :-) | |
| May 8, 2019 at 10:47 | history | rollback | Todd Trimble |
Rollback to Revision 1
|
|
| May 8, 2019 at 10:46 | comment | added | Todd Trimble | mathwonk had edited this question into the text, now removed: doesn't that leave the task of proving a finite interval of the real line is compact? | |
| Nov 2, 2010 at 15:40 | history | edited | roy smith | CC BY-SA 2.5 |
added 91 characters in body; added 22 characters in body
|
| Sep 29, 2010 at 2:46 | history | answered | Omer | CC BY-SA 2.5 |