Een supercomputer heeft het ‘Boolese Pythagoreïsche Drietallenprobleem’ opgelost. Wie het bewijs wil controleren, zal zich door een bestand van 200 terabyte heen moeten ploegen, een record. Of je gelooft de computer op zijn woord: de getallen 1 tot 7824 voldoen wel aan de wiskundig...
Het kon niet uitblijven, en dit jaar is hij dus aan de beurt: Andrew Wiles heeft de Abelprijs gekregen, de ‘Nobelprijs’ voor de wiskunde. Wiles was alleen onder collega’s bekend, toen hij in 1995 plotseling wereldfaam verwierf omdat hij er in was geslaagd de Laatste stelling ...
Wat gebeurt er in het brein van een wiskundige die broedt op nieuwe stellingen of algoritmes? Hoe verschilt zulk denken van de manier waarop andere mensen denken? Of is er eigenlijk niet zo veel verschil? Een antropoloog doet een interessante poging om het ‘exacte’ denken te doorgr...
Er is weer een oud wiskundeprobleem opgelost, maar er is één probleem: de redenering en het bewijs controleren kost zoveel rekenwerk dat de uitkomst nooit door mensen te checken is. Het bewijs is met een computer gemaakt en kan nu dus ook alleen door een computer gecontroleerd worden… Ge...
Een Kazachstaanse wiskundige beweert één van de beroemde milleniumproblemen opgelost te hebben. Mukhtarbay Otelbayev, zoals de man heet, heeft in het Russisch een artikel geschreven dat volgens hem het zogenaamde Navier-Stokes-probleem oplost. Als hij inderdaad de oplossing heeft gevonden, zou...
Een doorbraak in de wiskunde: op maandag 13 mei ontdekte Yitang Zhang iets bijzonders over tweelingpriemgetallen. Dankzij zijn werk is er vooruitgang in het bewijzen van het priemtweelingvermoeden, dat zegt dat er oneindig veel priemgetallen zijn die maar 2 van elkaar verschillen.
Het Hirsch-vermoeden werd in 2010 ontkracht; de Spaanse wiskundige Francisco Santos ontdekte een tegenvoorbeeld voor een vermoeden dat al vijftig jaar onopgelost was. Een prestatie van formaat. Hoe gaat zo een ontdekking in zijn werk? In een recent interview in de nieuwsbrief van de European M...
Volgens computers heb je maximaal vier kleuren nodig om een landkaart zó te kleuren dat buurlanden nooit dezelfde kleur hebben. Aan de juistheid van computerbewijzen werd vaak getwijfeld. Tot nu… hopelijk.