Wikisage is op 1 na de grootste internet-encyclopedie in het Nederlands. Iedereen kan de hier verzamelde kennis gratis gebruiken, zonder storende advertenties. De Koninklijke Bibliotheek van Nederland heeft Wikisage in 2018 aangemerkt als digitaal erfgoed.
- Wilt u meehelpen om Wikisage te laten groeien? Maak dan een account aan. U bent van harte welkom. Zie: Portaal:Gebruikers.
- Bent u blij met Wikisage, of wilt u juist meer? Dan stellen we een bescheiden donatie om de kosten te bestrijden zeer op prijs. Zie: Portaal:Donaties.
Vermoeden van Goldbach: verschil tussen versies
(kopie van http://nl.wikipedia.org/w/index.php?title=Vermoeden_van_Goldbach&oldid=35444372) |
(prenex) |
||
Regel 1: | Regel 1: | ||
Het '''Vermoeden van Goldbach''' is een van de oudste onopgeloste problemen in de [[getaltheorie]] en in de gehele [[wiskunde]]. Het [[vermoeden]] werd geuit in een brief die [[Christian Goldbach]] aan [[Leonhard Euler]] in [[1742]] schreef. Het vermoeden luidt: | Het '''Vermoeden van Goldbach''' is een van de oudste onopgeloste problemen in de [[getaltheorie]] en in de gehele [[wiskunde]]. Het [[vermoeden (wiskunde)|vermoeden]] werd geuit in een brief die [[Christian Goldbach]] aan [[Leonhard Euler]] in [[1742]] schreef. Het vermoeden luidt: | ||
:Elk [[even]] [[natuurlijk getal|getal]] groter dan 2 kan geschreven worden als de som van twee [[priemgetal]]len (een priemgetal mag hierbij twee keer gebruikt worden). | :Elk [[even]] [[natuurlijk getal|getal]] groter dan 2 kan geschreven worden als de som van twee [[priemgetal]]len (een priemgetal mag hierbij twee keer gebruikt worden). | ||
:In [[prenex-normaalvorm]]: | :In [[prenex-normaalvorm]]: | ||
:< | |||
:<big><big><big><font face= "Times New Roman"><font face="Symbol">"</font>''n'' <font face="Symbol">$</font>''p'' <font face="Symbol">$</font>''q'' <font face="Symbol">"</font>''a, b, c, d''[(''n'' > 1'', a, b, c, d'' > 1) <font face="Symbol">Þ</font> ((''p'' + ''q'' = 2''n'') <font face="Symbol">Ù</font> (''ab'' ≠ ''p'') <font face="Symbol">Ù</font> (''cd'' ≠ ''q''))]</font></big></big></big> | |||
Dit vermoeden is door veel theoretici onderzocht, tot op heden zonder een definitief resultaat, maar met behulp van computers is het vermoeden gecontroleerd voor even getallen tot 4 × 10<sup>18</sup>, op [[5 juni]] [[2006]], door [[Oliveira e Silva]]. | Dit vermoeden is door veel theoretici onderzocht, tot op heden zonder een definitief resultaat, maar met behulp van computers is het vermoeden gecontroleerd voor even getallen tot 4 × 10<sup>18</sup>, op [[5 juni]] [[2006]], door [[Oliveira e Silva]]. |
Versie van 31 mrt 2013 11:52
Het Vermoeden van Goldbach is een van de oudste onopgeloste problemen in de getaltheorie en in de gehele wiskunde. Het vermoeden werd geuit in een brief die Christian Goldbach aan Leonhard Euler in 1742 schreef. Het vermoeden luidt:
- Elk even getal groter dan 2 kan geschreven worden als de som van twee priemgetallen (een priemgetal mag hierbij twee keer gebruikt worden).
- "n $p $q "a, b, c, d[(n > 1, a, b, c, d > 1) Þ ((p + q = 2n) Ù (ab ≠ p) Ù (cd ≠ q))]
Dit vermoeden is door veel theoretici onderzocht, tot op heden zonder een definitief resultaat, maar met behulp van computers is het vermoeden gecontroleerd voor even getallen tot 4 × 1018, op 5 juni 2006, door Oliveira e Silva.
De meeste mathematici geloven dat het vermoeden waar is, meestal gebaseerd op statistische overwegingen van de waarschijnlijkheidsverdeling van de priemgetallen: heel grote even getallen kunnen meestal op zeer vele manieren als de som van 2 priemgetallen worden geschreven.
We weten dat een even getal als som van ten hoogste 6 priemgetallen kan worden geschreven, en in 1966 toonde Chen aan dat elk voldoende groot even getal geschreven kan worden als de som van een priemgetal en een getal met ten hoogste twee priemfactoren. 'Voldoende groot' betekent dat er hoogstens een eindig aantal uitzonderingen is, maar dat niet bekend is hoe groot de grootste uitzondering is, als er al een uitzondering bestaat.
Vermeldenswaard in dit verband is ook de bewezen stelling van Vinogradov, die stelt, dat elk 'voldoende groot' oneven getal te schrijven is als de som van 3 priemgetallen.
Externe link
- http://wims.unice.fr/wims/wims.cgi?module=tool/number/goldbach.en verdeelt een door de bezoeker ingevoerd even getal in twee priemtermen