QED

Toevallig gevonden: Fermats laatste Python-script.
fermat.py

def fermat(n):
“”"Returns triplets of the form x^n + y^n = z^n.
Warning! Untested with n > 2.”"”
from itertools import count
for x in count(1):
for y in range(1, x+1):
[...]

Our federal income tax law defines the tax y to be paid in terms of the income x; it does so in a clumsy enough way by pasting several linear functions together, each valid in another interval or bracket of income. An archeologist who, five thousand years from now, shall unearth some of our income [...]

Via de Noncommutative geometry blog ontdekte ik dat er een audio-opname bestaat van David Hilberts beroemde toespraak uit 1930 in Königsberg, die hij eindigde met de gevleugelde woorden “Wir müssen wissen, wir werden wissen.” Wiskundeprofessor James T. Smith heeft zelfs een mp3 van een fragment hiervan (4 minuten, op de radio uitgezonden) online staan, samen [...]

Mark Dominus’ blog wees me op deze anekdote over de logicus Kurt Gödel die ik een tijdje terug ook al gehoord had. Dit fragment uit The New Yorker van 29 februari 2005 (Jim Holt, Time Bandits, p. 4) beschrijft het voorval schitterend:
One much retailed story concerns Gödel’s decision after the war to become an American [...]

If you were plowing a field, which would you rather use: Two strong oxen or 1024 chickens?
Seymour Cray, een elektrotechnisch ingenieur en bedenker van de beroemde Cray supercomputers, had het niet zo voor parallelle computersystemen die uit een hoop zwakke processoren bestaan. Deze computersystemen maakten in het midden van de jaren ‘90 opgang. Hij vergeleek [...]

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 [...]

Sinds een tijdje ben ik geïnteresseerd in filosofische/metawiskundige vragen over zogenaamde “elementaire” bewijzen. Bij mijn weten is er niet echt een formele definitie van een elementair bewijs, maar in het algemeen gaat het over bewijzen die niet gebruik maken van concepten buiten het domein waarin de stelling gedefinieerd is. In de getaltheorie is een elementair [...]

Op 6 augustus is de Noorse wiskundige Atle Selberg in Princeton overleden. Hij hield zich vooral bezig met analytische getaltheorie en deed onder andere onderzoek naar de Riemann zetafunctie en de distributie van priemgetallen. Dit bracht hem tot de Selberg-formule, waardoor hij samen met Paul Erdős een elementair bewijs van de priemgetalstelling vond. Sinds de [...]

In het augustusnummer van het interdisciplinaire tijdschrift The Reasoner schrijft filosoof van de wiskunde David Corfield enkele interessante zaken. In de editorial zegt hij dat filosofen van de wiskunde zich in het algemeen te veel op logica gefocust hebben, en te weinig op de praktijk van wiskundigen:
In my experience of working and talking with mathematicians, [...]

Naar aanleiding van de 300ste geboortedag van Euler heeft professor V. S. Varadarajan in de Bulletin of the American Mathematical Society een artikel gepubliceerd waarin hij een overzicht geeft van Eulers werk over oneindige reeksen en het moderne werk dat erop gebaseerd is. Het is een vrij diepgaand artikel met heel wat voorbeelden en Varadarajan [...]