A reader brought up essentially this question: does anyone happen to know a proof that does not possess an elementary antiderivative? By “elementary”, I mean a member of the class of functions which contains all constants valued in the complex numbers, the identity function, the exponential and log functions, and closed under the four basic arithmetic operations and composition.
Our other blog
- 272,990 hits
- Mason-Stothers Theorem and the ABC Conjecture
- Integration Bee, Challenging Integrals
- Analyzing the hairy ball theorem
- Problem-Solving Hall of Fame!
- Solution to POW-10: Another hard integral?
- Stolz-Cesàro Theorem
- POW-12: A graph-coloring problem
- Platonic Solids and Euler's Formula for Polyhedra
- Continued fraction for e
- Solution to POW-5: A “hard” integral!
- Abstract Algebra
- Algebraic Geometry
- Boolean Algebra
- Category Theory
- Category Theory for Beginners
- Elementary Math Problem Solving
- Geometric Algebra
- Math Conferences
- Math Topics
- Mathematical philosophy
- Naive Set Theory
- Philosophy & Logic
- Posets and Lattices
- Problem Corner
- Problem of the Week (POW)
- Propositional Calculus
- Some theorems
advice andreescu Aussonderungsaxiom Axiom of Extension Axiom of pairing axiom of powers Axiom of Specification axiom of unions blog Boolean Algebra career carnival of mathematics Category Theory chess complements continued fractions definite integrals elementary emil artin empty set Exposition Fermat's Last Theorem Geometric Algebra golberg hard integral Harvard College Mathematics Review heyting algebra identities identity inclusion-exclusion principle Inequality integration integration bee intersections Invariant lattices log love mason-stothers theorem math mathematical Mathematical Reflections mathematics math puzzle naive set theory noah snyder number oleg Oxford Paul Halmo Paul Halmos Polya polynomial power set prime principle of duality problem Propositional Calculus propositional logic puzzle reflections russell's paradox Simon Singh singleton stone duality Szego Tao Terence Terry Tao theory titu topos theory universe Valentine's day Yakov Perelman