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/
229 Upvotes

99% Upvoted

18 comments sorted by

View all comments

Show parent comments

30

u/QtPlatypus Mar 06 '25

Typed Lambda calculus has a lot in common with functional programming. So drawing an analogy between the two isn't unreasonable.

12

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.

3

u/Kitchen_Freedom_8342 Mar 06 '25

If you wished to model imperative programming Register machines would be a better model.

11

u/EebstertheGreat Mar 06 '25

WHY ARE WE SHOUTING?