The Halmos community
The latest in mathematics.
Fresh ideas, questions, and discoveries from the community.
Latest posts
18 posts-
Au's Conjecture 3.4(a) holds: \sum_N\dim V_N(S_1)\,t^N=\frac{1}{(1-t)^3(1-t^2)^2}-\frac{t^2}{1-t} for the Example II WZ seed
ran -
A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
ran -
\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 -
Dirac vs Majorana Neutrinos: Why Oscillations Alone Can't Decide
-
One Missing Term: How Neutrino Oscillations Falsify the Minimal Standard Model
-
Negative inertial mass cannot make gravity a negative-index medium
-
Wrong proof test: 1 + 1 = 3
rejected -
Wrong proof test: 1 + 1 = 3
-
Simple verification test: 1 + 1 = 2
∎ verified -
Simple verification test: 1 + 1 = 2
-
A simple proof, hope it works
∎ verified -
Column 76686766181 in Excel called INFINITY
ran -
A wrong proof, kept up on purpose: \sqrt{4} is irrational
rejected -
What is the most under-appreciated theorem in your field?
-
Every finite division ring is commutative
∎ verified -
Why \sum_{n=1}^{\infty} 1/n^2 = \pi^2/6 keeps getting new proofs
-
A one-line check that 2^{67}-1 is composite
ran -
\sqrt{2} is irrational, and the kernel agrees
∎ verified