A Goldbach sejtes bizonyitasara/cafolatara nem csak hosszbeli sejtesunk nincs, de a Godel-tetel fenyeben meg felhetunk is attol, hogy a problema nem eldontheto. Persze egy szamelmelesznek eretnekseg ezt felvetnie, de Shelah reszerol elhangzott ez a lehetoseg a tavaly augusztusi "Mathematical Challenges of the 21st Century" kongresszuson (http://www.ams.org/amsmtgs/mathchall.html). Es sajnos az sem igaz, hogy a szamelmeletben csak nagyon kormonfont, termeszetellenes problemak lehetnenek eldonthetetlenek. Mindenesetre tobben valljuk azt szerintem, hogy a kozponti nagy problemak, mint pl. a Riemann-sejtes eldonthetoek egy egyszeru axiomarendszerben (pl. Peano-aritmetika).