QED

Vandaag is het π-dag. In de Amerikaanse notatie wordt 14 maart namelijk geschreven als 3/14. Voor de wiskundemeisjes was dat vorig jaar de gelegenheid om met hun blog te beginnen. Voor mij is dat vandaag de gelegenheid om enkele π-weetjes te schrijven.
Toen Ferdinand von Lindemann eens een lezing gaf over zijn bewijs dat π een [...]

In het februarinummer van FastCompany.com staat een artikel over Brenda Dietrich, die aan het hoofd staat van het “Mathematical sciences” departement van het vermaarde Thomas J. Watson Research Center van IBM. Het onderzoekscentrum heeft één van de grootste verzamelingen wiskundigen in een bedrijf. In de jaren 1960 werkte Frances Allen er ook, die onlangs als [...]

The possibility of computer-assisted proof verification would significantly extend the age period in which mathematicians are optimally productive: older mathematicians tend to avert getting bogged down in details, which often prevents full development of the continuing stream of valid ideas.
Carlos Simpson, “Computer theorem proving in mathematics”, Letters in Mathematical Physics, Vol. 62 (2004), p. 290
Ik [...]

In de Notices of the American Mathematical Society van 1997 staat een bespreking van het BBC-programma over de laatste stelling van Fermat, dat tien jaar geleden op tv kwam. Het artikel geeft een leuk citaat uit de documentaire. Andrew Wiles zei er:
I decided that I really only had time for my problem and my family. [...]

Het Eulerarchief is een interessante online verzameling van de teksten van Leonhard Euler. Alle 866 publicaties van de grote wiskundige hebben een pagina op de website, met uitleg over het artikel, waar en wanneer het gepubliceerd is, een ingescand pdf-bestand van de originele publicatie en eventuele vertalingen.
Ik heb zelf al verschillende keren dankbaar van het [...]

Hao Wang beschrijft in zijn artikel “Toward mechanical mathematics” (1960) een computerprogramma dat de bijna 400 stellingen uit Russells en Whiteheads Principia Mathematica automatisch kon bewijzen. Dit artikel stamt uit de begintijd van het onderzoek naar automatische bewijsprogramma’s. Het is een vrij saai artikel, Wang beschrijft er onder andere hoe het programma werkt en illustreert [...]

Wiskunde is tof! zegt Peter Dedecker. Hij verwijst daarvoor naar de wetenschapsweken van de universiteit van Gent van enkele jaren geleden. Scholieren mochten daar met behulp van Maple de baan van een projectiel berekenen en daarna toetsen met de praktijk door waterraketten af te schieten. Dedecker zegt:
Als de faculteiten Wetenschappen en Ingenieurswetenschappen hun opleidingsaanbod beter [...]

Het scheelt niet veel of ik voel mij soms ook zo:

1050 is a long way from infinity.
Daniel Shanks, “Solved and Unsolved Problems in Number Theory”, 3rd edition (1985), p. 217

Jeffrey Shallit schreef vorig jaar op Valentijn enkele Fibonaccigedichten, of kortweg “Fibs”, op zijn blog. Het schijnt een uitvinding te zijn van Gregory Pincus (zie ook het interview met hem in The New York Times). De eerste Fib die Pincus schreef, ging als volgt:
One
Small,
Precise,
Poetic,
Spiraling mixture:
Math plus poetry yields the Fib.
Een Fib is een soort haiku, [...]