Church numerals in R (or how to prove the existence of natural numbers using the lambda calculus)
One area of math that I’ve always been enamored with is the proof of numbers. The simplicity of the starting …
One area of math that I’ve always been enamored with is the proof of numbers. The simplicity of the starting …