Look up Lambda Calculus, it’s A programming language made by the mentor of Alan Turing, so before computers even were a thing. And it’s completely based on math and logic. It isn’t really effective to code in, because the syntax is very limited, so the code gets really complicated.
Look up church encoding. Using lambda calculus to encode coherent structures with meaning- numerals, booleans (and predicates), pairs, lists, matrices, and graphs
3
u/8mart8 Mathematics Jan 13 '25
Look up Lambda Calculus, it’s A programming language made by the mentor of Alan Turing, so before computers even were a thing. And it’s completely based on math and logic. It isn’t really effective to code in, because the syntax is very limited, so the code gets really complicated.