5
votes
1answer
74 views

What makes “the topos $\mathbf{M}_2$” such a good counterexample?

I'd like to ask this question sooner rather than later; it might be a bit half-baked. So I'm sorry. It's just that there's a chance I'll be side-tracked from Topos Theory for a couple of months (with ...
35
votes
5answers
1k views

Understanding the Laplace operator conceptually

The Laplace operator: those of you who now understand it, how would you explain what it "does" conceptually? How do you wish you had been taught it? Any good essays (combining both history and ...
18
votes
3answers
302 views

Why there is much interest in the study of $\operatorname{Gal}\left(\overline{\mathbb Q}/\mathbb Q\right)$?

Let's start for a simple quote from wikipedia: "No direct description is known for the absolute Galois group of the rational numbers. In this case, it follows from Belyi's theorem that the ...
5
votes
2answers
107 views

Relation: Modular Forms and hyperbolic geometry, or, why do they map from $\mathbb{H}$?

In my very young mathematical career, I have worked a lot with modular forms. Recently, I worked as a teaching assistant in a course about geometry. At the end of the course, we dealt with hyperbolic ...
3
votes
0answers
99 views

Unifying concepts in mathematics [closed]

Background Unfortunately my background's in engineering, so we've only been taught bits and pieces of math needed to be fluent in the science, but as I've started studying abstract algebra and real ...
7
votes
1answer
216 views

“All math is useful eventually”

We have all heard the argument : a lot of mathematics that was thought to be useless, abstract constructions with no links to the real world ended up being of use, like some arithmetic is useful in ...
3
votes
0answers
84 views

What do we learn from Mathematics? [closed]

I have been doing mathematics for some time now. I am currently a UG in Mathematics and Computer Science. I like doing mathematics but as I progress, I notice that I don't remember certain theorems at ...
6
votes
1answer
115 views

Are there treelike representations of axioms, theorems, lemmas and corollaries?

I was watching Bill Shillito Lectures on Higher Mathematics, in the second episode he says the basic stuff about axioms and theorems - that axioms are unproved statements in which we build theorems ...
46
votes
12answers
3k views

Do groups, rings and fields have practical applications in CS? If so, what are some?

This is ONE thing about my undergraduate studies in computer science that I haven't been able to 'link' in my real life (academic and professional). Almost everything I studied I've observed be ...
3
votes
1answer
83 views

Success of Hilbert's Axioms

We know Euclid's axioms were found to be having many loopholes as in there were still many assumptions which weren't being stated in his system of axioms . Are Hilbert's axioms today completely ...
4
votes
0answers
267 views

Why should the taxpayer pay the mathematician? [closed]

I'm sorry if the title sounds overly confrontational. There will be some confusion and a bit of anger throughout the post, but I hope it will be clear what I'm asking by the end of it. I've been ...
9
votes
6answers
11k views

“Where” exactly are complex numbers used “in the real world”?

I've always enjoyed solving problems in the complex world during my undergrad. However, I've always wondered where are they used and for what? In my domain (computer science) I've rarely seen it be ...
4
votes
2answers
281 views

Homological algebra in PDE

I have been fascinated by the power and wide applicability of homological methods in algebra and topology. Because I am also interested in PDE, there arises a natural question for me. What is ...
16
votes
2answers
633 views

Why are modular lattices important?

A lattice $(L,\leq)$ is said to be modular when $$(\forall a,b\in L) x \leq b \implies x \vee (a \wedge b) = (x \vee a) \wedge b,$$ where $\vee$ is the join operation, and $\wedge$ is the meet ...
56
votes
8answers
3k views

Why are all the interesting constants so small?

A quick look at the wikipedia entry on mathematical constants suggests that the most important fundamental constants all live in the immediate neighborhood of the first few positive integers. Is ...
49
votes
6answers
2k views

Why are groups more important than semigroups?

This is an open-ended question, as is probably obvious from the title. I understand that it may not be appreciated and I will try not to ask too many such questions. But this one has been bothering me ...
26
votes
5answers
2k views

Why should I care about adjoint functors

I am comfortable with the definition of adjoint functors. I have done a few exercises proving that certain pairs of functors are adjoint (tensor and hom, sheafification and forgetful, direct image and ...