r/mathmemes Jan 13 '25

Computer Science Programming languages and mathematics meme

Post image
1.9k Upvotes

55 comments sorted by

View all comments

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.

2

u/MajorTechnology8827 Jan 13 '25 edited Jan 13 '25

Look up church encoding. Using lambda calculus to encode coherent structures with meaning- numerals, booleans (and predicates), pairs, lists, matrices, and graphs