A colleague asked me how would it define something? And he said it was, you know, it's really hard to write this definition. It was defining some property of sequences, actually infinite sequences. So I wrote the definition and what blew his mind was that it was like a recursive definition just like he was trying to do in math. But because he's what I call trapped inside the box of computational thinking, that never occurred to him.
Leslie Lamport is a computer scientist & mathematician who won ACM’s Turing Award in 2013 for his fundamental contributions to the theory and practice of distributed and concurrent systems. He also created LaTeX and TLA+, a high-level language for “writing down the ideas that go into the program before you do any coding.”
Leave us a comment
Changelog++ members save 7 minutes on this episode because they made the ads disappear. Join today!
Sponsors:
Featuring:
Show Notes:
Something missing or broken? PRs welcome!