The Halmos community

Ìṣàmúlò-ètò, tí a gbọ́dọ̀ kọ́ọ̀kan.

Ṣawari awọn ero, pin ohun ti o n kọ, ati ṣiṣẹ ni ifowosowopo lori awọn iṣoro.

Kini mo ti n gbọ́?Fi ohun kan pamọ́

Fi àkọ́lé pamọ́ sí àwọn àmì-ìwé àti àmì-ìwé. Kò ní àmì-ìwé kan tí a fẹ́.

Ṣẹ̀dà Àwọn Àkọ́léFi wọlé

Àwọn àkọlé olòjútó

18 Àwọn àkọlé

M
mageoftheeast1 month ago
Àwọn Àkọ́gbègbè

A simple proof, hope it works

∎ tí a fi àkóónú

2 àwọn ìtàn 0 Àwọn àkọ́lé Àkọ́lé
N
nadermx1 month ago
Àwọn àkọlé

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

Ìjánú

1 àwọn ìtàn 0 Àwọn àkọ́lé Àkọ́lé
N
nadermx1 month ago
Àwọn àkọlé

A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge

Ìjánú

1 àwọn ìtàn 0 Àwọn àkọ́lé Àkọ́lé
N
nadermx1 month ago
Àwọn àkọlé

$\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$

Ìjánú

1 àwọn ìtàn 0 Àwọn àkọ́lé Àkọ́lé
N
nadermx1 month ago
Àwọn Àkọ́gbègbè

Dirac vs Majorana Neutrinos: Why Oscillations Alone Can't Decide

1 àwọn ìtàn 1 Àkọ́lé Àkọ́lé
N
nadermx1 month ago
Àwọn Àkọ́gbègbè

One Missing Term: How Neutrino Oscillations Falsify the Minimal Standard Model

1 àwọn ìtàn 0 Àwọn àkọ́lé Àkọ́lé
N
nadermx1 month ago
Àwọn àkọlé

Negative inertial mass cannot make gravity a negative-index medium

1 àwọn ìtàn 1 Àkọ́lé Àkọ́lé
J
jerryj1 month ago
Àwọn àkọlé

Wrong proof test: 1 + 1 = 3

tí a gbọ́dọ̀

1 àwọn ìtàn 0 Àwọn àkọ́lé Àkọ́lé
J
jerryj1 month ago
Àwọn àkọlé

Wrong proof test: 1 + 1 = 3

1 àwọn ìtàn 0 Àwọn àkọ́lé Àkọ́lé
J
jerryj1 month ago
Àwọn àkọlé

Simple verification test: 1 + 1 = 2

∎ tí a fi àkóónú

1 àwọn ìtàn 0 Àwọn àkọ́lé Àkọ́lé
J
jerryj1 month ago
Àwọn àkọlé

Simple verification test: 1 + 1 = 2

1 àwọn ìtàn 0 Àwọn àkọ́lé Àkọ́lé
M
mageoftheeast1 month ago
Àwọn àkọlé

Column $76686766181$ in Excel called INFINITY

Ìjánú

1 àwọn ìtàn 0 Àwọn àkọ́lé Àkọ́lé
N
nadermx1 month ago
Àwọn àkọlé

A wrong proof, kept up on purpose: $\sqrt{4}$ is irrational

tí a gbọ́dọ̀

1 àwọn ìtàn 0 Àwọn àkọ́lé Àkọ́lé
N
nadermx1 month ago
Àwọn Àkọ́gbègbè

What is the most under-appreciated theorem in your field?

1 àwọn ìtàn 0 Àwọn àkọ́lé Àkọ́lé
N
nadermx1 month ago
Àwọn àkọlé

Every finite division ring is commutative

∎ tí a fi àkóónú

1 àwọn ìtàn 0 Àwọn àkọ́lé Àkọ́lé
N
nadermx1 month ago
Àwọn Àkọ́gbègbè

Why $\sum_{n=1}^{\infty} 1/n^2 = \pi^2/6$ keeps getting new proofs

1 àwọn ìtàn 4 Àwọn àkọ́lé Àkọ́lé
N
nadermx1 month ago
Àwọn Àkọ́gbègbè

A one-line check that $2^{67}-1$ is composite

Ìjánú

1 àwọn ìtàn 0 Àwọn àkọ́lé Àkọ́lé
N
nadermx1 month ago
Àwọn àkọlé

$\sqrt{2}$ is irrational, and the kernel agrees

∎ tí a fi àkóónú

1 àwọn ìtàn 0 Àwọn àkọ́lé Àkọ́lé

Àwọn ìwé-ìwé ní pàpọ̀

Ààyè fún rẹ̀
Ìfẹ́ ìṣàfarawé mathematiki.

Lati ibeere akọkọ si ifihan ti a ti pari. O ni ààyè fun àwọn àwòrán rẹ níbẹ̀.

Ṣàfikún Àwọn Àkọsílẹ̀ Orúkọ òǹlò náà àti àmì-àṣírí.

Àwọn ìṣàmúlò-ètò ìjọbá

Díẹ̀ jú àgbègbè kan lọ

Fi àwọn ìṣàmúlò-ètò Lean àti àwọn ìṣàmúlò-ètò tí a fi pamọ́ sínú. Rọ́ọ̀nù ìṣàmúlò-ètò àti ìpàpọ̀ àwọn àtòjọ-ẹ̀yàn rẹ̀.

LeanSagePARI/GPZ3Python

Wó bí o ṣe n ṣiṣẹ́

Àwọn àwọnWá Àwọn Àkọ́gbègbè →

Ìṣàmúlò-ètò, tí a gbọ́dọ̀ kọ́ọ̀kan.

Àwọn àkọlé olòjútó

A simple proof, hope it works

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

A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge

$\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$

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

Wrong proof test: 1 + 1 = 3

Simple verification test: 1 + 1 = 2

Simple verification test: 1 + 1 = 2

Column $76686766181$ in Excel called INFINITY

A wrong proof, kept up on purpose: $\sqrt{4}$ is irrational

What is the most under-appreciated theorem in your field?

Every finite division ring is commutative

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

$\sqrt{2}$ is irrational, and the kernel agrees

Ṣàfikún àkọlé.

Fi àwọn ìrànwọ́ pamọ́ sí wa