Tagged Questions
4
votes
4answers
96 views
the role of logic in math and education
My question is somewhat related to this discussion:
Is Mathematics one big tautology?
I have a computer science background and I have always approached math from the logic point of view ...
8
votes
1answer
104 views
Difference between a Lemma and a Theorem [duplicate]
What essentially is the difference between a lemma and a theorem in mathematics? More specifically, suppose you come across a general result while solving a mathematical problem, what are the ...
7
votes
1answer
172 views
Is “A and B imply C” equivalent to “For all A such that B, C”?
So I mostly study PDE, harmonic analysis, image processing, and so on, but for whatever reason I decided to be a TA for an undergraduate "introduction to proofs" course this semester. I suppose I ...
6
votes
5answers
290 views
trivial but non-trivial equivalence relations
Define a binary relation $R$ on a set $A$ by saying $xRy$ iff $x$ and $y$ have the same whatever.
"Whatever" is of course some specified function on $A$.
This is a "trivial" equivalence relation: ...
2
votes
2answers
354 views
Is most of the GM-AM Inequality in its codicil?
Let’s define the codicil of the Geometric Mean – Arithmetic Mean Inequality to be the statement that if the means are equal, then all the terms are equal. Then: I conjecture that most of the GM-AM ...
2
votes
2answers
177 views
What are good elementary examples for teaching/introducing/learning about Intuitionistic Logic or Heyting Algebras?
For example, I have heard of a topological one wherein negation means the interior of the complement (but still would like a reference).
