tc · @cappallo
16 followers · 89 posts · Server mathstodon.xyz

Many people's vote for most construct in is \[e^{i\pi}+1=0 \].

Yeah, maybe. But I think a close contender (if you include the realm) is \[ \lambda b.\lambda e.eb \].

This serves as the complete encoding of in , driving home subtler points about and ordered pairs and the primacy of exponentiation over add/mult, both of which have uglier representations.

en.wikipedia.org/wiki/Lambda_c

#lc #mapping #function #lambdacalculus #exponentiation #church #cs #math #beautiful #functionalprogramming

Last updated 2 years ago

tc · @cappallo
15 followers · 83 posts · Server mathstodon.xyz

At risk of pointing out the obvious, here's something that didn't occur to me in these plain terms until last week:

Everyone from little kids on up understands base-10 numbers to one degree or another, and yet decoding place-value requires using , , and in concert.

#exponentiation #multiplication #addition #numbers #arithmetic #school #education #math

Last updated 2 years ago