Email Gateway (Aug 18 2022 at 12:22): Email Gateway (Aug 18 2022 at 12:22):From: Tobias Nipkow <nipkow@in.tum.de>
In case you enjoy mathematical puzzles: I have added a new article
"Fun With Functions" to the development version of the AFP:
http://afp.sourceforge.net/devel.shtml
This is a small collection of cute puzzles of the form:
Show that if a function satisfies the following constraints,
it must be ...
Most of them come from Terence Tao's delightful "Solving Mathematical
Problems".
It is meant to be an evolving collection!
Please contribute further examples!
Tobias
Last updated: May 03 2024 at 04:19 UTC