Comment by contraposit

I also liked the one on lambda calculus. I hope one day we will be able to find interpretation of what it actually means for PLUS Times Plus. Maybe this is how we will explore nonstandard arithmetic.

What is PLUS times PLUS?

https://www.youtube.com/watch?v=RcVA8Nj6HEo