-1-

A GOLDBACH SEJTS TRTNETE (History of Goldbachs Conjecture) Dr. phil. Klopfer Ervin, PhD, CSc. okl. villamosmrnk, osztlyvezet , ny. f munkatrs, MTA KFKI.

sszefoglals: Prmszmok. Nhny ttel s sejts a prmekkel kapcsolatban. Az er s s gyenge Goldbach-sejts. Euler tlete. Megoldsi ksrletek s rszeredmnyek (E. Waring, A. Desboves, A. Cunningham, V. Brun, G.H. Hardy, J.E. Littlewood, S. Ramanujan, L.G. Snyirelman, I.M. Vinogradov, K.V. Borodzin, Rnyi A., T. Wang, J. Csen, O. Ramar, S.K. Kapoor, R. Knjzek). A szmtgpes ellen rzse igen nagy szmokig megtrtnt (N = 210exp17; N. Pipping, M.K. Shen, M.L. Stein & P.L. Stein, H.J.J. te Riele, J.-M. Deshouillers, J. Richstein, T.O. e Silva). A Faber-dj. Megoldhat-e a Goldbach-sejts egyltaln? Pros szmok prmsszeg-tblzata N 198-ig. Summary: Prime Numbers. Some theorems and conjectures in connection with primes. Strong and weak Goldbach Conjecture. Eulers idea. Experiments and particular results for the solution (E. Waring, A. Desboves, A. Cunningham, V. Brun, G.H. Hardy, J.E. Littlewood, S. Ramanujan, L.G. Snyirelman, I.M. Vinogradov, K.V. Borodzin, A. Rnyi, T. Wang, J. Csen, O. Ramar, S.K. Kapoor, R. Knjzek). Computer tests have been done up to very large numbers (N = 210exp17; N. Pipping, M.K. Shen, M.L. Stein & P.L. Stein, H.J.J. te Riele, J.-M. Deshouillers, J. Richstein, T.O. e Silva). Faber Prize. Is it possible to solve Goldbachs Conjecture at all? Table of the sum of primes for even numbers up to N < 198.

-21. PRMSZMOK
Mott: A prmek vilgttornyok a szmok tengerben A matematika a tudomnyok kirlyn je, s a szmelmlet a matematika kirlyn je (Gottfried Wilhelm Leibniz nmet matematikus, filozfus, 1646-1716) Die ganzen Zahlen hat der liebe Gott gemacht, alles andere ist Menschwerk (Az egszszmokat a Jisten teremtette, minden ms emberi alkots, Leopold Kronecker nmet matematikus, 1823-1891))

A prmszmok azok a termszetes egszszmok, amelyek eggyel s nmagukon kvl ms szmmal maradk nlkl nem oszthatk. A tbbi szm n. sszetett (kompozit) szm. Az egy sem nem prm, sem nem sszetett szm. Egyetlen pros prm van, a kett . A prmszmok a termszetes szmok pt kvei, azaz minden termszetes szm - a tnyez k sorrendjt l eltekintve - egyrtelm en felrhat prmszmok szorzataknt. Vgtelen sok prmszm van; erre alexandriai Eukleidsz (kb. i. e. 365-300) grg matematikus minden id k egyik legszebb matematikai bizonytst adta. A prmszmok megtallsra Eratoszthensz (i. e. 276-195) grg matematikus s csillagsz adott egy roppant egyszer mdszert, ez az n. Eratoszthensz-szita. A szita-mdszer hatkony, egyszer s gyors szmtgpes programmal futtathat. Ha N 50, a prmek: 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, sszesen 15 darab. Az albbiakban kzlnk nhny prmekkel kapcsolatos bizonytott ttelt s megoldatlan krdst: Minden pros szm legalbb egyflekpen - el ll, mint kt prm klnbsge, N s 2N kztt mindig van prm, ha N > 1 (P.F. Csebisev, Bertrand, Erd s Pl). Kt egymst kvet prmszm kztt tetszs szerinti nagy hzag lehet. Egy tetsz leges N egszszm krli k hosszsg intervallumban kzelt leg k/ln N darab prmszm
van, azaz a prmek tlagos tvolsga ln N.

Az n-edik prm p(n) ~ n ln (n). Ennl egy valamivel jobb becsls p(n) ~ n [ln(n) + ln ln(n) 1]
(Hardy s Wright). Van-e vgtelen sok ikerprm, ahol (pi pi-1) = 2, Van-e vgtelen sok prm, amely (N2 + 1) formban rhat fel? Mindig van-e prm N2 s (N + 1)2 kztt? Mindig van-e prm N2 s (N2 + N) kztt, ha N > 1? Van-e vgtelen sok prm, amely (4N + 1) formban rhat fel? Van-e vgtelen sok prm, amely (4N - 1) formban rhat fel? Melyik tpusbl van tbb? Van-e vgtelen sok prm, amely (N! + 1) formban rhat fel? Van-e vgtelen sok prm, amely (N! - 1) formban rhat fel? Ltezik-e ltalnos prmkplet? Van-e ltalnos formula a prmfaktorizcira? A legnagyobb ismert n. Mersenne prm (2004): 224036583-1. Ez a 41-edik Mersenne-prm, amelynek formja: (2p 1). Van-e vgtelen sok Mersenne prm?

-3 A legnagyobb ismert n. Fermat prm (2004): 1361244131072+1. A Fermat prm (1650) formja n 2 2 1 . Van-e vgtelen sok Fermat prm? n lim =1 n Prmszmttel: n , ha n jelli az n egszszmig a prmek dz ln z 2
szmt (Jacques S. Hadamard, Charles de la Valle-Poussin, Erd s Pl [1949], Atle Selberg) [15].

Leonhard Euler (1707-1783) vezette be els knt a szmelmletbe az n. (s) (vals) zeta-fggvnyt: 1 1 ps 1 = = = s = (s) n=1 n s p 1 p p 1 s , 1 s p 1 p p
ahol vagyis: n termszetes szm, p = 2; 3; 5; 7; 11; prmszm,

1 1

1 2

1 3

1 4

1 5

.. .= s

2s 2 s 1

3s 3 s 1

5s 5s1

Ha s 1, akkor a sor divergens (s = 1 eset a harmonikus sor), ha s > 1, akkor konvergens. Euler azt az esetet vizsglta, amikor s = 2, vagyis:

. . . 7s 1 11 s 1

7s

11 s

2 =
2

2 1 1 1 , illetve a vgtelen produktumbl: = 1 ... = 2 4 9 16 6 n =1 n 4 9 25 49 121 169 289 361 529 841 = 3 8 24 48 120 168 288 360 528 840

