Jumuiya ya Halmos

Uthibitisho mbalimbali uwezao kuongezea.

Mibandiko ya kuchunguza ikiwa na uthibitisho uliokubaliwa na mbegu ya Lean.

Uthibitisho Uliolinganishwa

4 posti

J
jerryjmwezi wa mwezi uliopita wa 1
Madai

Simple verification test: 1 + 1 = 2

bustani ya kifalme ilithibitishwa

1 hoja 0 maoni Soma makala
M
mageoftheeastmwezi wa mwezi uliopita wa 1
Mazungumzo

A simple proof, hope it works

bustani ya kifalme ilithibitishwa

2 hoja 0 maoni Soma makala
N
nadermxmwezi wa mwezi uliopita wa 1
Madai

Every finite division ring is commutative

bustani ya kifalme ilithibitishwa

1 hoja 0 maoni Soma makala
N
nadermxmwezi wa mwezi uliopita wa 1
Madai

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

bustani ya kifalme ilithibitishwa

1 hoja 0 maoni Soma makala