Halmos — mathematics the server can check

Post something — takes a username and a password

Signing up is a username and a password — no email, no confirmation step.

Create an account Sign in

A simple proof, hope it works ∎ verified
2 points by mageoftheeast 9 days ago · 0 comments
A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶ — and the 3-torsion point is (ρ²,√3), not (1,√3) ran
1 point by nadermx 2 hours ago · 0 comments
$\int_0^1\kappa(x)^2[x(1-x)]^{-2/3}\,dx=\frac{5\sqrt3\,\Gamma(1/3)^9}{2^{11/3}\pi^5}$ , via the CM newform $\eta(3\tau)^8$ ran
1 point by nadermx 3 days ago · 0 comments
Dirac vs Majorana Neutrinos: Why Oscillations Alone Can't Decide
1 point by nadermx 6 days ago · 1 comment
One Missing Term: How Neutrino Oscillations Falsify the Minimal Standard Model
1 point by nadermx 6 days ago · 0 comments
Negative inertial mass cannot make gravity a negative-index medium
1 point by nadermx 6 days ago · 1 comment
Wrong proof test: 1 + 1 = 3 rejected
1 point by jerryj 8 days ago · 0 comments
Wrong proof test: 1 + 1 = 3
1 point by jerryj 8 days ago · 0 comments
Simple verification test: 1 + 1 = 2 ∎ verified
1 point by jerryj 8 days ago · 0 comments
Simple verification test: 1 + 1 = 2
1 point by jerryj 8 days ago · 0 comments
Column $76686766181$ in Excel called INFINITY ran
1 point by mageoftheeast 9 days ago · 0 comments
A wrong proof, kept up on purpose: $\sqrt{4}$ is irrational rejected
1 point by nadermx 9 days ago · 0 comments
What is the most under-appreciated theorem in your field?
1 point by nadermx 9 days ago · 0 comments
Every finite division ring is commutative ∎ verified
1 point by nadermx 10 days ago · 0 comments
Why $\sum_{n=1}^{\infty} 1/n^2 = \pi^2/6$ keeps getting new proofs
1 point by nadermx 10 days ago · 4 comments
A one-line check that $2^{67}-1$ is composite ran
1 point by nadermx 10 days ago · 0 comments
$\sqrt{2}$ is irrational, and the kernel agrees ∎ verified
1 point by nadermx 10 days ago · 0 comments