What is...the else function?
HTML-код
- Опубликовано: 7 июл 2024
- Goal.
I would like to tell you a bit about my favorite theorems, ideas or concepts in mathematics and why I like them so much.
This time.
What is...the else function? Or: Counting else.
Seems like the theorem in the video has not been proven yet! Anyway, the numerical evidence is persuasive so I count it as a theorem :-)
Disclaimer.
Nobody is perfect, and I might have said something silly. If there is any doubt, then please check the references.
Slides.
www.dtubbenhauer.com/youtube.html
TeX files for the presentation.
github.com/dtubbenhauer/My-Te...
Thumbnail.
A picture of else. What else could it be?
Main discussion.
arxiv.org/abs/math/0005008
dl.acm.org/doi/10.1145/141182...
Section 5.8 from vignette.wikia.nocookie.net/m... (this is Mathematical Constants - S.R. Finch)
mathworld.wolfram.com/Takeuch...
mathworld.wolfram.com/Takeuch...
oeis.org/A143307
Background material.
en.wikipedia.org/wiki/Lisp_(p...)
en.wikipedia.org/wiki/Recursi...)
en.wikipedia.org/wiki/Recursion
en.wikipedia.org/wiki/Computa...
en.wikipedia.org/wiki/Functio...)
en.wikipedia.org/wiki/Bell_nu...
arxiv.org/abs/cs/9301113
Computer talk.
mathematica.stackexchange.com...
craftofcoding.wordpress.com/2...
Pictures used.
en.wikipedia.org/wiki/Recursi...
Picture from en.wikipedia.org/wiki/Recursi...)
upload.wikimedia.org/wikipedi...
Picture from oeis.org/A000651
Picture from arxiv.org/pdf/math/0005008.pdf
en.wikipedia.org/wiki/Bell_nu...
Picture from en.wikipedia.org/wiki/Lisp_(p...)
RUclips and co.
• Recursion in Programmi...
• What Is Recursion - In...
#combinatorics
#computerscience
#mathematics
Super interesting stuff! I wonder how you'd go about proving the formula. Have you ever looked into recursion schemes? I'm a computer scientist, so recursion is basically my butter (with functions as data being my bread xD)
Welcome, I am glad that you liked it ☺
Maybe looking at this paper helps? arxiv.org/abs/math/0005008
@@VisualMath That's exactly what I was looking for! Thank you very much
@@superbaggybaggy5885 You are very welcome!