Mathematician: this is category theory. No, it didn’t have anything to do with categorization, it just helps us understand how spaces can map to each other. Yeah I guess it’s kinda like graph theory or algebra, but not really. We made a category of graphs, and you can use the category of graphs to represent endofunctors on the category of categories.
Also no! The “graphing calculator” is an abomination that should be more rightly called a plotting calculator. But that’s what happens when you let engineers in Texas name something.
It's a strange feeling to think you understand what you are reading until you get to the end, but you have given me that feeling. I was like "yeah category that's a word I know. Let's math the hell out of some categories." Then I recognized other words you said, but by the time I was at the end of your post I wasn't sure if I understood anything.
I don't mind feeling dumb. Honestly it helps keep my narcissism in check. I like math because I don't understand all of it even though it should be logical.
I've read a fair few unintuitive mathematical things, but category theory has so far been the worst. Some things are just plain unintuitive and don't catch your attention. Then there are things that are intuitive and really do reel you in. Finally there are things that seem intuitive but become so complex that your comprehension inverses: what you thought you knew feels wrong because of the new things you learned.
The latter has been my experience with category theory.
Doing research, I used to work with mathematicians, engineers AND physicists on a daily basis for years. Physicists were the least fun. Most of them seemed to think of themselves as a sort of Jesuits of Science. As in: "I just figured this out, and already it's set in stone, why do you even argue with me?" Mathematicians and engineers were a lot humbler, more down-to-earth. Also, some of them were astonishingly edgy in a very positive way.
There are different kinds of physics researchers and it doesn't look like what physics lessons show in university, which is mostly theory. Most are not theoricians, they work on experiments and analyze results, they design and build instruments similarly to engineers. It seems the main difference is the kind of question they want to answer to: scientific question vs client need.
Yeah it's a managerial function involving skill and time and therefore money, but if it doesn't directly translate into profits for the corporation, then who has interest in that kind of investment these days?
Wait are we supposed to be making super precise blueprints? They never build what I draw so I just give rough dimensions on a sketch and specify the important bits
Pure mathematician here - some of us argue "mathematics is a language", others of us argue "language gets in the way of mathematics".
The latter feels much more true; as a species we're absolutely awful when it comes to talking about abstract things. The thing is, those abstract things are often VERY interesting.
It's like making a map and being fascinated with the type of trees rather than the shape of the land, because the types of trees tell us about the climate, soil, and even history of the land.
I would say a important part of my job is to find the appropriate mathematical language to model computer programs. In my experience, using efficient language not only helps us discover more structures and connections between different kinds of program, but also leads to efficient and simplistic real-world implementations.
I would argue, from observing the development of this field, It seems like picking the right mathematical language is essential whether you are interested in theory or practicality.
I am not a mathematician, perhaps you can comment on this. From what I read, I feel like a good amount of the achievement for Grothendieck stems from finding the right language to describe the given problem. The result sometimes will follow like magic, once the correct language is discovered.
See now, I'd argue that the language comes after the mathematics. For example, I walk to work each day; part of walking to work is trying to find the route that lets me lie in the longest.
Now, humans are pretty good at exploring and finding alternative routes between locations, and they also tend to locate the shortest route given enough time.
Trying to explain how this intuitive activity works necessitates the use of graph theory. The graph theory was something our brain had constructed in the background, but it wasn't entirely conscious. Trying to explain this in natural language would take pages, however...
Given a set V of street intersections, and a set E of streets connecting two intersections, and a set W of weights assigned to each E. I can calculate the shortest route by applying one of the pathfinding algorithms (which are expressed in this notation).
This explanation will cover any pathfinding problem, but it's not great at conveying what is a really happening. The language we must use gets in the way of conveying the mathematics that is going on.
We do need a language (telepathy not being on the menu), but that language is a separate entity from the mathematics itself.
There are "mathematical languages", but these are present to describe mathematics. There are mathematical theories of language, but again the language itself is not mathematics - its structure, however, has mathematical properties.
I suppose you could say "fire has the property of being hot, but it isn't hotness itself"? Language is used to communicate mathematics, but it is not mathematics itself.
Now, this is not to discount notational developments in easing communication - that's a great branch as you have to check your new language and its rules match the mathematics it tries to describe. However, again, it's important not to conflate the thing you are describing with the thing you are using to describe it!
Oh man the university ptsd as an engineer. I once asked a physics prof at what width does the split slot experiment break down, she couldn't understand the question. All the other engineering students were nodding their heads in agreement with the question and tried to explain the question in a different way, still no idea what we were asking.
It's a good question, but asking it shows that the experiment was explained poorly.
The slits aren't the reason you see an interference pattern. The slits function as two lenses, similar to a pinhole camera. That's something that usually doesn't get explained very well, you can use all sorts of lenses for this, but slits are the most basic (and crucially, glass lenses would cause an interference pattern even if light weren't a wave).
The double slit experiment is basically "if light is a wave, a slit would behave like a lens, similar to a pinhole camera. If light is a particle, it will simply be a hole without any lensing. Two slits show multiple bars, due to interference from the lenses, which means light is a wave"
Which means this works at any scale. All you need is some light in the same frequency, and something to bend it. That can be two slits, some glass, or an entire galaxy.
There are local limits of course, where the effect still applies, but things become too blurry and diffuse to make out. But that's more of a limit to your sensor than the experiment.
That's when considering the slits as a lens though, which they will act as at any diameter however there's going to be a width at which the angle of approach and wavelength of the light are insignificant enough that you practically can't tell that the slits were even there right?
The interference patter gets closer and closer to a set of independent peaks when you spread the slits away. There is no single point it breaks down, and the wave behavior predicts exactly the "particle behavior" you get when the slits are too far away.
I'm a phd chemist who does safety work for (mostly) engineers. I get a lot of "but you can do quantum physics, this should be easy".
I always reply that it's just basic maths, anyone who graduated highschool can "do" quantum physics. But I'm convinced all the people who say they can visualize whats going on are just liars. But then, that's also how I feel about FEM, so what do I know.