Concrete & abstract, representation theorems (contd.)

0:00 There are some other aspects of the problem. Can this kind of reasoning be applied in a mathematical way, or not necessarily in a mathematical way, but can it be applied in physics, in other things, can it really change the way of thinking in general and not in the physical sense? What I'm trying to do, let's say, in logic, I think it's very interesting because, let's say, if we look at modern logic, it's a bit like geometry after Rubens-Chirch, but not in Grima. That is to say, there are several logics, total freedom, pluralism, but there is no generalization of logic. Something like space-time, space-time, space-time, space-time, space-time, space-time, space-time, space-time, space-time, space-time, space-time, space-time, space-time, space-time. And so on and so forth. Maybe, but it has to be done, because it's not done yet. Yes, I think maybe it can be done. It's promising. But that... Have you ever heard of this claim of ECO-LFDP in Monterey? I don't know if you're interested in it, but it's rather logical. It will be the end of March, it will be the beginning of July. Really, it's very good, it's a translation in almost the same language as in Japan.

2:30 I would really like to translate it. But it's good for September, we don't change it anymore. Yes, okay, okay. There is this more abstract side. But there is also, I think, and this I know, to be more precise, this kind of alternative of abstraction, let's say, in the sense of Frege, in the sense of, there is, but let's say the idea is simple that if we have, let's say, a clear equivalence, the standard approach is to do an abstraction, let's say we have three equivalences in the ensemble, and that's it. And we make abstractions for a number of things, and that's why we make a kind of representation of all the ensembles of equivalents. But maybe a clarification, it's something else, it's to say, no, you shouldn't do these abstract things, but rather look at all the homomorphisms, not just say the equivalents. Look at all the symmetries and make small categories of the same equivalence rather than... And also, of course, look not only at the equivalence, not only at the reversible symmetries, but also at the reversible ones. It would be a bit different too, let's say. Even if we do something as an abstraction, we have to look at the function of the abstract, the view of abstraction, and just make this kind of relationship as an example, what is this example, what is this model, with the notion of function we can specify this thing in a way that is...

5:00 There will be a seminar on mathematics, geometry, algebra, arithmetic, diagram, physics, and mathematics.