> Calculo, ergo sum?

Pretty much:

https://en.wikipedia.org/wiki/Church_encoding