A produktum konvergencijval kapcsolatban megjegyezzk, hogy tz tnyez (pn = 29) figyelembe vtele esetn: 2/6 1,633070491, s ebb l 3,1(30243272), vagyis az eredmny egy tizedesjegyre pontos. 1859-ben G. F. Bernhard Riemann (1826-1866) nmet matematikus kiterjesztette az Euler-fle zetafggvny fogalmt komplex vltozra is, amikor s = (x + iy). A prmszmokkal kapcsolatban kt fontos algoritmikus problma fogalmazhat meg: (1) ha adott egy k jegy szm, hogyan tudjuk eldnteni rla, hogy prmszm-e? (2) ha nem prmszm, hogyan tudjuk megtallni a prmtnyez it? Az els problma sokkal knnyebb, mint a msodik. Vannak hatkony polinomilis algoritmusok, amelyek akr 1000 jegy szmrl is viszonylag knnyen eldntik, hogy prm-e. A prmtnyez kre bontsra azonban egyel re csak olyan algoritmus ismert, amely 100-nl tbb szmjegy esetn mr csak igen nehezen, 150 szmjegy fltt pedig egyltalban nem m kdik (pl. a Miller-Rabin teszt, 1976, Gary L. MILLER [School of Computer Science, Carnegie Mellon Uni, Pittsburgh, PA, USA)] s Michael O. RABIN [Engineering and Applied Sciences, Harvard Uni, Cambridge, MA, USA]). Egy 5000 jegy szmnl a prmteszt prbaosztssal kb. 102486 vig(!), egy egyszer stett prmteszttel kb. 5000 vig tartana. A Miller-Rabin prmteszt kb. 8 ra gpid t ignyel, megbzhatsgi valszn sge ~10-140, ami nagyon jnak mondhat! Nemrgiben az 5000 rs tesztid t is egy nagyon hatkony szmtgpes programmal sikerlt jelent sen cskkenteni (Karl-Heinz Indlekofer s Jrai Antal, Universitt Paderborn, Paderborn, http://www.adobe.com/Ostwestfalen-Lippe, Germany).

Mint emltettk; az igen nagy szmok prmfaktorizcija nagyon nehz feladat. A kronolgia: 1970 1978 1981 1982 132 bit (39 jegy decimlis szm) 150 bit 156 bit 170 bit

-41983 210 bit 1984 240 bit 1986 290 bit 1987 299 bit (90 jegy decimlis szm) 1988 332 bit 1990 369 bit 1991 386 bit 1992 429 bit 1996 432 bit 1998 466 bit 1999 512 bit (154 jegy decimlis szm) 2018 (2037) 1024 bit (308 jegy decimlis szm) Az 512 bit-es prm faktorizcijt Herman J.J. te RIELE s csoportja tallta meg 1999. augusztus 22-edikn, amely kt 78 digitb l ll prm szorzata. A mdszer az n. Number Field Sieve (szmmez - szita) volt, a komputerid 3,7 hnap a Scientific Applications & Research Associates (SARA) Inc. (Albuquerque, New Mexico, USA) Cray-C916 szuperkomputervel.

-52. A GOLDBACH-SEJTS SZLETSE

Mott: Egy j sejts sokszor tbbet r, mint egy szp bizonyts Sejts, s bizonyts (Erd s Pl magyar matematikus, 1913-1996) Lisez Euler, lisez Euler, cest notre maitre tous (Olvasstok Eulert, olvasstok Eulert; mindenben a mi mesternk, Pierre Simon de Laplace francia matematikus, csillagsz, 1749-1827) Imagination is more important than knowledge (A kpzelet sokkal fontosabb, mint a tuds, Albert Einstein nmet fizikus, 1879-1955) A magyarok szerint a tudomnyt nem helyes vlaszok, hanem megvlaszolhatatlan krdsek alkotjk (Mathematical Intelligencer 4, 1983) No brkjt amat rk csinltk, a Titanicot profik

Christian Goldbach (1690-1764) porosz amat r matematikus s trtnsz (aki f leg Szentptervron s Moszkvban lt s dolgozott) 1742. jnius 7-edikn azt rta Leonhard Euler-nek [1.bra], hogy Mindenesetre gy nz ki, hogy egy 2-nl nagyobb szm el llthat hrom prmszm sszegeknt (Es scheinet wenigstens, da eine jede Zahl, die grer ist als 2, ein aggregatum trium numerorum primorum sey). Ez a gyenge Goldbach-sejts. Euler vlaszban azt rta, hogy ennek bizonytshoz elegend azt beltni, hogy minden kett nl nagyobb pros szm (2n) - legalbb egyfle mdon - felbonthat kt prmszm (p1 s p2) sszegre (lsd albb), vagyis 2n = p1 + p2. Megengedett a p1 = p2 is. Ez az n. Goldbachsejts, pontosabban a pros Goldbach-sejts, (er s Goldbach-sejts vagy kett s Goldbach-sejts). Pl: 4 = 2+2; 6 = 3+3; 8 = 3+5; 10 = 3+7 = 5+5, stb. A Goldbach-sejts - amit a matematikai irodalomban csak Goldbach Conjecture (GC) nven emlegetnek - legegyszer bb formjban teht gy hangzik: Minden kett nl nagyobb pros szm legalbb egyflekppen el ll, mint kt prm sszege. gy t nik, hogy Euler nem prblkozott a Goldbach-sejts bizonytsval. rdekessg, hogy Euler egy 1731-ben Goldbach-hoz rt levelben mr tallkozhatunk az e szmmal. Trfsan azt szoktk mondani, hogy: Every even number is the sum of two primes s Every
marriage is the sum of two individuals (Mansur DARLINGTON szakr). Egy budapesti napilap internetes online frumn 2004. mrcius 30-adikn jelent meg az albbi versike:

Bertrand mester
Euler csm, ltom, Bizonythatatlan itt egy posztultum. Pedig sejtem, rzem: biztos, mint a hall, N s 2N kztt prmet mindig tall, Aki ilyent keres. Euler flretette, Taln jobb id kre. Vagy nem rdekelte. Csebisevnek viszont, kit pp dobott n je,

-6Volt b ven ideje s knykvd je. Paprt nem kmlve, agyt csikorgatva, Ptcselekvs gyannt bebizonytotta. Kicsit nygvenyel s volt a bizonyts, Nem is ezt akarta... De j, amg nincs ms. Vletlen rbukkant a fiatal Erd s, Tizennyolc alig mlt, zseni volt, nem szjh s. Rnzett, s az ihlet elkapta a fit, Mr ltta is, merre visz a kirlyi t. Volt zsebben ppen egy hasznlt koperta, A megoldst azon nyomban rkaparta. Mra mr kzismert mind a hrom sora, Csak a szegny Bertrand nem tudta meg soha.

Az er s GC enyhbb formja a hrmas Goldbach-sejts vagy hrom prm problma, amely szerint: minden tnl nagyobb pratlan szm felrhat hrom prm sszegeknt. Pl: 9 = 2+2+5; 11 = 2+2+7; 103 = 3+47+53; 111 = 3+ 11+97; 117= 17+29+71; 189 = 41+59+89, stb. Mint fentebb lttuk, Christian Goldbach 1742-ben Eulerhez rt levele egy olyan sejtst tartalmaz,
miszerint minden tnl nagyobb szm felrhat hrom prm sszegeknt. Euler gondolatmenete szerint: mivel (amennyiben ez igaz) pros szmok esetn az egyik prm mindenkppen a 2 (mivel hrom pratlan prm sszege szksgszer en pratlan lenne, s 2 az egyetlen pros prm), kzenfekv kvetkezmny, hogy minden pros szm kt prm sszege . Teht nem is Goldbach, hanem Euler fogalmazta meg a sejtst, ami ma a msik nevt viseli. Goldbach sejtst Eulerhez rt levelnek margjra rta. gy ltszik, hogy a levlmargk a matematikai sejtsek megfogalmazsban gyakran kaptak jelent s szerepet (pl. Nagy Fermat Sejts). Megjegyzend , hogy Goldbach az 1-et is prmnek tekintette. De az 1 nem prm, mert akkor 2 = 12 sszetett szm lenne, mint kt prm szorzata. De nem csak a 2 lenne sszetett szm, hanem brmely prm is, hiszen pi = 1pi. Goldbach Eulerhez rt levelt el szr 1843-ban Pavel Nyikolajevics Fussz (1797-1855) orosz matematikus tette kzz [10]. Pithagorasz (kb. i. e. 582-500) s kvet i, a pithagoreusok les klnbsget tettek a pros s pratlan szmok kztt. Szmmisztikjukban a pros szmokat n i , a pratlanokat frfi jelleg nek tekintettk (2 = n ; 3 = frfi; 2+3 = 5 = hzassg). Christian Goldbach a Balti-tenger kzelben, a Pregel foly partjn fekv akkor porosz Knigsbergben (ma Kalinyingrd) szletett, apja lelkipsztor volt; matematikt s jogot tanult. Beutazta egsz Eurpt (szakeurpa, Ausztria, Itlia) s tallkozott kora legkivlbb matematikusaival (Leibniz, Euler, Nicholas I. Bernoulli, Nicholas II. Bernoulli, Daniel Bernoulli, Moivre, Hermann). 1725-ben a Szentptervri Birodalmi Egyetem matematika s trtnelem professzora, majd az akkoriban ltestett Szentptervri Tudomnyos Akadmia titkra lett. 1728-ban Moszkvba ment s nevel je lett Pter crevicsnek, a ks bbi II. Pter crnak (1728-1732). 1734-ben visszatrt Ptervrra, 1742-t l Moszkvban a Klgyminisztrium tisztvisel je. Jelent s eredmnyeket rt el a szmelmlet, a vgtelen sorok sszegezse, a grbk s egyenletek elmletben. Eulerrel s D. Bernoullival 20 vig levelezett, s mintegy 200 levelet rt. Leonhard EULER (1707-1783) matematikus, fizikus s csillagsz, a 18. szzad legnagyobb s minden id k egyik legtermkenyebb matematikusa, a matematikatrtnet egyik legnagyobb alakja volt; aki a matematika szinte minden terlett m velte s ezeken maradandt alkotott. Egyike volt a legsokoldalbb tudsoknak; lltlag elejt l a vgig kvlr l tudta az Aeneis-t. A svjci Basel-ben szletett, apja Paul EULER Riehen-ben szegny klvinista lelksz volt, aki azonban nagyon szerette a matematikt s ifj veiben szorgalmasan hallgatta Jacob BERNOULLI rit. Apja azt szerette volna, hogy Leonhard is lelksz legyen. Leonhard apja kvnsgra 1720-ban beiratkozott a Baseli Egyetemre, ahol el szr teolgit, grg, latin s hber nyelveket tanult, de tbb kedvet rzett a matematikhoz. Apja beleegyezett, hogy matematikt tanuljon. A Baseli Egyetemen Johann BERNOULLI (Jacob Bernoulli ccse) tantvnya lett, akinek hzba is bejratos volt, s j bartsgba kerlt fiaival, Nicolaus (III.) s Daniel (I.) BERNOULLI-val. Tanra hamar felismerte rendkvli

-7tehetsgt s kln is foglalkozott Vele. Br az egyetemet kvlan vgezte el s 16 ves korban mr megszerezte a magiszteri fokozatot, egyetemi llst nem sikerlt kapnia. 1725-ben NAGY PTER (I. PTER, 1672-1725, uralk: 1682-1725) orosz cr az ltala alaptott szentptervri Akadmira hvta meg a kt Bernoulli-fit (Nagy Pter levelezsben llt LEIBNIZ-cel, akinek segtsgvel szervezte meg a ptervri Akadmit). Daniel 1727-ben kieszkzlte I. KATALIN (1679-1727, uralk: 1725-1727) orosz crn nl (Nagy Pter felesge) Euler meghvst. Euler I. Katalin halla napjn rkezett Ptervrra, 1727ben Nicolaus 1726-ban bekvetkezett halla utn egy vvel - kerlt az lettani tanszkre (mivel csak ott volt res hely), s 1730-ban (23 vesen) lett a ptervri Akadmia fizika professzora. Daniel Bernoulli 1733-ban vgleg visszatrt Basel-be, gy Euler tkerlhetett a helyre s 1733-ban - alig tbb, mint 25 vesen - lett az Akadmia tagja, els szm matematikusa, egyetemi tanra. 14 ves szentptervri tartzkodsa alatt sokat dolgozott: tantott, szerkesztette Oroszorszg trkpt s 130 tudomnyos munkt rt; sokat a szentptervri Akadmia ltal alaptott Commentarii Academiae Scientiarum Imperialis Petropolitanae cm tudomnyos folyiratba (ahol mg 43 vvel halla utn is jelentek meg munki). 1736-ban 29 ves korban - jelent meg els knyve Mechanica sive motus scientia analytice exposita (Mechanika, azaz a mozgs tudomnya analitikus mdon kifejtve), amelyben a tmegpont mozgst trgyalta. 1733-ban Oroszorszgban hzasodott ssze Katharina Gsell-lel, egy svjci fest , a m vszeti Akadmia igazgatjnak lenyval. Tizenhrom gyermekk kzl csak t maradt letben; hrom fi s kt leny. A 19. szzad Oroszorszgban a gyermekek leszrmazottai magas pozcikba kerltek. 1735-ben - az er ltetett munka s egy szembetegsg kvetkeztben ltszavarai lettek, majd jobb szemre megvakult (ezrt nevezte t VOLTAIRE Cyclope mathmatique-nek, a matematika Kklopsz-nak). Panasz nlkl dolgozott tovbb s csak annyit mondott: most majd kevesebbet hborgatnak. Csaknem 1000 matematikai rtekezsn kvl tbb jelent s knyve jelent meg az analzisr l. 1741-ben elfogadta NAGY FRIGYES (II. FRIGYES, 1712-1786, uralk: 1740-t l) porosz kirly (a porosz militarizmus megteremt je, katonai zseni s zeneszerz , fanatikus Voltaire-rajong) meghvst az I. FRIGYES (1657-1713; uralk: 1701-1713) porosz kirly (Gottfried Wilhelm LEIBNIZ patrnusa) ltal 1707-ben alaptott berlini Akadmira (I. Frigyes csak gy beszlt rla, hogy az n Akadmim). Ett l kezdve Euler udvari matematikus (amely tisztsgt ks bb LAGRANGE vette t), a berlini Akadmia alelnke, a matematikai osztly elnke, matematika professzor. A szentptervri Akadminak tovbbra is tagja, s t igazgatja maradt, vi 3000 rubel fizetst is kapott (halla utn felesgnek 1000 rubelt folystottak, amire nagy szksge is volt, hogy kt hzassgbl szletett 13 gyermekt (!) felnevelhesse). Hrom fia j llst kapott Ptervron, legid sebb fia Johann Albrecht fizikus az Akadmia titkra lett. Euler 25 vi berlini tartzkodsa alatt tovbbi 275 tudomnyos munkt rt (!), amelyek egy rsze Oroszorszgban jelent meg. Euler Nagy Frigyes krsre kzrem kdtt a porosz uralkod potsdami Sanssouci kastlyban ptett, 30 mteres szk kt tervezsben is (a szk kt vglegesen csak 1841-ben kszlt el). Mivel Euler Nagy Frigyes porosz udvarnak rideg, katons lgkrt nem tudta megszokni, gy rmmel elfogadta NAGY KATALIN (II. Katalin, 1729-1796, uralk: 1762-t l) orosz crn meghvst (aki Voltaire-rel s DIDEROT-val is levelezett s anyagilag is tmogatta k et, s aki felvilgosult abszolutista uralkod volt), s 1766-ban - csaldjval egytt, a htves hbor el l - visszakltztt Szentptervrra, ahol ett l kezdve lete vgig (mg 17 vet), mint a matematika s a fizika professzora m kdtt. Egy, a hzban pusztt t zben majdnem meggett; csak sajt magt s matematikai kziratait tudta megmenteni. Kemnyen dolgozott s tantott, mikzben a tlhajszolt munka kvetkeztben 1771-ben p szemn hlyog kpz dtt s teljesen megvakult. 1776-ban ugyan a hlyogot m tttel eltvoltottk, de sebe elfert z d tt s Euler visszazuhant a teljes vaksgba. Johann Albrecht-nek, tovbb tantvnyainak s Svjcbl hozatott titkrnak vakon diktlta le 416 tovbbi munkjt. Algebra cm knyve amelyet lete utols veiben lenynak diktlt le nemzedkeken t a legfontosabb matematika tanknyv volt. Sokat tett a matematika szimblumrendszernek megalkotsa tern: T le szrmazik sok alapvet matematikai jells, pl. az

e ,i ,

, , , f x

s mg sok ms; a fels bb matematika jellseinek jelent s rsze. Rendszerezte, s tovbb fejlesztette az analtikus geometrit, a fggvnytant (analzist), a differencil-s integrlszmtst, a komplex szmok elmlett, teljess tette a trigonometrit. Megalkotta a poliderekre vonatkoz - ma Descartes-Euler formulnak nevezett ttelt, amely szerint: LAP + CSCS = L + 2

-8Megjegyzend , hogy fenti poliderttelt Ren du Peron DESCARTES (1596-1650) francia filozfus, matematikus s fizikus fedezte fel els knt 1619-ben, amikor a bajor hadseregben szolglt. Az e szimblum megvlasztsnak okrl csak tallgatni lehet. Vannak, akik szerint az e az exponencilis sz kezd bet j e lenne, msok az a, b, c, d - az akkori matematikt m vel k kztt bevetten hasznlt - bet k sorban a kvetkez t ltjk benne. A rosszmj irigyek vlemnye az, hogy Euler a szmot nmagrl nevezte el. Euler foglalkozott a bolygk mozgsval is. Sok knyvet s knyvtrnyi tanulmnyt rt. A matematika minden gban a szmelmletet is belertve jelent set alkotott; knyvei, tanulmnyai tfogtk s szintetizltk az egsz 18. szzadi matematikt. Elmondhat Rla, hogy munkssga nyomn megvltozott szinte az egsz matematika. Kortrsai mathematicus acutissimus-nak (a leglesebb elmj matematikus) neveztk. Amikor 1783 szeptember 18-adikn Euler-t hallos szlts rte, CONDORCET mrki, francia filozfus s matematikus, a francia Akadmia tagja ezt mondta: et il cessa de calculer et de vivre (s [Euler] megsz nt szmolni s lni).

Mint rdekessget, megemltjk, hogy a kommunista rezsim alatt megjelent szovjet knyvek
szemlyt kisajttva - gy emlegetik, mint a mi nagy orosz matematikusunk, Ejler. Ilyen jelleg patrita, nha nacionalista kisajttsra sok plda akad: Johann Heinrich Lambertet (Jean Henri Lambert) maguknak tekintik a nmetek, a francik s a svjciak, Liszt Ferencet (Franz Liszt) a magyarok s az osztrkok, Lnrd Flpt (Philipp Lenard) a szlovkok, az osztrkok, a nmetek s a magyarok, stb. Euler 886 knyvet s tudomnyos rtekezst publiklt (tlagos teljestmnye vi 800 nyomtatott oldal volt!). 1907-ben - szletsnek 200-adik vforduljra a Svjci Termszettudomnyi Trsulat - a berlini s ptervri Akadmival kzsen - elhatrozta, hogy kiadja sszegy jttt munkit, amelyet kezdetben 35 ktetre terveztek. A kiads 1909-ben indult; az els ktet 1911-ben jelent meg (Teubner Verlag GmbH, Wiesbaden, Deutschland). Gustav ENESTRM (1852-1923) neves svd matematikatrtnsz sszelltotta Euler m veinek csaknem teljes gy jtemnyt; gy kiderlt hogy a 35 ktetre tervezett kiads 72 ktet lett. 1931-ben mr 32 ktet volt kszen (Birkhuser Verlag, Basel, Schwitzerland. 1964-ig 59 ktet (egyenknt 600 oldal) ltott napvilgot. s eme gigantikus letm mg nem tartalmazza kiterjedt szakmai levelezst a Bernoulli-akkal, Goldbach-al s ms kvl matematikusokkal. Becslsek szerint mintegy 4000 levlr l van sz, amelyekb l 2791 maradt fenn. GAUSS rta: Euler m veinek tanulmnyozsa mindig a legjobb iskola lesz s semmi ms nem ptolhatja. A fizikban DALEMBERT mellett - az analitikus mechanika megalaptja: nevt a merev testek mozgst ler Euler-egyenletek, valamint a hidrodinamika Euler-egyenletei (kontinuitsi-egyenlet) rzik. A slypont helyett bevezette a tmegkzppont fogalmt. Mint a variciszmts megalapozja, jelent s eredmnyeket rt el a mechanikai minimlelv megfogalmazsban (a Maupertuis-elvet is fogalmazta meg; korbban s preczebben, mint maga Maupertuis). HUYGENS-szel egytt rszletesen vizsglta a hrok s membrnok gerjesztett rezgseit s az uralkod NEWTON-i korpuszkulris elmlettel szemben a fnyt, mint rezgsi llapotot fogta fel; igaz, hogy nem transzverzlis, hanem longitudinlis hullmknt kezelte. Megcfolta Newton lltst az akromatikus lencsk ksztsnek lehetetlensgr l. Newton-tl fggetlenl rjtt, hogy er nem a mozgsllapot fenntartshoz, hanem annak megvltoztatshoz szksges s felrta az er = tmeg gyorsuls alapvet sszefggst (F = d(mv)/dt). Knyvet rt a hidraulikrl, a hajtervezsr l, a tzrsgr l, s t a zenr l is. Euler-nek volt nhny lland levelez partnere, kztk dAlembert, akit nem tartott valami sokra (!) s szemlyben sem kedvelte, tovbb Goldbach, a Bernoulli-ak, stb. Euler-nek elkpeszt szmolkszsge, memrija, bels ltsa s munkabrsa volt. Egyik jszaka mr vakon - fejben kiszmtotta az els 100 egszszm hatodik hatvnyt s nhny nappal ks bb mg emlkezett az egsz tblzatra, s lerta! Sokszor gy vgezte fejben kompliklt szmtsait, hogy kedvenc macskja a nyakban, egyik gyermeke pedig az lben lt. Legjelent sebb m vei : Mechanica, sive motus scientia analytice exposita (Mechanika, azaz a mozgs tudomnya analitikus mdon kifejtve, 1736) - [tmegpontok dinamikja], Methodus inveniendi lineas curvas maximum minimumque proprietate gaudentes (A maximum s minimum tulajdonsg grbk feltallsnak mdja, 1744) - [szls rtk- s variciszmts],

-9 Introductio in analysin infinitorum I-II. (Bevezets a vgtelenek analzisbe, Berlin, 1748)

[trigonometria, jellsek, fggvnyek sorbafejtse, imaginrius s komplex szmok, analitikus geometria, szmelmlet, felletek s grbk tulajdonsgai], Institutiones calculi differentialis I-II-III. (A differencilszmts alapjai, Berlin, 1755) [differencilszmts, differencilegyenletek], Institutiones calculi integralis I-II-III-IV. (Az integrlszmts alapjai, Szentptervr, 1768-70) [differencil- s integrlszmts, differencilegyenletek elmlete, Taylor sorok alkalmazsai, specilis integrlok], Vollstndige Anleitung zur Algebra (Teljes algebrai bevezets, 1770) - [harmad- s negyedfok algebrai egyenletek elmlete].

Egybknt Ren DESCARTES (1595-1650) francia matematikus, fizikus s filozfus mr jval Goldbach s Euler el tt ismerte a GC-problmt, s egy posztumusz kzztett levelben emltette. Br nem volt teljesen meggy z d ve rla, gy fogalmazott: Minden pros szm egy, kett vagy hrom prm sszege. Pl: 2 = 2; 4 = 2+2 = 1+1+2; 6 = 3+3 = 2+2+2; 8 = 3+5 = 1+2+5; 10 = 5+5 = 2+3+5; 12 = 5+7 = 2+5+5; stb. Lthatan is az ttelezte, hogy az 1 prmszm. Erd s Pl a vilghr magyar matematikus mondta: Jobb, hogy a sejtst Goldbach utn neveztk el,
mivel matematikus nyelven szlva Descartes vgtelenl gazdag, Goldbach pedig nagyon szegny volt.

1999-ben Hongbo LI (Mathematics Mechanization Research Center, Institute of Systems Sciences, Chinese Academy of Sciences, Beijing, China) meghatrozsa szerint azokat a pozitv egszszmokat, amelyek el llnak, mint kt pratlan prm sszege, Goldbachszmoknak nevezzk. Pl: 6 = 3 + 3; 18 = 5 + 13; 36 = 7 + 29, stb. A szmelmletnek azt az gt, amely a szmoknak prmszmokbl val el lltsval foglalkozik,
additv szmelmletnek nevezik.

A Goldbach-sejts egyike a matematika (ezen bell a szmelmlet) legrgebbi, mig megoldatlan problmjnak.

- 10 3. MEGOLDSI ER FESZTSEK - GOLDBACH SEJT S?

Mott: Nonne mathematici veri natique poetae? Sunt, sed quod fingunt, hosce probare decet (Vajon nem szletett s igaz potk a matematikusok is? Azok, de azt, amit kiagyalnak, bizonytaniok kell, Leopold Kronecker (1823-1891) nmet matematikus) Arkhimdszre emlkezni fognak, amikor Aiszkhloszt mr rgen elfelejtettk, mert a nyelvek mulandk, de a matematikai gondolatok nem. Lehet, hogy buta sz a halhatatlansg, de brmit jelentsen is, a matematikus plyzik r a legjobb esllyel (G.H. Hardy (1877-1947): Egy matematikus vd beszde) Essentiae rerum sunt sicut numeri (A dolgok lnyegei a szmok, Gottfried Wilhelm Leibniz (1646-1716) nmet matematikus) Another roof, another proof (Ahny hz, annyi bizonyts, Erd s Pl magyar matematikus, 1913-1996)

Edward WARING (1734-1798) angol matematikus a Meditationes Analyticae (Cambridge, 1776) c. knyvben a kvetkez sejtst fogalmazta meg: Minden pros szm kt prm sszege s minden pratlan szm vagy prmszm, vagy hrom prm sszege. Pl: 2 = 1+1; 6 = 3+3; 8 = 3+5; 10 = 5+5; 14 = 7+7; 15 = 3+5+7; 21 = 7+7+7; stb. Az egyet is prmnek tekintette. Minden pros szm (legalbb egyfle mdon) el ll, mint kt prm klnbsge ez a sejts nagyon hasonl ahhoz, amit Goldbach lltott, de mgsem ugyanaz. Pl: 10 = 17-7; 32 = 4311 = 397= 37-5; stb. 1855-ben A. DESBOVES francia matematikus igazolta, hogy minden 2 < 2n < 10.000 pros szm kt prm sszegeknt ll el [11]. 1894-ben Georg CANTOR (1845-1918), a kivl dn/nmet matematikus kielemzett egy prmtblzatot, aminek segtsgvel igazolta 2n < 1000-ig a Goldbach-sejtst. CANTOR-t a kortrs matematikusok (Kronecker, Poincar, Schwarz) meg nem rtse mnis
depressziba, majd az rletbe kergette; 1918-ban egy Halle-i ideggygyintzetben szvroham vgzett Vele. Egyik megnyilatkozsa: n vagyok a matematika Alfja s Omegja n, Georg! A kisujjamat se mozdtom, hogy megvdjem magam.

1896-1903 kztt A. AUBRY igazolta a Goldbach-sejtst 1002 < 2n < 2000 kztti pros szmokra. 1896-ban R. HAUSSNER igazolta a sejtst 2n < 10.000-ig. 1896-ban Paul Gustav STCKEL (1862-1919) nmet matematikus Kronecker s Weierstrass tantvnya (differencilegyenletek, halmazelmlet, prmszmok) - s msok lassan sz ktettk a problmt.

- 11 A. CUNNINGHAM bebizonytotta a sejtst N < 2108-ig, specilis tpus szmokra. Cunningham nevhez f z d nek az n. els s msodik tpus Cunningham-lncok. Legyen p prm, s q = 2p+1, r = 2q+1, s = 2r+1, stb. szintn prmek. Ekkor [p;q;r;s;] els tpus Cunningham-lncot alkot. Pl: [2; 5; 11; 23; 47] egy t tagbl ll, els tpus CC (Cunningham Chain). Legyen ismt p prm s q = 2p-1, r = 2q-1, s = 2r-1, stb. szintn prmek. Ekkor [p;q;r;s;] msodik tpus Cunningham-lncot alkot. Pl: [2; 3; 5] vagy [1531; 3061; 6121; 12241; 24481]. Utbbi egy t tagbl ll, msodik tpus CC. Mindkt prmlnc tpust komplett lncnak nevezzk. 1997-ben Tony FORBES tallt egy 14 tag els tpus s egy 16 tag msodik tpus CC-t (utbbi hossza 19 digit). Phil CARMODY s Paul JOBLING 16 tag, els tpus CC-t (hossza 21 digit) tallt. P. JOBLING 1999-ben tallt egy 15 tag, els tpus CC-t (hossza 17 digit). A >1000 digitb l ll prmek a titn-prmek (Samuel YATES elnevezse). 1897-ben J.J. SYLVESTER (1814-1897) kijelentette; valszn leg igazolni tudja a Goldbachsejtst. Szerinte minden N = 2n pros szm el ll kt prm sszegeknt, ahol az egyik prm p1 > N/2, a msik prm p2 < 3N/2 [6];[7]. Sejtst 2 < N < 1000-ig igazolta. Srinivasza RAMANUJAN (1887-1920), a zsenilis indiai matematikus (az angol Hardy felfedezettje s ks bbi munkatrsa) sejtse, hogy valamilyen nagyon nagy szm felett a Goldbach-sejts ellenpldjra bukkanhatunk.
Mott: When a distinguished but elderly scientist states that something is possible he is almost certainly right. When he states that something is impossible, he is very probably wrong (Ha egy kivl, de regecske tuds valamir l azt lltja, hogy lehetsges, akkor majdnem biztos, hogy igaza van. Ha azt lltja, hogy valami lehetetlen, nagyon valszn , hogy tved Arthur C. Clarke: Profiles of the Future: An Inquiry into the Limits of the Possible) Ubi dubium, ibi libertus (Ahol ktelkednek, ott szabadsg van)

1912-ben Edmund Georg Hermann LANDAU (1877-1938), vilghr nmet matematikus, szmelmlsz azt mondta a Goldbach-sejtsr l: a tudomny mai llsa szerint megoldhatatlan. Hermann Landau Gttingen-i egyetemi tanr 1934-ben zsid szrmazsa miatt - faji tmadsok
kereszttzbe kerlt, s eltvoltottk az egyetemr l Ludwig Georg Elias Moses BIEBERBACH (18861982) - egy egybknt kivl - nmet szmelmlet tuds, aki szgyenletess tette nmagt fasiszta, antiszemita nzetei miatt, vezet szerepet jtszott Landau eltvoltsban, s a nci fajelmlet (Herrenvolk) szellemben fogant indoklst rsban is kzztette. G.H. Hardy angol matematikus volt az, aki igen kemnyen s karaknul llt ki Landau mellett.

- 12 1915-ben fordulat kvetkezett be, amikor Jean MERLIN szrevette, hogy a Goldbach-sejts valamilyen mdon sszefggsben van az ikerprmekkel. Sajnos korai halla miatt munkjt nem fejezhette be. p1 s p2 akkor ikerprmek, ha (p2 p1) = 2, pl: [3;5], [5;7], [11;13]; [17;19]; [29;31]; [41;43];
[101;103]; [821;823]; stb. Sejts: vgtelen sok ikerprm ltezik (Richard F. ARENSTORF, Vanderbilt Uni, 2004. mj. 26.) de bizonytsa hibs volt, amint arra Grald TENENBAUM francia matematikus rmutatott.

1920-ban Viggo BRUN (1885-1978) norvg matematikus, szmelmlsz cikket publiklt, amelyben elemi mdszerekkel bebizonytotta, hogy minden elegend en nagy pros szm el ll, mint kt olyan szm sszege, amelyek mindegyike kevesebb, mint 9 prm szorzata. Ezek a prmek lehetnek egyenl k is. Viggo Brun 1910-t l Gttingenben tanult, 1914-ben prizsi tanulmnytra ment, 1915-ben jelent s
szmelmleti munkt publiklt (Brun-szita) az ikerprmekkel kapcsolatban. Azt tudjuk, hogy a pmek reciproknak sora divergens vagyis, ha pk a k-adik prm:
k =1

1 1 1 1 1 1 1 1 1 1 1 1 = . .. . p k 2 3 5 7 11 13 17 19 23 29 31

Brun bizonytotta be, hogy az ikerprmek reciproknak sora konvergens; sszege a tiszteletre elnevezett Brun-lland:

B2 = lim B 2 p =
p

1 1 1 1 1 1 . .. 1, 902160583104 . .. 3 5 5 7 11 13

Thomas R. NICELY (Lynchburg, VA, USA) 1993-ban szmtgppel sszeadta az ikerprmek reciprokait 3,1551015-ig s a Brun-llandt 1,902160582310-nak tallta. Eddig a hatrig sszesen 3.471.427.262.962 darab ikerprmet tallt. Az ikreprmek reciprok sornak sszegre a legjobb becslst 2002-ben Pascal SEBACH tette, megvizsglva az ikerprmeket p < 1016-ig. Szerinte az ikreprm Brun-lland B2 = 1,902160583104 s a prm-kvadruplettek reciprok sornak sszege: B4 = 0,87058838 510-10. Prm-kvadruplettek: [5;7,11;13]; [11;13;17;19]; [101;103;107;109]; stb. Brun 1919-20-ban megalkotta a sokdimenzis lnctrtek elmlett. 1923-tl a Technical University Trondheim, majd 1946-1950 kztt az University of Oslo matematika professzora volt. Utbbin olyan kivl matematikusok tantottak, mint Abel, Lie, Strmer s Thue. David Underbakker, Phil Carmody et al. 2001-ben megtalltk az addig ismert legnagyobb ikerprmet, amely: 318032361 2 107001 1 . Az ikerprm (twin prime) elnevezs Paul Gustav Stckel (18621919) nmet matematikustl szrmazik (szmelmlet, differencilegyenletek, halmazelmlet). 1849-ben tette kzz Alphonse de POLIGNAC (1817-1890) francia matematikus a prmekre vonatkoz sejtst, ami szerint vgtelen sok olyan [p1;p2] prmpr ltezik, amelyek kztti klnbsg 2k, azaz (p2 p1) = 2k. Ha k = 1, ez az ikerprmek esete. Az els 50 prm kztt 16 ikerprm tallhat. A prmszmok reciproknak sorsszege mint emltettk - vgtelen, de extrm lassan tart a vgtelenhez. Ha az els 50 milli (!) tagjt sszeadjuk, mg mindig csak <4 sszeget kapunk. A sor 11 tagjnak sszege csak 1,565696836 Az, hogy vgtelen sok ikerprm ltezik-e, a szmelmlet egyik legnagyobb megoldatlan problmja, amir l Barbra Streisand ltal 1996-ban rendezett romantikus vgjtk filmjben is sz esik, cme: Mirror Has Two Faces (Tkrm tkrm). Kt fiatal, Rose Morgan s Gregory Larkin mindketten a Columbia University (New York, USA) professzorai tallkoznak. Rose romantikus irodalmat tant, de nincs romnc a magnletben, br vgyik r, csnya n , szerelem s szex nlkli lettel. Greg jkp , de unalmas matematikus, aki megcsmrltt a szext l, ami tnkretette lett; csaldott, nyugalomra s intellektulis bartsgra vgyik. Rose anyjval s amorlis n vrvel kszkdik. Mindkett jk magnlete frusztrlt; kett jkben semmi kzs nincsen; ez hozza ket ssze. Nem sokkal szerelem nlkli, formlis hzassguk utn slyos problmk merlnek fel; semmiben sem rtenek egyet. Hzassguk Greg szigor kiktsre - szexmentes. Greg fl a szext l Rose-zal, amit utbbi egyre jobban hinyol. Amg Greg hosszabb el adkrton van, Rose ditzni s tornzni kezd; talaktja

- 13 magt csf, antiszex kiskacsbl szexbombv, hogy megmentse hzassgt, de ez csak tovbbi bonyodalmak forrsa. A fim zenje is igen sikeres lett.

1923-ban Hans RADEMACHER (1892-1969) nmet matematikus Brun eredmnyt 7 prm szorzatra szortotta le. H. Rademacher algebrai- s analitikus szmelmlettel, mrtkelmlettel, modulris formkkal,
numerikus- s komplex analzissel, geometrival foglalkozott. 1934-t l a Swarthmore College, majd az University of Pennsylvania (Philadelphia, PA, USA) professzora lett.

1932-ben T. ESTERMANN angol matematikus a Brun-eredmnyt 6 prm szorzatra mdostotta, s 1938-ban bebizonytotta, hogy majdnem minden pros szm kt prm sszege. 1940-ben N. PIPPING igazolta ezt N 10.000-re (lsd albb). 1937-ben G. RICCI (1901-1973) bebizonytotta, hogy minden elegend en nagy egszszm el ll legfeljebb 67 prm sszegeknt. SCHNIZEL megmutatta, hogy a Goldbach-sejts ekvivalens azzal a kijelentssel, hogy minden N > 17 egszszm hrom klnbz prm sszege. Pl: 20 = 2 + 7 + 11; 25 = 3 + 5 + 17; stb. Godfrey Harold HARDY (1847-1877) 1921. oktber 6-odiki el adsban [8] kifejtette, hogy a Goldbach-sejts valszn leg egyike a matematika legnehezebb, megoldatlan problmjnak.

- 14 4. MUNKBAN A SZUPERKOMPUTEREK
Mott: Pourquoi faire simple si on peut faire compliqu? (Mirt legyen valami egyszer , amikor bonyolult is lehet?) Wir Mathematiker sind ein bichen meschugge (Mi matematikusok mindnyjan egy kiss bolondok vagyunk, Edmund Georg Hermann Landau [1877-1938] nmet matematikus) Aki tudomnnyal foglalkozik, az hlye. Aki nem, az az is marad! (Benedek Pl [1921-] magyar vegyszprofesszor) A j gondolatok ltalban gondolkods eredmnyei Kt t ll el ttnk. Az egyik nem vezet sehov, a msik jrhatatlan Minden t j t, mert valahov vezet (Hioszi Tatiosz, i. e. 4-3. sz.) Any sufficiently advanced technology is indistinguishable from magic (Brmely elegend en fejlett technolgia megklnbztethetetlen a varzslattl, Arthur C. Clarke angol sci-fi szerz , 1917-)

A 20. sz. kzepn megjelentek a gyors, digitlis, elektronikus, programvezrelt komputerek, amivel a sejts ellen rzse egyre nagyobb szmokig elfogadhat id alatt elvgezhet volt. Az albbi sszellts mutatja, hogy kik, mikor s meddig igazoltk a pros Goldbach-sejtst: A. Desboves N. Pipping M.K. Shen M.L. Stein & P.L. Stein A. Granville, J.v.d. Lune, H.J.J te Riele M.Sinisalo Jean-M. Deshouillers, H.J.J te Riele, Yannick Saouter Yannick Saouter (pratlan GC) Jrg Richstein Toms Oliveira e Silva Toms Oliveira e Silva Toms Oliveira e Silva Silva clkit zse 1855 1940 1964 1965 1989 1993 1998 1998 1999 2003.03.24. 2003.10.03. 2004 2005 104 (kzi) 105 (komputer) 3,3107 108 21010 41011 1014 1020 41014 21016 61016 21017 (Cray gp) 41018

Jrg Richstein 1999-es eredmnyt MS QBasis programmal, Dell 1,9 GHz-es Pentium 4 processzorral,
256 MB memrival, 29 nap futsi id alatt produklta. Pontosan N < 400000001068266. Szerinte eredmnyben a kisebbik prm sohasem nagyobb, mint 5569. Pl: 389965026819938 = 5569 + 389965026814369.

Ez azonban mg mindig nagyon messze van attl, amit Goldbach s Euler megsejtett. A sejts ltalnos matematikai bizonytsa vagy cfolata a mai napig sem sikerlt. Neves szmelmlszek ma is azt mondjk, hogy bizonytsa teljesen remnytelen. A matematika problmi ltalban a kvetkez kategrik valamelyikbe sorolhatk: problmk, amelyeket egyszer en meg tudunk oldani, problmk, amelyeket ha nem is egyszer en , de - meg tudunk oldani,

- 15 problmk, amelyek megoldhatak, de nem megoldottak, problmk, amelyek megoldhatatlanok. Lehetsges, hogy a Goldbach-sejts az utols kategriba tartozik? Fenti flelemnek ellentmond a Nagy Fermat Sejts, amelynek megoldsa 350 vig vratott magra.
Altmasztja viszont az aggodalmat Gdel nem-teljessgi ttele, ami ebben az esetben (is) thghatatlan korltot jelent(het).

1923-ban Godfrey Harold HARDY (1877-1947) s John Edensor LITTLEWOOD (18851977), a 20. sz. legkivlbb szmelmlszei bebizonytottk, hogy minden elegend en nagy pratlan szm el ll, mint hrom pratlan prm sszege. Hardy szerint a Goldbachsejts elemi ton nem bizonythat; az analitikus megoldsi prblkozst preferlta. Egy msik a tmval kapcsolatos sejtsk: minden termszetes szm el llthat legfeljebb 4k szm k-adik hatvny sszegeknt. Pl: ha k = 1; 14 = 21 + 31 + 41 + 51 , ha k = 2; 68 = 22 + 22 +22 +22 +32 + 32 +32 +52 , stb. 1931-ben Lev Genrikovics SNYIRELMAN (1905-1938) nagyon fiatalon elhunyt szovjet matematikus bebizonytotta, hogy minden termszetes szm el llthat vges szm prmszm sszegeknt. 1939-ben Snyirelman becslst is adott erre a szmra s bebizonytotta, hogy minden 2n 4 pros szm el ll legfeljebb 300.000 prmszm sszegeknt. Ez enyhn szlva is meglep dolog volt. 1937-ben G. RICCI (1901-1973) bebizonytotta, hogy minden elegend en nagy egszszm el ll legfeljebb 67 prm sszegeknt. Snyirelman ks bb bebizonytotta, hogy ehhez legfeljebb 20 prm sszege elegend , majd 7 prmre redukldott ez a kszb. Ez mr nagyon is elfogadhat volt, de mg mindig nagyon tvol a Goldbach-sejts bizonytstl. 1937-ben Ivan Matvejevics VINOGRADOV (1891-1983) orosz/szovjet matematikus bebizonytotta, hogy minden elegend en nagy pratlan szm el ll hrom prm sszegeknt, ami a hrmas Goldbach-sejts egy partikulris megoldsa. Az eredmnyhez trigonometrikus sszegek n. les becslsn keresztl jutott. Vinogradov bizonytsa indirekt volt, gy nem tudott becslst adni erre az elegend en nagy szmra. I.M. Vinogradov egyike volt a 20. szzad legnagyobb matematikusainak, a modern analitikus
szmelmlet megteremt inek. 1918-20 kztt a Permi Egyetem tanra, 1920-tl a Szentptervri llami Egyetem professzora, 1934-t l hallig a Steklov Mathematical Institute (Moszkva, SzU) igazgatja (nvadja Vlagyimir Andrejevics Steklov [1864-1926], orosz/szovjet fizikus-matematikus). Megkapta az sszes ltez szovjet kitntetst, volt, amit tbbszr. Tbbek kztt foglalkozott a Riemann-fle zeta fggvnnyel, valszn sg- szmtssal, szmelmlettel, primitv gykkkel, stb).

HUA Lo-keng (1910-1985) knai matematikus lnyegesen leegyszer stette Vinogradov bizonytst. Foglalkozott szmelmlettel s numerikus analzissel. 1938-ban T. ESTERMANN bebizonytotta, hogy majdnem minden pros szm kt prm sszege .

- 16 N. PIPPING azt igazolta, hogy Estermann bizonytsa N = 2n 10.000 esetben igaz. A Goldbach-sejts matematikai bizonytsa klasszikus esetben hrom ton lehetsges: algebrai, analitikus s geometriai. Miutn megjelentek a nagy teljestmny elektronikus szuperszmtgpek, megnylt a negyedik t, a szmtgp, s az erre alapozott ksrleti matematika (experimental mathematics). 1947-ben RNYI Alfrd (1921-1970, Linnyik s Vinogradov tantvnya) magyar matematikus kandidtusi disszertcijban bebizonytotta az n. gyengtett Goldbach sejts-t a Linnyik-fle nagy szita segtsgvel. 1956-ban Konstantin V. BORODZIN - aki akkor Vinogradov tantvnya volt - megmutatta, 315 e16 . 573 hogy Vinogradov elegend en nagy szma: N 3 e 3, 25 10 6.846.168 = 314 . 348 . 907 . Ez a szm 6.846.168 jegy . A sejts teht ezutn sem volt igazolt, mivel ekkora szmig nem volt elvgezhet az ellen rzs.

1977-ben H.A. POGORZELSKI kzlt egy bizonytst a Goldbach-sejtsre, de munkjt matematikus krkben nem fogadtk el. Paul STEIN s Stanislaw ULAM (1909-1986, lengyel szrmazs amerikai matematikus) megfogalmaztk azt a sejtsket, hogy minden elegend en nagy pros szm felrhat, mint kt darab (6k + 1) alak prm sszege.
Mott: A mestersges intelligencia nem ptolhatja a termszetes butasgot

1982-ben Douglas B. LENAT Automata Matematikusa jra felfedezte a Goldbach-sejtst. Ez volt az els demonstrci arra, hogy mestersges intelligencia (Artifical Intelligency, AI) kpes tudomnyos felfedezst produklni. Doug Lenat egyike a vilg vezet komputer tudsainak. Philadelphiban szletett, vallsos zsid
csaldban. Szleinek szdapalackoz zeme volt. Nagyon szerette Isaac ASIMOV npszer fizika s biolgia knyveit. 1967-ben djat nyert egy szmelmleti munkjval, s elutazott Detroitba. 1968-tl a University of Pennsylvania hallgatja, ahol matematikt s fizikt tanult. 1971-ben John W. CARR vezette be a mestersges intelligencia vilgba. 1984-ben elkezdte az els mestersges intelligencia programot (AM), amelynek clja matematikai problmk keresse (nem megoldsa!) volt. Professzora a Carnegie-Mellon s a Stanford University-nek. 1999-ben vezet je a Cyc-programnak (en-CYClopedia, CyCorp, Austin, TX, USA). A szmtgpbe 600 embervnyi munkval betplltak 3 milli klszablyt s kb. 300.000 meghatrozst, aximt s ttelt.

1989-ben WANG Tian-ze s CSEN Jing-run kt knai matematikus - Vinogradov 11 , 503 3, 3310 43 . 000 -ben hatrozta meg. elegend en nagy szmt e e 1995-ben Olivier RAMAR francia matematikus (Universit de Lille I, Villeneuve d'Ascq Cdex, France) bebizonytotta, hogy minden pros egszszm el ll legfeljebb hat prm sszegeknt [9].

- 17 1995-ben L. KANIECKI lengyel matematikus bebizonytotta, hogy ha a Riemann-hipotzis (lsd albb) igaz, akkor minden pratlan egszszm el ll legfeljebb t prm sszegeknt. Pl: 25 = 3+3+3+5+11; 39 = 2+2+3+3+29; stb. Ks bb Jean-Marc DESHOUILLERS, Gove EFFINGER, H.J.J. te RIELE s D. ZINOVJEV bebizonytottk, hogy ha a Riemann-hipotzis igaz, akkor minden tnl nagyobb pratlan szm el ll hrom prm sszegeknt, vagyis igaz a hrmas Goldbach-sejts is. A Riemannhipotzis azonban mig nem bizonytott. A Riemann-sejts egyike a ht, n. millenniumi problmnak, amelyek megoldsrt egy 2000-ben
alakult nonprofit alaptvny, a Clay Mathematical Institute (CMI, Cambridge, Massachusetts, USA) egy-egy milli dollrt ajnlott fel. A djat egy bostoni milliomos, Landon T. Clay ltal alaptott CMI szponzorlja. A prmszmok eloszlsval szoros kapcsolatban ll sejtst Bernhard Riemann (1826-1866) nmet matematikus - akinek a nem-euklideszi geometrival kapcsolatos munkssgra ks bb Einstein is tmaszkodott - 1859-ben vetette fel egy szmelmleti rsban. A Riemann-hipotzis kijelenti, hogy a komplex zeta-fggvny sszes - nem trivilis - gyke 1/2 vals rsz , Re(s) = 1/2. A trivilis gykk a negatv pros szmok: -2; -4; -6; stb. A sejts, a tbbi nagy sejtshez hasonlan, az id k sorn kultikuss n tte ki magt; szmos matematikus tette fel az lett megoldsra. John Forbes NASH [1928-], a csodlatos elme (Princeton Uni, Dept. of Math, Fine Hall, Princeton, NJ, USA, kzgazdasgi Nobel-dj: 1994) is megprblkozott vele, de eddig sem igazolni, sem cfolni nem sikerlt senkinek [14]. Louis De Branges de BOURCIA (1932-), a Purdue Mathematics Dept, Purdue Uni (Lafayette, Indiana, USA) francia szrmazs matematikusa most egyetemi honlapjn 2004. jniusban publiklta a Riemann-hipotzis 23 oldalas bizonytst, amely azonban mg igazolsra szorul. lltlag De Branges bizonytsa hibs, mert megkzeltsre mr 1998-ban J. Brian Conrey s Xian-Jin Li matematikusok talltak ellenpldt. Gove EFFINGER Professor of Mathematics, Director of Quantitative Reasoning, Dept. of Mathematics & Computer Science (Skidmore College, Saratoga Springs, NY, USA).

1996-ban CSEN Jing-run (1933-1996) knai matematikus (Chinese Institute of Mathematics, Chinese Academy of Sciences, Peking, Kina) azt lltotta, hogy minden elegend en nagy pros szm felrhat vagy kt prm sszegeknt, vagy egy prm plusz legfeljebb kt prm szorzataknt, vagyis 2n = p1 + (p2p3) alak. Megengedett a p1 = p2 = p3 s a p3 = 1 is. A (p2p3) tpus szmok az n. semi-prmek. Csen Jing-run sejtst szoks (P+P2) vagy P(1,2) formalizmussal is felrni; jelentse ugyanaz. Pl: 6 = 2+(22); 8 = 2+(23); 16 = 7+(33); 18 = 3+(35); 60 = 11+(77); 100 = 23+(711) = 23 + 77 = 3 + 97; 120 = 29 + (713) = 29 + 91 = 17 + 103, stb. A zrjeles kifejezs a semi-prm nevet viseli, ami kt prm szorzatbl ll, sszetett (kompozit) szm. Csen nagyon kzel kerlt a bizonytshoz; ez mr majdnem a Goldbach-sejts bizonytsa, de mgsem ugyanaz. A sejtst Margaret CORBIT (Cornell Theory Center, Ithaca, NY, USA) 2n < 109-ig ellen rizte. 1999-ben Csen Jing-run eredmnynek tiszteletre a knai posta blyeget adott ki, amelyen portrja s
prmttele lthat. Csen reflexija: magas megtiszteltets, de a tovbblps gondokat jelent.

Alan BAKER Fields-rmes (1970) matematika professzor (Cambridge Uni) nem tl optimistn
nyilatkozott, amikor ezeket mondta: Csen 1996-os bizonytsa vgl is az eddigi legjobb eredmny s valszn tlen, hogy tovbbi eredmny nyerhet valamilyen nagy ttrs nlkl. Sajnos nincsen hasonl nagy tlet a lthatron. Ha viszont jn egy nagy tlet, akkor erre valamit r lehet, s kell pteni. Nem gondolom, hogy a pnz (Faber-dj, lsd albb) ebben jelent s hajter t jelent. Ha az emberek megoldjk, akkor ezt nem a pnzrt, hanem a kihvsrt teszik.

- 18 Ian STEWART (1945-) Faraday-rmes (1995) matematika professzor (Warwick Uni, UK), Nagy
Britannia s a vilg egyik legismertebb matematikus ismeretterjeszt je, a Scientific American Mathematical Recreation rovatnak vezet je valamivel optimistbb: Azt gondolom, hogy nhny matematikust elkprztat egymilli dollr. Helyrebillenthetn az egyenslyukat.

1997-ben Jean-Marc DESHOUILLERS, Yannick SAOUTER s Herman J.J te RIELE bebizonytottk, hogy Csen Jing-run sejtse minden N < 1014 pozitv egszszmra igaz. 1993-ban Thomas R. NICELY (Lynchburg College, Virginia, USA) 3,1551015-ig sszegezte az ikerprmek reciprokait, s eddig a hatrig 3,471,427,262,962 darab ikerprmet tallt. Ennek alapjn az ltala becslt Brun-lland: B2 1,902160582310... Ezzel kapcsolatban rdekessg az, hogy T.R. Nicely fenti szmtsai sorn hibt tallt az Intel Pentium
mikroprocesszor aritmetikai egysgben. A gyrt sok er feszts s pnz rn kijavtotta a hibt.

1996-ban Jrg RICHSTEIN et al. (Institut fr Informatik, Universitt Giessen, Deutschland) megtalltk az sszes ikerprmet 1014-ig. Patrick H. FRY et al. (Dept. of Computer Science, Rensselaer Polytechnic Institute, Troy, NY, USA) 1016-ig talltk meg az sszes ikerprmet. S.K. KAPOOR (New Delhi, India) egy bizonytst kzlt, amely szerint egy N pros szm N mdon bonthat fel prmek sszegre [4];[5]. Pl: ha N = 100, akkor a lehetsges felbontsok: [3+97]; [11+89]; [17+83]; [29+71]; [41+59]; [47+53]. Ez hatfle felbonts, s 6 100 =10 . Ez azonban nincsen mindig gy (pl. a 90 kilencfle, a 120 tizenkt fle, a 198 tizenhrom fle mdon bonthat fel prmprok sszegre); Kapoor erre egy szigorbb limitet is adott. A hindu vdk (i. e. 1500-900) mintegy 3500 vre tekinthetnek vissza. A vdikus matematika alapjai a
sztrk, amelyek a sok vszzados szanszkrit sagak-bl alakultak ki. vszzadok alatt rszben feledsbe merltek, s a fiatalabb nemzedk nem hasznlta. A vdikus matematika lltlag az agy mindkt fltekjt hasznlja; koherens s szp, a szmtsok fejben elvgezhet k. A terlet ttr je Jagadguru Swami Sri Bharati Krsna Tirthaji Maharaja (1884-1960) hindu matematikus, trtnsz, filozfus, aki 16 sztrt (matematikai szablyt, aforizmt vagy sz-formult; mindssze 120 szban) szerkesztett ssze. 1911-18 kztt fedezte fel jra a nyugati vilgnak a vdikus matematika kori rendszert. A XX. sz. elejn igen nagy rdekl ds mutatkozott az kori szanszkrit szvegek irnt Eurpban s a vilgban. A matematikai vonatkozsak az n. Ghanita Sztrk, amelyeket Sri Bharati Krsna hosszasan s alaposan tanulmnyozott. Megrta a Vedic Mathematics c. knyvt (1965), amely halla utn t vvel jelent meg. A mdszert s rendszert ma mr egyre tbb indiai (s nyugati) iskolban tantjk [4];[5].

2000. mrciusban Masoud SHEYKI irni matematikus hozzfogott a GC bizonytshoz, majd azt lltotta, hogy megoldotta a Goldbach-sejtst. Azt hiszem, hogy bizonytsom a legjobb, s rdekes bizonyts a Goldbach-sejtsre. Vrom a tovbbi reflexikat bizonytsomra. Mrnk vagyok egy rz kombintban, Irnban, mint m szaki felgyel rta. Bizonytst tbb, kivl angol s francia matematika professzornak kldte el; a reflexik nem ismertek, s nem tudunk arrl, hogy elnyerte volna a Faber-djat (lsd albb). 2000. mrcius 20-adikn Tony FABER, a Faber & Faber brit knyvkiad riscg tulajdonosa (az Uncle Petros and Goldbachs Conjecture c. knyv [1] els kiadja) 1 milli dollros djat t ztt ki a Goldbach-sejts kt ven belli megoldsra. Boldog lennk, ha valaki

- 19 megnyern mondta T. Faber. A dj kirsakor az volt a vlemny, hogy a vilgon legfeljebb 20 ember lehet eslyes a djra. rdemi megolds 2002. mrcius 20-adikig nem rkezett, a problma tovbbra is nyitott! Apostolos Doxiadis Uncle Petros and Goldbachs Conjecture (Petrosz bcsi s a Goldbach-sejts) c.
knyve 15 nyelvre lefordtott bestseller lett. Az 1953-ban szletett ausztrl szerz Athnban nevelkedett, a Columbia University-n 18 vesen matematikt vgzett. Ks bb irodalommal s sznhzzal foglalkozott. Regnynek h se, Petrosz Papakrisztosz (Petrosz bcsi) megszllott matematikus, kicsit nevetsges, ntelt, bizalmatlan szobatuds, aki a Goldbach-sejts bizonytsra teszi fel az lett. Az 1910-es vek vgn matematikus zseniknt - Cambridge-be kerl, ahol egytt dolgozik a kor legkivlbb szmelmlszeivel (G.H. Hardy, J.E. Littlewood, S. Ramanujan), majd kapcsolatba kerl C. Charatheodory-val, A. Turing-gal s K. Gdel-lel is. Berlinben egyetemi katedrt kap. Ks bb visszahzdva, magnyosan l, kutatsait titkolja, nehogy ellopjk, s csak unokaccsnek fedi fel, hogy mit dolgozik. Csaldja vlemnye, hogy Petrosz bcsi ksz cs dtmeg. A sejts megoldst elemi mdszerekkel ksrli meg; lmaiban az egszszmok letre kelnek (pl. 299 s 2100, mint gynyr ikerlnyok) s szemlyes j bartaiv vlnak. Felfogsa, szmmiszticizmusra val hajlama s titkoldzsa a pithagoreusi iskolt idzi. Amikor vgre eldnti, hogy fontos rszeredmnyeit publiklja, kiderl, hogy el tte ezt mr msok megtettk. Petrosz sszeomlik, majd amikor rtesl Gdel (1906-1978) n. nemteljessgi ttelr l (1931), s vilgos lesz szmra, hogy kit ztt clja taln megoldhatatlan, meg rl. Egyik jszaka azt hiszi, hogy megoldotta a problmt, de miel tt kzlhetn unokaccsvel a (vlt) megoldst, egy szlts vgez vele, s titka srba szll [1];[2]. Amikor A. Doxiadis-t megkrdeztk; mi a vlemnye a Faber-djrl, ezt mondta: Igen, tudom, hogy Andrew Wiles ht vet tlttt el a Nagy Fermat Sejts bizonytsval. De ha valaki Wiles bizonytsi bejelentse el tt azt mondta volna; azt gondolom, hogy nhny ven bell megoldom, rltnek tartottk volna. Nha a dolgok vratlanul bukkannak el .

Rudolf KNJZEK (Ausztria) a kvetkez sejtst fogalmazta meg: Minden N > 4 pros egszszmhoz tartozik egy N p N / 2 prm gy, hogy q = N p szintn prm, s N = p q . Pl: N = 64, akkor 8 < p < 32. Ha p = 23, akkor q = 64 23 = 41, s a felbonts: 64 = 23 + 41. Ha p = 17, akkor q = 64 17 = 47, s 64 = 17 + 47. Ez azt (is) jelenti, hogy egy elegend en nagy N szmig mindig tbb prmpr van, mint N /4 [12]. Knjzek azt mondta: ha ezt be tudjuk bizonytani, akkor bizonytott a Goldbach-sejts. Azt gondolom,
hogy ez nem annyira nehz, mint az eredeti sejts bizonytsa. Ks bb hozztette: sejtsem azt mondja ki, hogy nem szksgesek kis prmek ahhoz, hogy kielgtsk a Goldbach-sejtst Nem bizonyts, csak egy er s rv a Goldbach-sejts mellett. tlett Goldbach-Knjzek sejtsnek nevezte el.

Victar KARPAU (Victor KARPOV) belorusz matematikus lltsa szerint megtallta(?) a Goldbach-sejts bizonytst, amelyet 2004. szeptemberben publiklt [13]. Martin GARDNER (1914-) amerikai matematikus mondta: Azt hiszem, ha szz v mlva felbrednk kvncsi lennk arra, hogy mi minden jat fedeztek fel a matematikban s a fizikban? Bebizonytottk-e Goldbach sejtst? A Riemann-hipotzist?... Martin Gardner matematikus, tudomnyfilozfus, amat r b vsz, ismeretterjeszt s szakr, az
ltudomnyok elleni kzdelem egyik zszlviv je , a matemgus s matematikai guru, a Scientific American c. neves folyirat Mathematical Games rovatnak 25 ven t (1956-1981) volt a szerkeszt je. Gardner az ltudomnyok ellen harcol szkeptikus mozgalom - az amerikai szkeptikusok (egyik, egyben legnagyobb) szervezete, a CSICOP (Committee for the Scientific Investigation of Claims Of the Paranormal, Paranormlis Jelensgek Tudomnyos Vizsgl Bizottsga) - alapt tagja s a 38.000 pldnyban, kthavonta megjelen lapjuk, a The Skeptical Inquirer Notes of a Fringe Watcher (Egy kibic jegyzetei) cm , lland rovatnak vezet je. A CSICOP-ot - ltuds ellensgei - csak PsiCops-nak (Pszi Zsark) vagy SciCops-nak (Tudomny Hekusok) aposztrofljk.

- 20 Albb megadjuk a pros szmok felbontsait kt prm sszegre, ha N = 2n 198:

4=2+2 6=3+3 8=3+5 10 = 3 + 7 = 5 + 5 12 = 5 + 7 14 = 3 + 11 = 7 + 7 16 = 3 + 13 = 5 + 11 18 = 5 + 13 = 7 + 11 20 = 3 + 17 = 7 + 13 22 = 3 + 19 = 5 + 17 = 11 + 11 24 = 5 + 19 = 7 + 17 = 11 + 13 26 = 3 + 23 = 7 + 19 = 13 + 13 28 = 5 + 23 = 11 + 17 30 = 7 + 23 = 11 + 19 = 13 + 17 32 = 3 + 29 = 13 + 19 34 = 3 + 31 = 5 + 29 = 11 + 23 = 17 + 17 36 = 5 + 31 = 7 + 29 = 13 + 23 = 17 + 19 38 = 7 + 31 = 19 + 19 40 = 3 + 37 = 11 + 29 = 17 + 23 42 = 5 + 37 = 11 + 31 = 13 + 29 = 19 + 23 44 = 3 + 41 = 7 + 37 = 13 + 31 46 = 3 + 43 = 5 + 41 = 17 + 29 = 23 + 23 48 = 5 + 43 = 7 + 41 = 11 + 37 = 17 + 31 = 19 + 29 50 = 3 + 47 = 7 + 43 = 13 + 37 = 19 + 31 52 = 5 + 47 = 11 + 41 = 23 + 29 54 = 7 + 47 = 11 + 43 = 13 + 41 = 17 + 37 = 23 + 31 56 = 3 + 53 = 13 + 43 = 19 + 37 58 = 5 + 53 = 11 + 47 = 17 + 41 = 29 + 29 60 = 7 + 53 = 13 + 47 = 17 + 43 = 19 + 41 = 23 + 37 = 29 + 31 62 = 3 + 59 = 19 + 43 = 31 + 31 64 = 3 + 61 = 5 + 59 = 11 + 53 = 17 + 47 = 23 + 41 66 = 5 + 61 = 7 + 59 = 13 + 53 = 19 + 47 = 23 + 43 = 29 + 37 68 = 7 + 61 = 31 + 37 70 = 3 + 67 = 11 + 59 = 17 + 53 = 23 + 47 = 29 + 41 72 = 5 + 67 = 11 + 61 = 13 + 59 = 19 + 53 = 29 + 43 = 31 + 41 74 = 3 + 71 = 7 + 67 = 13 + 61 = 31 + 43 = 37 + 37 76 = 3 + 73 = 5 + 71 = 17 + 59 = 23 + 53 = 29 + 47 78 = 5 + 73 = 7 + 71 = 11 + 67 = 17 + 61 = 19 + 59 = 31 + 47 = 37 + 41 80 = 7 + 73 = 13 + 67 = 19 + 61 = 37 + 43 82 = 3 + 79 = 11 + 71 = 23 + 59 = 29 + 53 = 41 + 41 84 = 5 + 79 = 11 + 73 = 13 + 71 = 17 + 67 = 23 + 61 = 31 + 53 = 37 + 47 = 41 + 43 86 = 3 + 83 = 7 + 79 = 13 + 73 = 19 + 67 = 43 + 43 88 = 5 + 83 = 17 + 71 = 29 + 59 = 41 + 47 90 = 7 + 83 = 11 + 79 = 17 + 73 = 19 + 71 = 23 + 67 = 29 + 61 = 31 + 59 = 37 + 53 = 43 + 47 92 = 3 + 89 = 13 + 79 = 19 + 73 = 31 + 61 94 = 5 + 89 = 11 + 83 = 23 + 71 = 41 + 53 = 47 + 47 96 = 7 + 89 = 13 + 83 = 17 + 79 = 23 + 73 = 29 + 67 = 37 + 59 = 43 + 53 98 = 19 + 79 = 31 + 67 = 37 + 61 100 = 3 + 97 = 11 + 89 = 17 + 83 = 29 + 71 = 41 + 59 = 47 + 53 102 = 5 + 97 = 13 + 89 = 19 + 83 = 23 + 79 = 29 + 73 = 31 + 71 = 41 + 61 = 43 + 59 104 = 3 + 101 = 7 + 97 = 31 + 73 = 37 + 67 = 43 + 61 106 = 3 + 103 = 5 + 101 = 17 + 89 = 23 + 83 = 47 + 59 = 53 + 53 108 = 5 + 103 = 7 + 101 = 11 + 97 = 19 + 89 = 29 + 79 = 37 + 71 = 41 + 67 = 47 + 61 110 = 3 + 107 = 7 + 103 = 13 + 97 = 31 + 79 = 37 + 73 = 43 + 67 112 = 3 + 109 = 5 + 107 = 11 + 101 = 23 + 89 = 29 + 83 = 41 + 71 = 53 + 59

- 21 114 = 5 + 109 = 7 + 107 = 11 + 103 = 13 + 101 = 17 + 97 = 31 + 83 = 41 + 73 = 43 + 71 = 47 + 67 = 53 + 61 116 = 3 + 113 = 7 + 109 = 13 + 103 = 19 + 97 = 37 + 79 = 43 + 73 118 = 5 + 113 = 11 + 107 = 17 + 101 = 29 + 89 = 47 + 71 = 59 + 59 120 = 7 + 113 = 11 + 109 = 13 + 107 = 17 + 103 = 19 + 101 = 23 + 97 = 31 + 89 = 37 + 83 = 41 + 79 = 47 + 73 = 53 + 67 = 59 + 61 122 = 13 + 109 = 19 + 103 = 43 + 79 = 61 + 61 124 = 11 + 113 = 17 + 107 = 23 + 101 = 41 + 83 = 53 + 71 126 = 13 + 113 = 17 + 109 = 19 + 107 = 23 + 103 = 29 + 97 = 37 + 89 = 43 + 83 = 47 + 79 = 53 + 73 = 59 + 67 128 = 19 + 109 = 31 + 97 = 61 + 67 130 = 3 + 127 = 17 + 113 = 23 + 107 = 29 + 101 = 41 + 89 = 47 + 83 = 59 + 71 132 = 5 + 127 = 19 + 113 = 23 + 109 = 29 + 103 = 31 + 101 = 43 + 89 = 53 + 79 = 59 + 73 = 61 + 71 134 = 3 + 131 = 7 + 127 = 31 + 103 = 37 + 97 = 61 + 73 = 67 + 67 136 = 5 + 131 = 23 + 113 = 29 + 107 = 47 + 89 = 53 + 83 138 = 7 + 131 = 11 + 127 = 29 + 109 = 31 + 107 = 37 + 101 = 41 + 97 = 59 + 79 = 67 + 71 140 = 3 + 137 = 13 + 127 = 31 + 109 = 37 + 103 = 43 + 97 = 61 + 79 = 67 + 73 142 = 3 + 139 = 5 + 137 = 11 + 131 = 29 + 113 = 41 + 101 = 53 + 89 = 59 + 83 = 71 + 71 144 = 5 + 139 = 7 + 137 = 13 + 131 = 17 + 127 = 31 + 113 = 37 + 107 = 41 + 103 = 43 + 101 = 47 + 97 = 61 + 83 = 71 + 73 146 = 7 + 139 = 19 + 127 = 37 + 109 = 43 + 103 = 67 + 79 = 73 + 73 148 = 11 + 137 = 17 + 131 = 41 + 107 = 47 + 101 = 59 + 89 150 = 11 + 139 = 13 + 137 = 19 + 131 = 23 + 127 = 37 + 113 = 41 + 109 = 43 + 107 = 47 + 103 = 53 + 97 = 61 + 89 = 67 + 83 = 71 + 79 152 = 3 + 149 = 13 + 139 = 43 + 109 = 73 + 79 154 = 3 + 151 = 5 + 149 = 17 + 137 = 23 + 131 = 41 + 113 = 47 + 107 = 53 + 101 = 71 + 83 156 = 5 + 151 = 7 + 149 = 17 + 139 = 19 + 137 = 29 + 127 = 43 + 113 = 47 + 109 = 53 + 103 = 59 + 97 = 67 + 89 = 73 + 83 158 = 7 + 151 = 19 + 139 = 31 + 127 = 61 + 97 = 79 + 79 160 = 3 + 157 = 11 + 149 = 23 + 137 = 29 + 131 = 47 + 113 = 53 + 107 = 59 + 101 = 71 + 89 162 = 5 + 157 = 11 + 151 = 13 + 149 = 23 + 139 = 31 + 131 = 53 + 109 = 59 + 103 = 61 + 101 = 73 + 89 = 79 + 83 164 = 7 + 157 = 13 + 151 = 37 + 127 = 61 + 103 = 67 + 97 166 = 3 + 163 = 17 + 149 = 29 + 137 = 53 + 113 = 59 + 107 = 83 + 83 168 = 5 + 163 = 11 + 157 = 17 + 151 = 19 + 149 = 29 + 139 = 31 + 137 = 37 + 131 = 41 + 127 = 59 + 109 = 61 + 107 = 67 + 101 = 71 + 97 = 79 + 89 170 = 3 + 167 = 7 + 163 = 13 + 157 = 19 + 151 = 31 + 139 = 43 + 127 = 61 + 109 = 67 + 103 = 73 + 97 172 = 5 + 167 = 23 + 149 = 41 + 131 = 59 + 113 = 71 + 101 = 83 + 89 174 = 7 + 167 = 11 + 163 = 17 + 157 = 23 + 151 = 37 + 137 = 43 + 131 = 47 + 127 = 61 + 113 = 67 + 107 = 71 + 103 = 73 + 101 176 = 3 + 173 = 13 + 163 = 19 + 157 = 37 + 139 = 67 + 109 = 73 + 103 = 79 + 97 178 = 5 + 173 = 11 + 167 = 29 + 149 = 41 + 137 = 47 + 131 = 71 + 107 = 89 + 89 180 = 7 + 173 = 13 + 167 = 17 + 163 = 23 + 157 = 29 + 151 = 31 + 149 = 41 + 139 = 43 + 137 = 53 + 127 = 67 + 113 = 71 + 109 = 73 + 107 = 79 + 101 = 83 + 97 182 = 3 + 179 = 19 + 163 = 31 + 151 = 43 + 139 = 73 + 109 = 79 + 103 184 = 3 + 181 = 5 + 179 = 11 + 173 = 17 + 167 = 47 + 137 = 53 + 131 = 71 + 113 = 83 + 101 186 = 5 + 181 = 7 + 179 = 13 + 173 = 19 + 167 = 23 + 163 = 29 + 157 = 37 + 149 = 47 + 139 = 59 + 127 = 73 + 113 = 79 + 107 = 83 + 103 = 89 + 97 188 = 7 + 181 = 31 + 157 = 37 + 151 = 61 + 127 = 79 + 109 190 = 11 + 179 = 17 + 173 = 23 + 167 = 41 + 149 = 53 + 137 = 59 + 131 = 83 + 107 = 89 + 101 192 = 11 + 181 = 13 + 179 = 19 + 173 = 29 + 163 = 41 + 151 = 43 + 149 = 53 + 139 = 61 + 131 = 79 + 113 = 83 + 109 = 89 + 103 194 = 3 + 191 = 13 + 181 = 31 + 163 = 37 + 157 = 43 + 151 = 67 + 127 = 97 + 97 196 = 3 + 193 = 5 + 191 = 17 + 179 = 23 + 173 = 29 + 167 = 47 + 149 = 59 + 137 = 83 + 113 = 89 + 107 198 = 5 + 193 = 7 + 191 = 17 + 181 = 19 + 179 = 31 + 167 = 41 + 157 = 47 + 151 = 59 + 139 = 61 + 137 = 67 + 131 = 71 + 127 = 89 + 109 = 97 + 101

- 22 IRODALOM [1] Apostolos Doxiadis: Uncle Petros and Goldbachs Conjecture (Faber & Faber Publ, 2003). [2] Aposztolosz Doxiadisz: Petrosz bcsi s a Goldbach-sejts (Eurpa Knyvkiad Kft, Budapest, 2004). [3] Simon Singh: A nagy Fermat-sejts (Park Knyvkiad, Budapest, 1999). [4] S.K. Kapoor: Proof of Goldbach Theorem. [5] S.K. Kapoor: (Vedic Mathematics Newsletter, 2000, Issue 10, New Delhi, India). [5] Jagadguru Swami Sri Bharati Krsna Tirthaji Maharaja: Vedic Mathematics (Motilal Banarasidass Publishers, Delhi, India, 1965). [6] Proceedings of the London Mathematical Society, Vol. 4, pp 4-6. [7] On the Goldbach-Euler Theorem Regarding Prime Numbers (The Mathematical Papers, Vol. IV, pp 734-73, Chelsea Publishing Co, New York, NY, USA). [8] Godfrey Harold Hardy (Mathematical Society of Coppenhagen). [9] On Schnirelmanns Constant (Ann. Sc. Norm. Super, 22, Vol. 4, 1995, pp 645-706). [10] P.H. Fuss: Correspondance mathmatique et physique de quelquesclbres gomtres du XVIIIme sicle, tome I (St. Petersburg, 1843). [11] A. Desboves (Nouv. Ann. Math. 14, p 293, 1855). [12] Rudolf Knjzek: About the maximum lenght of covered blocks. [13] www.wordiq.com/definition/Goldbach's_conjecture. [14] Sylvia Nasar: Egy csodlatos elme. A Nobel-djas matematika gniusz, John Nash lete (Gabo Knyvkiad Kft, 2002). [15] Paul Hoffman: A Prmember. Erd s Pl kalandjai a matematika vgtelenjben (Scolar Kiad, 1999).

- 23 BRK

1. bra Leonhard Euler (1707-1783), a Goldbach-sejts vgs megfogalmazja.

@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@