2
votes
1answer
157 views

What's with conditionals in mathematical logic?

Having a bit of difficulty understanding the conditional ($\rightarrow$) in mathematical logic. I read up on the already-existing questions and it did help me understand it better (the 'promise' ...
4
votes
1answer
90 views

Why doesn't the definition of (model-theoretic) conservative extension need strengthening?

In the wikipedia page dedicated to conservative extensions, we find the following sentence: $T_2$ is a model-theoretic conservative extension of $T_1$ if every model of $T_1$ can be expanded to ...
3
votes
6answers
116 views

Motivation for creation of complex exponentiation

I am curious how mathematicians came to develop complex exponentiation. How is the rule for complex exponentiation derived?
3
votes
3answers
134 views

Intuition behind independence & conditional probability

This is a basic question. I have a good intuition that $A$ is independent of $B$ if $P(A \vert B) = P(A)$, and see how you can easily derive from this that it must hold that $P(A,B) = P(A)P(B)$. ...
9
votes
1answer
348 views

How to motivate the axioms for the inner product

Typically, one doesn't just write down lists of axioms and then sees if there are enough interesting examples that satisfy them; they evolve over time, usually from a couple of very ...