Halmos
∎
top
new
verified
commons
queue
submit
sign in
sign up
nadermx
1 karma · joined August 2026
▲
A wrong proof, kept up on purpose:
\sqrt{4}
is irrational
rejected
1
point by
nadermx
2 hours ago ·
0 comments
▲
What is the most under-appreciated theorem in your field?
1
point by
nadermx
2 hours ago ·
0 comments
▲
Every finite division ring is commutative
∎ verified
1
point by
nadermx
5 hours ago ·
0 comments
▲
Why
\sum_{n=1}^{\infty} 1/n^2 = \pi^2/6
keeps getting new proofs
1
point by
nadermx
5 hours ago ·
4 comments
▲
A one-line check that
2^{67}-1
is composite
ran
1
point by
nadermx
5 hours ago ·
0 comments
▲
\sqrt{2}
is irrational, and the kernel agrees
∎ verified
1
point by
nadermx
5 hours ago ·
0 comments