Morning talk / Part 2

0:00 The axiom schema of replacement is intended to, the point is that the schema, which is this idea, the idea of the image of a global operation, it also tells you global operations there are, because it embeds that in the, you know, because when you write the axiom of replacement out, you get this y, y, x, y, lambda, the point is here, can embody all kinds of complicated... What it amounts to is a comprehension exercise for global operations and that's what just allows to fail to see what you're actually, what assumptions you're actually using in this lecture. It disguises what's actually going on. Thank you for your attention.

2:30 What I'm saying is that you will never, that if you want to, if you don't want to consider F, I'll ask those of you who can get this one. You want to grasp all the sets of the terms of form and the morphisms of some set, i.e. the existent and the non-existent. That's the point of logic now. Okay, all right, so this, so what you want to say is that the point of logic is that the independent form is the existent and the non-existent. No, he's, no, this, this, this is her optics in the category. There's a point about the existence of music that's quite good at saying, although I don't know about it, but you want this to be, you want this to be the whole why, you want to write it in this context, there exists a future saying, I'm not sure, because it's very real, it may very well not be in the text, but it's probably going to be in the text, but it's not in itself a subtext. No, F is the subclass. No, F isn't. Well, it's not. It's a different kind of class. It's an operational. This graph, which turns out to be the set, by the way, may or may not have the same terminology as F. It probably has more. It probably has more. In general, it has more. If I take an arbitrary operation.

5:00 I'm just wondering, I don't see what objection you have to thinking about operations over this. They don't even have to be quantifiable for that. You object to operations. You object to the use of the classifier. You object to the use of the quantifier. That's what you mean. I mean, you admit that that's what you mean. Yeah, yeah, okay. Okay, so you don't like me using curly brackets, but it would be okay if I... I love curly brackets. I don't like using them... There's supposed to be a quantifier in there. When I'm saying rep, I need to say rep, x, y. This is my own version of pedantry and logic, if you wish. Well, the problem is we don't want to go there because there's a pedantry and logic. You can get an actual fist fight since you're close as hell, right? I mean, you know, your big, big issues are perfectly okay, but if you squabble about them. I'm not sure. I think there's probably a real reason behind it. I mean, I'm quite prepared. I mean, I agree with you. I think there's a use of notation. I mean, that's a huge reason we do this class. In the meantime, we have a master's in mathematics and why. There's a set of all points in why. There is a subset of y that is derived by a function of a function on y, which has a mix of x and y. Yeah, I know, but you wouldn't be able to do that here unless you had a kind of universal class. These x's are obvious. You're using the classifier. Yeah, I see what you're saying, but I mean the point is there's no, if there were a v, the class of all is understood. So this thing would be a map from B to D, right? It would be, it would be, yeah, this thing would be a map.

7:30 Well, I mean, there is a B. I mean, there is a B. I'm not asking the functions that are printed on it. That's a map. A map from the points of an object that has a range that has itself. That's why I don't, I'm reluctant to call it a function. Because it's a kind of operation. It's implicit in the... Okay, operation. The part about the co-domain being in your class, it depends on what you do with the third part of it. Yeah, I see what you're saying. I'm going to have to smoke. I'm going to bust. What time is it? It's 1230. No, it's 10 to 1. 10 to 1. Yeah. I would have to reckon with the pre-test about how long it's going to take. I think, and then maybe we could sort of declare a moratorium on the philosophy and, you know, that's now resolved, isn't it? Well, I think we ought to. I just have a trick up my sleeve. I'm sure it is. Well, yeah. Do we have it straight about the time period of our work? Yeah. Of course. One or two weeks. Okay. And they'll be at the front, the front time. Oh, okay. So, okay. Okay. Thanks a lot for doing that. Oh, sorry, yeah, this is, I found a channel speaker, I think. This is convenience and extrapolation. Ah, I think you wrote X in the book. Are we going to use it? Yeah.

10:00 What's the year, by the way? Uh, what? Two sides? Yeah. No, it doesn't. 2000, wasn't it? Yeah, 1982. I know. Otherwise, yeah. To give an example of the contrast between ideal and real, when my daughter, who's now pregnant, she's showing rather obviously that she's, you know, and she tells her son Henry that mommy's got a baby, oh yeah, so his reaction to that was, Henry's got a baby and he's got me too. So he was around with a picture of a baby. And the whole idealization of the twistor is the picture drawn on the bell-beater, which, as I said before, is a generic example of the state of becoming. It is, but he's trying to... Oh, yes, it is. I'm sorry. Yes, it is. It's the advice that I have taken. Is there a problem with this? It's really funny, you're seeing a kid, I couldn't remember it with my own kids, I was probably distracted by many, but when you're sort of observing it, you see the capacity is actually growing, you know, so every time you see it, you have something new to compare yourself to. Not but which one? Something ruminating on, so something could actually measure. I was going to... I'm supposed to send off a copy of this. You'll note the costly... Sorry, I was not thinking. Yeah, the thing is I also need to make a great copy of this. But yeah, just one more copy.

12:30 Thank you very much for your attention. Thank you for your attention. Thank you for your attention. Thank you for your attention.

15:00 I think somehow you're both better off, because if you go through, say, American Express, you're both good friends. Yeah, exactly. I mean, obviously I do need it to last, but I don't know what they're going to do. But, yeah, that's where we're at. That's great. I can join you for a bit.