The Halmos community

Àwọn ìṣàfihàn tí o lè kọ̀ ní pàtó.

Wá àwọn àkọlé ní àwọn ìṣàmúlò-ètò tí a yàn láti inú kernel Lean.

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

4 Àwọn 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́
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́

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ọ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̀ →

Àwọn ìṣàfihàn tí o lè kọ̀ ní pàtó.

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

Simple verification test: 1 + 1 = 2

A simple proof, hope it works

Every finite division ring is commutative

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

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

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

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

Simple verification test: 1 + 1 = 2

A simple proof, hope it works

Every finite division ring is commutative

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

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