math is a programming language in disguise 🌚

@M1sf3t programing languages are math in disguise 😃

Probably the most logical language ever including the Human languages

@asgs since when human language is logical?

@Ranchu Terrible opinion.

@sudo-woodo hm, I like my opinion.

Programming languages are math in costumes

@dmonkey since when? I have the same question. I didn't know human languages were logical until you asked

Programming is applied mathematics.

@M1sf3t @rubbiekelvin Everything is math in disguise.
"Math is the language in which God wrote the Universe" - Galileo

@OneOfSimpleMind

A statement for which he was imprisoned until his death bc, lol, #Blessed

@SortOfTested Glad to hear he wasn't chased and fed to the lions. 😂

*laughs in Curry-Howard isomorphism*

Anyone trying to write a transpiler from math to any real programming language (inlcuding Haskel or coq), knows, that math is something else.

Math isn't even a single language.
It is a set of languages for expressing relations and interactions of things and concepts by and for humans.
Parts of some languages of that set actually have been incorporated into almost all programming languages (basic arithmetics, boolean logic) though.

@Oktokolo

Curry-howard isomorphism twice in two posts. It is a good day.

@Oktokolo that's actually a really interesting problem, going back to the constructivist approach to logic and the various programs by people like Frege and Hilbert to have a rigorous analytical basis of mathematics (which survives in modern form, after the Godel nerf, in terms of things like type theory research).

You can get surprisingly far with very little and the deep connections between proofs and types mean that programming languages can actually encode a fascinating amount of stuff.

@Ranchu Think maybe you have that backwards?🤔

(Multiplication at exponential rate)

@hjk101 RREEEEEE

Idk man math is like the command line of the universe. Just wait till we find the console.

My math skills are near non-existent but I'm quite good at programming... 🤔

Programming Tool*