Hilberts andra problem

Den aktuella versionen av sidan har ännu inte granskats av erfarna bidragsgivare och kan skilja sig väsentligt från versionen som granskades den 7 januari 2021; kontroller kräver 3 redigeringar . Olösta matematikproblem : '' Är aritmetikens axiom motsägelsefulla eller inte?''

Hilberts andra problem från de berömda matematiska problemen som David Hilbert lade fram 1900 i Paris vid II International Congress of Mathematicians. Än så länge finns det ingen konsensus bland den matematiska gemenskapen om huruvida det har lösts eller inte. Problemet låter så här: är aritmetikens axiom motsägelsefulla eller inte? Kurt Gödel bevisade att konsistensen av aritmetikens axiom inte kan bevisas från aritmetikens axiom själva (om inte aritmetiken faktiskt är inkonsekvent). Förutom Gödel, behandlade många andra framstående matematiker detta problem.

Litteratur

• Hilberts problem / Ed. P. S. Alexandrova. - M . : Nauka, 1969. - S. 83-91. — 240 s. — 10 700 exemplar.

Länkar

• Rapport av D. Gilbert, 1900  (tyska)  (otillgänglig länk) . Hämtad 11 november 2013. Arkiverad från originalet 8 april 2012.

Hilbert problem
ett 2 3 fyra 5 6 7 åtta 9 tio elva 12 13 fjorton femton 16 17 arton 19 tjugo 21 22 23 ( 24 )