Stats
3,035
reputation
0
reached
0
answers
0
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
This user doesn’t have any gold badges yet.
7
-
Yearling
× 7Jul 4
2
-
SupporterNov 2, 2021
-
AutobiographerMay 12, 2021
Posts
This user hasn’t posted yet.
Top network posts
View all network posts