## (4,2): Names and Numbers > Steve Kleene: Then Gödel arrived on the scene--- ### Or: Gödel's First Exodus 1: What scene? 0: Church. ### Or: Gödel goes to Church 1: What? 0: Princeton. He goes to visit Church and Kleene. --- ## This definitely goes somewhere, now that we have Humpty Dumpty Model Theory > Steve Kleene: and there must have been discussions between Church and Gödel, and I don't know how ready Gödel was to embrace the thesis that this was all effectively calculable functions but Church of course is the one that certainly came out explicitly with this. > Steve Kleene: Then Gödel arrived in the Fall or Spring of the year 1933-34. Gödel was giving his lectures. Gödel had this notion of General Recursive Functions, and the question came up, y'know, well, does this embrace all effectively calculable functions and is it equivalent to lambda definability. > Steve Kleene: I left Princeton in June of 1935, and of course we already had Church's Thesis in, it must have been the late spring of '34. That's when Gödel was talking about his General Recursive Functions. > Steve Kleene: You don't happen to have a copy of Introduction to Metamathematics do you? > Steve Kleene: Well, what Herbrand did in General Recursive Functions as presented by Gödel giving credit for ideas of Herbrand, is something I understand more than what Herbrand published. It was a little note of Herbrand's or a little, y'know, it was something short but whether it was a short note or just a short piece on the end of something else. > > _(Kleene thumbs through his book Introduction to Metamathematics: The "frighteningly technical" book mentioned earlier.)_ > > Gerald Sacks: It's hard to remember everything in that book. > > _(Everyone laughs.)_ > > Some Famous Logician: I knew it for a week or two when I had to take my exams. But I must say a few have slipped my mind. > > Steve Kleene: It helps to have written it. > > C. C. Chang: I don't even remember what's in _Model Theory_ anymore. 1: What's _Model Theory_? 0: The thing we did back during Humpty Dumpty. 1: What? 0: A part of the foundations of mathematics. 1: WHAT? 0: Well, the standard foundations. We'll get there eventually. --- ![[reminiscences-of-logicians-001.jpg]] 0: Before that, Gödel wasn't particularly well known. ![[reminiscences-of-logicians-003.jpg]] 0: Gödel comes to Princeton to visit Church in 1934. ![[reminiscences-of-logicians-011.jpg]] ![[reminiscences-of-logicians-012.jpg]] ![[reminiscences-of-logicians-002-2.jpg]] _(Narrator: Everybody laughs.)_ 1: Why did everybody laugh there? 0: Church's system was inconsistent. ### Or: Stranger in a Strange Land --- ## Flashback: The Proof ![[logicomix-09.png]] ![[logicomix-10.png]] ![[logicomix-11.png]] ![[logicomix-12.png]] ![[logicomix-13.png]] ![[logicomix-14.png]] ![[logicomix-15.png]] ![[logicomix-16.png]] ![[logicomix-17.png]] ![[logicomix-18.png]] ![[logicomix-19.png]] ![[logicomix-20.png]] ![[logicomix-21.png]] ![[logicomix-22.png]] --- TODO: Add some images and quotes from: - `zero/include/the-lambdas-big/the-trinity/godel/godel-sanatorium`