Timeline for Sequential definitions of continuity and related classes
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 19 at 14:32 | comment | added | Sam Sanders | @JochenWengenroth In short: the sequential definitions (but not the epsilon-delta ones) have interesting logical properties. Not so short: reverse math is a research program where one identifies the minimal axioms needed to prove a given theorem of ordinary math. There is a certain range of logical systems (hyperarithmetical analysis) that is very hard to capture; sequential definitions greatly help to zoom in on hyperarithmetical analysis. | |
| Apr 19 at 12:33 | comment | added | Jochen Wengenroth | The Lipschitz condition $|f(x)-f(y)|\le L |x-y|$ is so much easier than (uniform) continuity -- why do you want a sequential characterization? | |
| Apr 19 at 12:20 | history | asked | Sam Sanders | CC BY-SA 4.0 |