-
Epsilon‑delta vs. alternative rigorous approaches
Many commenters wrestle with the difficulty of the traditional ε‑δ definition and discuss whether non‑standard analysis, dual numbers, or synthetic differential geometry offer a clearer path.jey: “I did not like, and did not understand, epsilons and deltas.”
xyzzyz: “The so-called 'nonstandard analysis' hasn't caught on, because it's mostly the exact same arguments wrapped in slightly different language…”
saithound: (provides a non‑standard proof of the intermediate value theorem) “Saying that it's the same arguments repackaged in a different language is just wrong…” -
Bourbaki/formal style written for researchers, not students
The discussion repeatedly cites Serre’s own remarks that Bourbaki’s austere style targets specialists, echoing his view that he writes for mathematicians, not learners.bananaflag: “Serre's reply was 'But we never wrote those books for students! We wrote them for researchers to have a handy reference for all proofs of basic results.'”
nxobject (footnote): “I write for mathematicians, not for students.”
robotpepi: “He later participated in Bourbaki, who were known by their overly formal style.” -
Historical anecdotes and personal appreciation of mathematicians’ styles
Contributors share entertaining stories and reflections that humanize figures like Serre and Euler, highlighting the joy found in their work beyond formalism.einpoklum: “I also like how Serre wrote a book on linear representations of symmetry groups, because his wife needed a good exposition … Serre described that as 'fulfilling his duty as a husband' :-P”
kkylin: “Euler was a master manipulator of formal expressions; don't think it bothered him very much whether, e.g., an infinite series converged or not.”
andrenarchy: shares the European Mathematical Society interview celebrating Serre’s centenary.
Jean-Pierre Serre turns 100
📝 Discussion Summary (Click to expand)
🚀 Project Ideas
Epsilon-Delta Explorer
Summary
- An interactive web app that visualizes epsilon‑delta definitions of limits, continuity, and derivatives using sliders and real‑time graph feedback.
- Core value proposition: turn an abstract, frustrating formalism into an intuitive, hands‑on experience for students struggling with calculus.
Details
| Key | Value |
|---|---|
| Target Audience | Undergraduate calculus students, self‑learners, educators |
| Core Feature | Drag‑able ε and δ sliders that instantly highlight the satisfying region on a function graph, with guided challenge mode |
| Tech Stack | React, D3.js (or Plotly), TypeScript, hosted on Vercel/Netlify |
| Difficulty | Medium |
| Monetization | Hobby |
Notes
- HN commenters lamented that “epsilons and deltas turned me off of math for a few years” (jey) and asked for a better way to explain the concept (zahlman). This tool directly addresses that pain.
- Provides a concrete way to experiment with the formalism, encouraging discussion on alternative pedagogical approaches and potential integration into MOOCs or textbooks.
ProofShift
Summary
- A community‑driven platform where users can submit and compare alternative rigorous proofs (e.g., nonstandard analysis, synthetic differential geometry, dual numbers) alongside standard epsilon‑delta proofs.
- Core value proposition: crowdsourced library of diverse proof styles that lets learners see multiple pathways to the same theorem, reducing the feeling of being “stuck” with one formalism.
Details
| Key | Value |
|---|---|
| Target Audience | Math students, curious autodidacts, researchers interested in expository writing |
| Core Feature | Side‑by‑side proof viewer with voting, comments, and tagging by approach (NSA, SDG, etc.) |
| Tech Stack | Node.js/Express backend, PostgreSQL, React frontend, Markdown/LaTeX rendering (KaTeX) |
| Difficulty | Medium |
| Monetization | Hobby |
Notes
- saithound defended nonstandard analysis as genuinely different, not just repackaged, and asked for examples (saithound). gucci-on-fleek pointed to a well‑regarded NSA textbook. ProofShift would host such examples, satisfying the demand for varied rigorous presentations.
- Encourages discussion about which approaches are more accessible, echoing the thread’s debate over Bourbaki style versus Euler’s intuitive style.
DualLearn
Summary
- An educational library and tutorial series that teaches automatic differentiation using dual numbers, framed within synthetic differential geometry, with interactive notebooks and visualizations.
- Core value proposition: bridges the gap between abstract infinitesimal reasoning and practical AD, giving students a concrete, intuitive tool that also deepens theoretical understanding.
Details
| Key | Value |
|---|---|
| Target Audience | Students of calculus, numerical analysis, machine learning practitioners |
| Core Feature | Interactive Jupyter‑style notebooks that let users manipulate dual numbers, see Taylor expansion truncation, and visualize nilpotent behavior |
| Tech Stack | Python (NumPy, SymPy), JupyterLab, React for optional web UI, deployed via Binder or GitHub Pages |
| Difficulty | High |
| Monetization | Revenue-ready: Subscription (institutional licences + premium exercises) |
Notes
- Nesco and sheafification highlighted how dual numbers are “violently smaller” than NSA infinitesimals and make Taylor expansion exact, expressing enthusiasm for nilpotent approaches (Nesco, sheafification). DualLearn would turn this enthusiasm into a learnable resource.
- Provides practical utility (AD is widely used in ML) while satisfying the theoretical curiosity expressed in the HN thread, likely sparking discussion about synthetic differential geometry’s pedagogical value.