Psst...

Hey, do you want to get language learning tips and resources every week? Join our mailing list to receive new ways to improve your language learning in your inbox!

English Script Request

Incomplete
by camdesu 0:00 - 1:50

So, I didn't really think about logic much; with one very very big exception, and that is this: I liked number theory and high school the first year of college I read a book by Claudian Wright, the Theory of Numbers, a lovely book, and um, I particularly like the part about partitions, uh, decompositions into squares, and you get the feeling that Jakobi and those early people had developed almost a calculus of infinite power series expansions, from which they deduced many of these wonderful results. So the thought began to occur to me, what is the calculus of power series, which could reduce every question of this type, in the same sense that there is a divisive procedure for polynomials. And I had *thread* almost no logic. So I thought about it and I was very, I thought I was making progress, but I essentially was doing was rediscovering how to formalize number theory elementary types of ***** functions, and I was very happy with myself. And I came to the University of Chicago and told people this was my dream. Uh, well the only type of students that were in to logic, that and there was nobody in faculty, with the exception, perhaps of Saunders Mac Lean, who had written a *capricious* logic ******* having kept up with the subject for many many years. And some of the students said "Well we can make this *by the way, it's Gödel's theorem." I said "What's Gödel's" I said "No. Gödel's theorem is a theorem of philosophy. It has nothing to do with the county and province of number theory." I just couldn't believe it. So they said well *Cleamy* is going to come and give a lecture at Chicago. Uh, why don't you ask Cleamy. So Cleamy came, and there was a **** professor *** you only saw him at tea time. And so there was a tea, and I walked up to him, basically "I want to ask you a question." He said, "Well, what is it you want to do?" And I told him. And then in a very firm voice he said "No! That's impossible."

by slyfin 1:50 - 3:27

by Figurine 3:27 - 0:06:42

The professor being referenced seems to be "Stephen Cole Kleene" according to the web. Some edits:

0:07 I liked number theory and in high school, the first year of college
0:32 So the thought began to occur to me, Was there a calculus of power series
0:38 there is a decision procedure for polynomials
0:50 I thought I was making progress--what I essentially was doing
0:53 number theory of *all* recursive functions
1:01 well there weren't any students who were into logic then, and there was nobody
1:10 [capricious] logic, in the sense of having kept up with the subject in many, many years
1:38 there was a U/I [unintelligible] was very afraid of the professor, you only saw him at tea time.

Forgive me for overlapping so much with someone else's work in what follows--I didn't see the continuity from the first section at first, and by the time I realized I was already heavily into the transcription. Anyway, I did go on from there.

3:34 So I was lying in bed, not being able to sleep, still suffering from jet lag, and I thought, well I need some jokes, I need some literary references. And some thoughts came back to me in my, in my bed, in my strange state, and I remembered, I had an English teacher in New York City, Mr. Seligman, who was a great admirer of the essays of Francis Bacon. I think Bennie [PH] grew up from Anglo Saxon background, so even though he crossed the essays of Sir Francis Bacon. And he wrote one of his essays called, Of Truth. And what does he say? What is truth? said Pontius Pilot, and would not stay for an answer. So that was the discussion of truth. But there was another concept of truth which occurred to me, and that is, another one of my heroes in my late teenage years was the novelist Marcel Proust. He said, What is memory? The truth of memory, you know, something is God, [all/the wrong?] God, but is memory the truth of what happened? And I feel that way about Godel, when I heard that music, it actually made me feel quite emotional, and uh, I thought well he heard this music, I bet he really liked it, and I never discussed music with him, that's--I think it was said it was his favorite piece. And s-so suddenly this image came back to me. The other weird feeling I must tell you, uh, there's a lovely exhibit on Godel, I will say something perhaps I shouldn't, my wife is probably shaking her head right now, I think it's a lovely exhibit with one, one very bad exception: I don't think references to his wife were at all appropriate and I think they should have been omitted completely. Anyhow, I was walking down the steps. And suddenly I saw a marker on the steps, it said, in German, On this spot was murdered Professor Schlick [PH]--I forget his name. And it sort of sent chills up my spine, partly because I'm Jewish and I thought, well, he was murdered by the Nazis. It wasn't quite correct. But also there was a weird similarity that I had a colleague who was murdered by a deranged student also, called Lou, and so that also gave me a very, a very strange feeling. So the question is what kind of tr--what do you mean by truth? Well, w-one thing we discussed at the panel the other day was how many people were formalists, how many people were realists? Realists all those that believe that the abstract world of sets exists, and every statement is either true or false. I want to propose something which I'm sure will be hotly, uh, poo-pooed by people like Hugh Wooden [PH] that I think in my work we have an alternative thing, we have many universes, and they're very rich, and they involve mathematical complications. Uh, Si [PH] Friedman referred to the fact that Godel's work on set theory involved mathematical technique. Well I'm teaching a course right now on set theory, and I've found it hard to remember some of the details. So my work really did get into some tricky points, and so now we have to reconstruct all these universes, and some sense I'm very happy with that. I don't claim that this, in itself, [viciates? initiates?] the program. People who want to, uh, who want to describe it. 6:42

Dec. 17, 2015

Paul Cohen
One of the greatest mathematician

Note: this form is not for making a transcription. If you would like to transcribe this Script Request, please click the blue [ TRANSCRIBE ] button.

Overview

To make a new Audio Request or Script Request, click on Make a Request at the top of the page.

To record or transcribe for users learning your language, click on Help Others at the top of the page.

Recording and transcribing for other users will earn you credits and also move your own Requests ahead in the queue. This will help you get your requests recorded and/or transcribed faster.