## (2,5): The Second Names of /dev/zero > _So why do I mention these mathematicians in particular? Because their students really became computer science._ > -Andrew Appel, Turing, Gödel, and Church at Princeton in the 1930s. 0: So, after Cantor. 1: Infinity guy. 0: And Russell. 1: Guy with the paradox. 0: And Hilbert. 1: Guy with the problems. 0: Exactly. Problem 2 was to prove that basic arithmetic is consistent. 1: What was the other one? 0: Problem 10. To come up with _any algorithm_ to solve some specific question about Diophantine something-or-other polynomials. 1: Sounded boring, was sort of fun. 0: Was also sort of boring! But fortunately it turned out to be impossible. And to even get started on proving that _no algorithm whatsoever_ exists that can do a thing, first you have to figure out a definition of "any algorithm whatsoever." 1: Starting to feel like programming! 0: Exactly. All the pieces are in place for the beginning of a field. 1: Finally. 0: Like I promised, everything after this is gonna be "programming." 1: Get to it! 0: Ok so. After Cantor and Russell, mathematics knows it's in trouble. Hilbert has just made his "call to arms." A rallying cry for everyone in the field to come together and work on the foundations. 1: Enter the foundational people. 0: Yep. The first developers in history. This next part of the story is where Our Story begins. 1: What year is this again? 0: 1900. 1: Got it. So who's the first one? 0: There are three. 1: Three? 0: Yep. Three main characters who are gonna end up creating the field we now call computing. 1: Got it. Three main characters. 1900. What do they do first? 0: Nothing. 1: What? 0: They weren't born yet. 1: WHAT? 0: It's ok, we just need to fast forward a bit. 1: _(On edge)_ Zero... 0: Remember this picture from last time? ![[trinity-1-god-church-martyr.png]] 1: I swear if you go back to bible stuff I'm gonna--- 0: That's our three main characters. Here, look. ![[trinity-3-names.png]] 1: Oooh got it! Totally on board! 0: Really? You don't have any objections or questions or snarky remarks? 1: No, I'm just happy we're finally getting to programming. 0: I'm gonna need at least ONE question from you before we go any further. 1: Zeroooo come oooon. 0: I mean I just made a pretty strong claim! You're usually the one who checks me on this stuff. 1: What do you want from me? 0: Have you ever heard anyone else claim that these specific three people are the first developers or the founders of the field we call computing? 1: Well everyone says Turing. The people who like functional programming seem to like Church. And I've never heard anyone say Gödel was one of the first people in computing but we saw that code a while back and I can believe it. 0: Push back a little more. 1: What do you want from me? 0: Why these three people? Why not just two of them? Or four? Or twenty? 1: You want me to ask those questions? 0: At least act a bit skeptical. I've grown kind of accustomed to it. 1: _(Pretending to be skeptical)_ "Why these three people?" 0: Good question! 1: It was your question. 0: Still, it was good. 1: GET TO IT! 0: Ok so, these three people are the best candidates for the founders of our field, because: 1. They were the three people who each independently tried to come up with a general definition of what it means to be "computable." Their three definitions were wildly different, completely unrelated on the surface. One of them hated the other guy's definition so much that he was more willing to abandon his own idea than accept the other guy's. But eventually, all three definitions turned out to be equivalent. That's the #1 most important way that we as a field learned that our definition of "computable" wasn't arbitrary. It wasn't something we invented. It was something we _discovered_. And on another planet or in another universe, the definition of "computable" would be the same. That three way equivalence is the foundation of our field. 1: Woah. That's pretty amazing. Did you mean to make a numbered list with only one item or is there more? 0: There's more. 2. These three characters also deserve equal status as members of the /dev/zero trinity because they each, independently -- in the course of trying to define "computing" or in the course of related work in the five year period that led up to it -- created, ex nihilo, the following specific things: ![[trinity-4-firsts.png]] 1: Oooooooh! 0: Now I'm not entirely happy with the term "hardware" there. The point of Turing's paper had nothing to do with the physical mechanism of the device he described, and whenever we get distracted even for a few moments by words like "infinite tape" or make caveats that "Turing machines are not a practical model of computation," we're largely missing the point. Turing's paper was so significant because it was really about how a _human being_ with a pencil and paper can _behave mechanically_ by following mindless instructions, while at the same time clearly having all the same capacities that an arbitrary human mathematician has. In that sense his paper was much more about showing that any computation a mathematician can perform can be performed without intuition, simply by making marks on paper while in a given metal state, where a mental state is defined as any contextual way of behaving differently throughout the computation, and if we allow any finite number of mental states, we can capture any well defined computation without requiring intuition or flashes of insight or the ability to read English or any of the other abilities a human mathematician has. But leaving the details of that story for later, for now we can safely say that our three protagonists fit here: ![[trinity-5-roles.png]] 0: The machine bit is only one of three. Because remember, we aren't just "machine people." 1: Definitely. 0: We spend most of our time with the "languages" after all. 1: Programming languages? 0: Yep. Using them. Fighting with them. Learning them. 1: Of course. 0: And like we heard before, the foundational people started as an odd culture -- mostly in math departments, sometimes in philosophy but never fitting in -- who distinguished themselves from their colleagues by being primarily interested in a certain kind of object called a language. 1: Sounds familiar. 0: Artificial languages. But extremely precise. Ones that no one speaks. 1: Get on with it. 0: And that culture pre-dates the existence of physical computing machines. 1: Took you awhile to get here but I'm convinced. 0: Before the machines were physical, the language _was_ the machine. During that era, formal systems were both the programming language and the machine. Formal systems feel as different from "normal mathematics" as computing feels today. Like computing, using a formal system involves convincing a non-human mind. One with much more strict rules than any human mathematician. 1: Is there a point to this? 0: Yes. That even though we aren't the mathematicians -- culturally speaking -- the beginnings of our culture took place on paper, not in machines. 1: So how did it begin? 0: In three year intervals. 1: What? 0: In 1903, 1906, 1909, 1912, our main characters were born. 1: How can three people have four birthdays? 0: Trinities are known to be full of mysteries. Let's stick to the story and not get sidetracked for now. You've been patient enough. 1: Thank you. So what happened in 1903? 0: A child was born. goto: [[lost+found/3/1]]