News for hackers. Stuff that matters.
Re:“Computer science is not about computers” by antonvs on Sunday May 30, 2021 @10:50PM (#27339508)
> They may be easier to reason about than lambda calculus

That was a claim someone made, but it turned out to be a misunderstanding, and is incorrect.

I've covered this here: https://news.ycombinator.com/item?id=27338055 (see the parent comment for quotes from Godel & Church that I'm referring to.)

There are no comments on this comment yet.