Weierstrass's Monster

Implementation, Code, and Audio Experiments

  • Commenters share simple implementations of Weierstrass-type series in Python and TypeScript.
  • The function’s graph looks like an audio waveform; people experiment with sonifying it and share YouTube examples.
  • Observations: audio only reflects finitely many series terms (band-limited spectrum); one can swap the “audible” part with another signal (e.g., Chopin) while keeping a nowhere-differentiable function mathematically.

Counterexamples and Pedagogy

  • Multiple “counterexamples in analysis/topology” books are recommended; Weierstrass appears prominently alongside many related constructions.
  • Some praise these examples as essential for understanding why theorem hypotheses matter; others feel it can start to feel like “cheating.”
  • There is discussion of rigorous proof culture, especially in French education, and how such counterexamples historically pushed math toward greater rigor.

Other Pathological Functions and Constructions

  • Frequently mentioned: Dirichlet function, its “continuous only at 0” variant, Thomae’s (popcorn) function, Cantor function (Devil’s staircase), indicator functions of Cantor sets, Conway base-13 function, discrete metric, Schwarz lantern, staircase paradox, Gabriel’s horn.
  • Several people note that “most” continuous functions are nowhere differentiable (via Baire category), making Weierstrass typical rather than exotic.

Computability, Measure, and Foundations

  • One view: because non-computable reals dominate (full measure, uncountable), most wild examples are “nonexistent” computationally and of dubious practical value.
  • Corrections: computable reals form a countable, measure-zero subset; all reals used in practice so far are computable.
  • Long subthread debates Cantor’s diagonal argument, different infinities, density of rationals, separability, and whether future mathematics might reject some current axioms.
  • Constructivist perspectives appear, questioning classical cardinality arguments but noting that Weierstrass itself is constructively well-behaved.

Intuition, Limits, and Geometry Paradoxes

  • Several users discuss intuition-breaking examples: the staircase paradox, shapes with fixed perimeter but varying area, convergence modes (pointwise vs uniform vs weak*), and non-continuity of “perimeter” under limits.

Applications and Miscellany

  • Brownian motion and related stochastic models (e.g., Langevin dynamics) are cited as real-world uses of nowhere-differentiable paths.
  • Mentions of fractal interpolation functions, functions with first but not second derivatives, and questions about integrability of “random” functions and the role of the axiom of choice.