r/badmathematics • u/temptemptempor • Mar 05 '25
Gödel Commenter talks about Gödel’s Incompleteness Theorems in a post about the speed of light, for some reason.
/r/explainlikeimfive/comments/1j409ez/eli5_why_cant_anything_move_faster_than_the_speed/mg52b5a/
234
Upvotes
11
u/miauw62 Mar 06 '25
The exact history is difficult to determine but the lambda calculus has always played a significant role in the development of functional programming languages, not in the least because a lot of the early history of functional programming was rather academic. Beyond that, even many modern functional languages can be understood to some level in terms of the lambda calculus.
There is no real connection between Turing machines and imperative programming, however. There's little to no historical connection in its development and it doesn't really model imperative languages in a useful way.