Léreau
-
Member for 5 years, 11 months
-
Last seen this week
Stats
2,778
reputation
77k
reached
80
answers
14
questions
Loading…
About
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))
Constructive Logic
Badges
View all badges
1
gold badge
-
FanaticDec 14
11
silver badges
-
Civic DutyJul 23, 2020
-
Necromancer
× 2Feb 18, 2019 -
EnthusiastAug 2, 2016
32
bronze badges
-
Self-LearnerJul 11, 2016
-
BenefactorJul 27, 2020
-
ExplainerSep 12, 2016
Top tags
View all tags
66
Score
35
Posts
37
Posts %
25
Score
11
Posts
12
Posts %
24
Score
11
Posts
12
Posts %
17
Score
8
Posts
9
Posts %
16
Score
5
Posts
5
Posts %
14
Score
8
Posts
9
Posts %