Amerikaanse president bewijst stelling van Pythagoras

In 1876 vond James Garfield een “nieuw” bewijs van de stelling van Pythagoras, las ik op Futility Closet. Garfield gaf een aantal jaren les, en werd in 1881 verkozen tot president van de VS. Zijn bewijs is eenvoudig te volgen en gaat als volgt:

Deze figuur is een trapezium, waarvan de oppervlakte gelijk is aan de [...]

Instant mathematician

“A mathematician is a device for turning coffee into theorems,” is een uitspraak die vaak aan Paul Erdős wordt toegeschreven, maar waarschijnlijk eerder door Alfréd Rényi uitgesproken is. Voor wie deze uitspraak een warm hart toedraagt, zijn er nu T-shirts met de opdruk “Instant mathematician - Just add coffee” te koop op Gifts for a [...]

Waarom wiskunde?

Michael Harris probeert in zijn binnenkort te verschijnen artikel “Why mathematics?” You might ask een antwoord te geven op waarom we wiskunde beoefenen. Hij grijpt hiervoor terug naar een lezing van André Weil in 1978 op het Internationaal Congres voor Wiskundigen, waarin de wiskundige er nog vanaf kwam door te zeggen dat hij op deze [...]

Tuppers “zelfverwijzende” formule

In het juli/augustus-nummer van PC-Active heb ik een artikel geschreven over paradoxen en zelfreferentie. Zowel de filosofische kant als computertoepassingen komen aan bod. Zo beschrijf ik er zogenaamde quines, computerprogramma’s zonder invoer die hun eigen broncode als uitvoer geven. Je kan de besproken quines in C, Java, Ruby en Prolog downloaden om er zelf eens [...]

Het meest magische vierkant is geen doorbraak

Het nieuws dat drie Nijmeegse scholieren het meest magische vierkant ooit gevonden hadden, zette gisteren heel Nederland op stelten. Arno van den Essen, wiskundige van de Radboud Universiteit Nijmegen en auteur van het inspirerende boek Magische vierkanten - Van Lo-Shu tot sudoku, noemde de jongeren “hele bijzondere leerlingen” en het vierkant dat ze vonden “het [...]

De mythe van het eerste kwantumalgoritme

Shors algoritme is het bekendste voorbeeld van een algoritme voor een kwantumcomputer. Het laat toe om getallen te factoriseren, en dat veel efficiënter dan op een klassieke computer kan. Net zoals bij de vierkleurenstelling gebeurt, overschaduwt dit algoritme alle andere kwantumalgoritmes. Vaak wordt Shors algoritme ten onrechte het eerste algoritme voor een kwantumcomputer genoemd. Zo [...]

De mythe van de vierkleurenstelling

De vierkleurenstelling is het bekendste voorbeeld van een stelling die met behulp van een computer is bewezen. In 1976 bewezen de wiskundigen Kenneth Appel en Wolfgang Haken met behulp van uitgebreide computerberekeningen de vierkleurenstelling: voor een willekeurige landkaart is het mogelijk om de landen met hoogstens vier kleuren zò in te kleuren dat geen twee [...]