{"id":2784,"date":"2012-05-11T16:38:10","date_gmt":"2012-05-12T00:38:10","guid":{"rendered":"http:\/\/experimentalmath.info\/blog\/?p=2784"},"modified":"2012-05-11T16:38:54","modified_gmt":"2012-05-12T00:38:54","slug":"terence-tao-releases-partial-solution-to-the-goldbach-conjecture","status":"publish","type":"post","link":"https:\/\/experimentalmath.info\/blog\/2012\/05\/terence-tao-releases-partial-solution-to-the-goldbach-conjecture\/","title":{"rendered":"Terence Tao releases partial solution to the Goldbach conjecture"},"content":{"rendered":"<p>In 1742, German mathematician Christian Goldbach wrote, in a letter to famed mathematician Leonhard Euler, that he believed &#8220;Every integer greater than two can be written as the sum of three primes.&#8221; In subsequent correspondence, the stronger version &#8220;Every even integer can be expressed as the sum of two primes&#8221; was suggested, as well as some other variants. The &#8220;odd&#8221; variant of the Goldbach conjecture is that<em> every odd number greater than 7 can be expressed as the sum of three odd primes<\/em>.<\/p>\n<p>To this date, although extensive computer tests have found no counter-examples to these conjectures, no proofs are known. Deshoulliers, Effinger, te Riele and Zinoviev published a proof of the odd Goldbach conjecture, but it assumed the generalized Riemann hypothesis (another pre-emiment unsolved conjecture of mathematics), and so it is not really a proof of the original conjecture. Collectively these conjectures are among the oldest and most prominent unsolved problems in mathematics.<\/p>\n<p>A few weeks ago (1 Feb 2012), the well-known Australian Fields medalist mathematician Terence Tao posted an <a href=\"http:\/\/arxiv.org\/abs\/1201.6656\">arXiv paper<\/a> entitled &#8220;<em>Every odd number greater than 1 is the sum of at most five primes<\/em>.&#8221; The title tells it all. Although numerous weaker results have been published in this area, Tao&#8217;s result, if it survives peer review by highly qualified mathematicians, would clearly be the strongest and most satisfactory yet.<\/p>\n<p>A brief <a href=\"http:\/\/mathworld.wolfram.com\/GoldbachConjecture.html\">summary of prior results<\/a>\u00a0(taken from MathWorld)\u00a0runs as follows:<\/p>\n<blockquote><p>The conjecture that all\u00a0<a href=\"http:\/\/mathworld.wolfram.com\/OddNumber.html\">odd numbers<\/a>\u00a0<img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/mathworld.wolfram.com\/images\/equations\/GoldbachConjecture\/Inline21.gif\" alt=\"&gt;=9\" width=\"22\" height=\"14\" border=\"0\" \/>\u00a0are the\u00a0<a href=\"http:\/\/mathworld.wolfram.com\/Sum.html\">sum<\/a>\u00a0of three\u00a0<a href=\"http:\/\/mathworld.wolfram.com\/OddPrime.html\">odd primes<\/a>\u00a0is called the &#8220;weak&#8221; Goldbach conjecture. Vinogradov (1937ab, 1954) proved that every\u00a0<a href=\"http:\/\/mathworld.wolfram.com\/SufficientlyLarge.html\">sufficiently large<\/a>\u00a0<a href=\"http:\/\/mathworld.wolfram.com\/OddNumber.html\">odd number<\/a>\u00a0is the\u00a0<a href=\"http:\/\/mathworld.wolfram.com\/Sum.html\">sum<\/a>\u00a0of three\u00a0<a href=\"http:\/\/mathworld.wolfram.com\/PrimeNumber.html\">primes<\/a>.\u00a0(Nagell 1951, p.\u00a066; Guy 1994), and Estermann (1938) proved that almost all\u00a0<a href=\"http:\/\/mathworld.wolfram.com\/EvenNumber.html\">even numbers<\/a>\u00a0are the sums of two\u00a0<a href=\"http:\/\/mathworld.wolfram.com\/PrimeNumber.html\">primes<\/a>. Vinogradov&#8217;s original &#8220;sufficiently large&#8221;\u00a0<img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/mathworld.wolfram.com\/images\/equations\/GoldbachConjecture\/Inline22.gif\" alt=\"N&gt;=3^(3^(15)) approx e^(e^(16.573)) approx 3.25\u00d710^(6846168)\" width=\"206\" height=\"21\" border=\"0\" \/>\u00a0was subsequently reduced to\u00a0<img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/mathworld.wolfram.com\/images\/equations\/GoldbachConjecture\/Inline23.gif\" alt=\"e^(e^(11.503)) approx 3.33\u00d710^(43000)\" width=\"131\" height=\"21\" border=\"0\" \/>\u00a0by Chen and Wang (1989). Chen (1973, 1978) also showed that all sufficiently large\u00a0<a href=\"http:\/\/mathworld.wolfram.com\/EvenNumber.html\">even numbers<\/a>\u00a0are the sum of a\u00a0<a href=\"http:\/\/mathworld.wolfram.com\/PrimeNumber.html\">prime<\/a>\u00a0and the\u00a0<a href=\"http:\/\/mathworld.wolfram.com\/Product.html\">product<\/a>\u00a0of at most two\u00a0<a href=\"http:\/\/mathworld.wolfram.com\/PrimeNumber.html\">primes<\/a>\u00a0(Guy 1994, Courant and Robbins 1996).<\/p><\/blockquote>\n<p>Tao presents a short <a href=\"http:\/\/terrytao.wordpress.com\/2012\/02\/01\/every-odd-integer-larger-than-1-is-the-sum-of-at-most-five-primes\">synopsis<\/a> of his wonderful result on his blog. He mentions that his paper utilizes the <a href=\"http:\/\/en.wikipedia.org\/wiki\/Hardy\u2013Littlewood_circle_method\">Hardy-Littlewood circle method<\/a>, one of the most frequently employed techniques of analytic number theory, due to famed British mathematicians G. H. Hardy and J. E. Littlewood in the 1920s, but broadly based on Hardy&#8217;s earlier work with Indian mathematician Srinivasa Ramanujan.<\/p>\n<p>While Terry Tao&#8217;s manuscript includes much impressive analysis of his own, he carefully notes that he relies on the results of numerous other contemporary mathematicians (the bibliography includes 39 references). Among the key results he utilizes are those of Jean Bourgain, Jing Run Chen, Xavier Gourdon, Ming-Chit Liu, Hugh Montgomery, Harmut Siebert, Ivan Vinogradov and Tianze Wang. As Newton, in a moment of unusual candor, \u00a0once confessed, &#8220;If I have seen further it is by standing on ye sholders of Giants.&#8221;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>In 1742, German mathematician Christian Goldbach wrote, in a letter to famed mathematician Leonhard Euler, that he believed &#8220;Every integer greater than two can be written as the sum of three primes.&#8221; In subsequent correspondence, the stronger version &#8220;Every even integer can be expressed as the sum of two primes&#8221; was suggested, as well as some other variants. The &#8220;odd&#8221; variant of the Goldbach conjecture is that every odd number greater than 7 can be expressed as the sum of three odd primes.<\/p>\n<p>To this date, although extensive computer tests have found no counter-examples to these conjectures, no proofs are <\/p>\n<p>Continue reading <a href=\"https:\/\/experimentalmath.info\/blog\/2012\/05\/terence-tao-releases-partial-solution-to-the-goldbach-conjecture\/\">Terence Tao releases partial solution to the Goldbach conjecture<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[10],"tags":[],"class_list":["post-2784","post","type-post","status-publish","format-standard","hentry","category-news","odd"],"_links":{"self":[{"href":"https:\/\/experimentalmath.info\/blog\/wp-json\/wp\/v2\/posts\/2784","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/experimentalmath.info\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/experimentalmath.info\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/experimentalmath.info\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/experimentalmath.info\/blog\/wp-json\/wp\/v2\/comments?post=2784"}],"version-history":[{"count":20,"href":"https:\/\/experimentalmath.info\/blog\/wp-json\/wp\/v2\/posts\/2784\/revisions"}],"predecessor-version":[{"id":2804,"href":"https:\/\/experimentalmath.info\/blog\/wp-json\/wp\/v2\/posts\/2784\/revisions\/2804"}],"wp:attachment":[{"href":"https:\/\/experimentalmath.info\/blog\/wp-json\/wp\/v2\/media?parent=2784"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/experimentalmath.info\/blog\/wp-json\/wp\/v2\/categories?post=2784"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/experimentalmath.info\/blog\/wp-json\/wp\/v2\/tags?post=2784"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}