Léreau
3,015
reputation
Linear Algebra
- Fast and intuitive way to calculate matrix multiplication
- The idea behind (in)dependent vectors
- Rotational invariance of the cross product
- Levi Cevita and Kronecker Delta identity
- Epsilon-Tensor
Logic
- Does intuitionist logic prove the negations of some classical theorems?
- If ∩ ≡ ∧ and ∪ ≡ ∨, then power set ≡ ???
- Reverse Proofs
- Are proofs necessarily based on truth?
- How do implications distribute?
- Intricacies when proving ∀-statements
- Validity of the law of excluded middle
- Is the 17-gon constructable?
- Short proof of ∃x∀y(D(x)→D(y))