Redakcija: 16:34, 7. junij 2015 uredi XJaM (pogovor \| prispevki) Birokrati, Administratorji 123.627 urejanj m m/dp/pnp ← Starejše urejanje		Redakcija: 01:37, 16. junij 2015 uredi razveljavi XJaM (pogovor \| prispevki) Birokrati, Administratorji 123.627 urejanj m m/dp/pnp Novejše urejanje →
Vrstica 433: == Elementarni dokazi == V začetku 20. stoletja so dokaz poenostavili [[Edmund ~~Georg Hermann~~ Landau\|Landau]] in drugi matematiki. V prvi polovici 20. stoletja je nekaj matematikov verjelo, da obstaja hierarhija tehnik v matematiki in da je praštevilski izrek »globoki« izrek, za katerega dokaz je potrebna [[kompleksna analiza]]. Metode s samo realnimi spremenljivkami niso veljale za ustrezne. Hardy je bil znani član te skupine. [http://www.math.columbia.edu/~goldfeld/ErdosSelbergDispute.pdf] Formulacijo tega prepričanja je deloma omajal dokaz praštevilskega izreka, ki je temeljil na [[Wienrov tauberski izrek\|Wienrovem tauberskem izreku]] iz teorije [[divergentna vrsta\|divergentnih vrst]] iz leta 1932, čeprav bi bilo moč označiti »globino« Wienrovega izreka kot enako metodam kompleksne analize. Predstava »elementarnega dokaza« v teoriji števil ni točno določena, vendar se zdi da po navadi v grobem ustreza dokazom, ki jih je moč izvesti v [[Peanovi aksiomi\|Peanovi aritmetiki]], in ne v močnejših teorijah kot je na primer aritmetika drugega reda. Obstajajo izjave Peanove aritmetike, ki jih je moč dokazati v [[aritmetika drugega reda\|aritmetiki drugega reda]], ne pa v [[aritmetika prvega reda\|aritmetiki prvega reda]]. Takšen zgled je na primer [[Paris-Harringtonov izrek]]. Drugače pa so v praksi takšni izreki redki. Vrstica 530: * [[Dirichletov praštevilski izrek]] == ~~Opombe in sklici~~Sklici == {{~~opombe~~sklici\|2}} == Viri ==

Praštevilski izrek: Razlika med redakcijama