Jean-Pierre Marquis / Fred Muller / Steve Savitt / Michael Wright EPSA Madrid 2007
← All recordings

Recorded at EPSA Madrid (2007), featuring Jean-Pierre Marquis, Fred Muller, Steve Savitt, Michael Wright. From the Michael Wright Collection, held by the Archive Trust for Research in Mathematical Sciences & Philosophy.

Identifier
mw0000051-cc-a_p
Format
Audio recording
Collection
Michael Wright Collection
Repository
Archive Trust for Research in Mathematical Sciences & Philosophy
Rights
Made available for personal scholarly use. Rights in recordings are generally held by the speakers or their estates. If you believe this recording infringes your rights, please contact [email protected].
Transcript
Read the automatically generated transcript

This transcript was generated by speech-recognition software from an archival recording and has not been hand-corrected. It will contain recognition errors — particularly for proper names and technical terminology — so please verify against the audio before quoting. Timestamps play the recording from that moment.

0:00 I tried a million years ago, I tried running a course at this point about the idea of what is the significance of the third quarter? Well, that's not very convincing, is it? That's what I wanted to learn. And the primitives are just non-strong. You don't have to go do anything as simple as that, there's everything we've been discussing about, but that's not my main point, relations, predicaments, everything, all of that is just half of the level of stuff I'm doing, other things I'm talking about right now. Actually, I think I would rather meet you tomorrow. Oh, okay. I don't think I'd be able to come. Okay. Okay. I'd love to meet you tomorrow. Okay. I'd love to meet you tomorrow. Let me say, before I get too serious and go back to the slides, are you familiar with quantum mechanics? Thank you for your attention. I've read these books. I've read so many of these books. Thank you for your attention. I know Bill will be able to take the guitars and go wash your mouth out.

2:30 Now I'm not sure where Dennis is going to. He's not going to be able to help. He's in college. I'm hoping so. I mean, it was nice to have him. Can anybody make it if they're out there? Do you guys need to wait for three more minutes? Yeah, certainly. We'll wait until you confirm this one, because I don't want to bother your friend. I'll quickly confirm it. Okay. I'm just a sign that I'm ready to get started. That's downward, isn't it? Is that downward? No, no, it's different. It's not, it's not, no, no, it's not. Once you have two terms, you go into one manner. Isn't, isn't, isn't that the thing that, um, um, Neumann made? Not, not Neumann, not Neumann. They, um, used Neumann. Well, okay, well, all right. Thank you for watching. I don't know whether it's true or not, but I'm not quite sure if they're in the first order. Let's go to just the other set.

5:00 Yeah, yeah, but there's some restriction. Okay, I mean, I thought there was some restriction about it. If you use second order logic to axiomatize numbers here, then it's a categorical theory. So any model that you have, you have another set. You can't play with the cardinality. The cardinality is by the structure. You have to have a simple logic to get there. There are some people who are very, very, very, very, very, very, very, very, very, very, very, very, very, very, very, very, very, very, very, very, very, very, very, very, very, very, very, very, very, very, very, very, very, very, very, very, very, very, very, very, very, very, very, very, very. The real line, you have a second order category. That's a crucial logic if you have an infinite. If you have an infinite, it has to be a piece of omega. So it has to be an infinite. If you have an infinite, it has to be a piece of omega. If you have an infinite, it has to be a piece of omega. Thank you for your attention. Thank you for your attention. Thank you for your attention.

7:30 And then over and above, over and above we'll talk about carbonality, I'm sorry, I've been raising it, it is still in development, it's not the whole issue, it's going back, it's going back. What was it that you wanted to get rid of? Well, that's it now. I don't get it. I don't get it. I don't get it. I see how you can draw a practical education using the answers that you have introduced to me. Actually, I get the idea. In fact, I'm sure it's going to work. Right. Yeah, yeah. It's very structured. It's very structured. Thank you for watching. Sorry, I'm sorry, you're not going to get away. You said you were going to get away. Yeah, is that going to happen now? Yeah, for once, it's probably going to get better. But if you want to... Why don't you join us? Hi, nice to meet you. Hi. Do you mind if I ask you a question? Well, I... Well, OK, well, come on, let's go. We're going to go out that way. Well, yeah, because, you know, it's already 8 o'clock. OK, let's go. This is Brendan. Marcus. No, there was another Marcus. That was a different Marcus, thank you. I'm waiting for Isabel, but she has a car, so we come there by car and then she'll find you. Yeah, we want to have a better review. How are you finding it? Because we haven't actually...

10:00 She's not... That's right. Is there so many? Yeah, there are so many on those little streets around the Portugal Stroll, it's a bit difficult. I didn't get the name of the one I went to last night, which is very nice. But then we get a copy of it. But of course, I don't know the answer to all of them. Well, there's a couple of them called, um, the... Papacarps, John. No, that's my hotel room. I don't think they're new. I think we would have to wait. No, let's see. I think tomorrow, and I go with the other group. Okay, that's okay, I'm willing to follow you. Okay, let's go. Okay, let's go. Dennis is going to go out with Isabelle. He's going to do a typical parade. Okay guys, shall we go? Let's go this way. Well, this takes you straight to the... I know, this is the way that you're actually going to get there.

12:30 It's all the way around.