Extensional Taylor Expansion Advances Lambda Calculus Theory

Researchers introduced an extensional resource term calculus with infinite eta‑long expansion but finite syntax; its normalized Taylor expansion matches H*, the lambda‑theory. getnews.me/extensional-taylor-expan... #lambdacalculus #taylorexpansion

Day 24 of ‪Ayliean's @ayliean.bsky.social‬
#MathArtMarch thread
Two pairs of #equal #equations:
y=sin(x) equals y=x-x³/3!+x⁵/5!-...+x^(2n-1)/(2n-1)!
y=cos(x) equals y=1-x²/2!+x⁴-...+x^(2n)/2n!
See ALT, please!
#mathematics #trigonometry #sine #cosine #Taylorseries #Taylorexpansion #Euleridentity

Teaching #Calculus:
#ChainRule —> Off The Chain Rule
#TaylorExpansion —> Taylor Gang Expansion