QED

The advantage is that mathematics is a field in which one’s blunders tend to show very clearly and can be corrected or erased with a stroke of the pencil. It is a field which has often been compared with chess, but differs from the latter in that it is only one’s best moments that count [...]

De aprileditie van NRich bevat een leuk artikel dat toont hoe je met papier de vijf Platonische lichamen kan maken. Dit is iets dat ik als kind ook al deed, maar dan in karton. Deze en andere veelvlakken hebben jaren mijn slaapkamer opgeluisterd.

David Corfields blog wees me op een interessant interview met de wiskundigen Gian-Carlo Rota en David Sharp: “Mathematics, Philosophy, and Artificial Intelligence”, Los Alamos Science, No. 12 (1985). Op pagina 99 vertelt Rota over een aantal belangrijke combinatorische problemen en hij verwijst naar de vierkleurenstelling, die hij bewust vierkleurenvermoeden noemt:
The four-color conjecture –that with only [...]

300 jaar geleden is de grote wiskundige Leonhard Euler geboren. Zijn geboortedatum is wel 15 april, maar in 1707 was in Eulers geboorteplaats Basel de Juliaanse kalender nog in voege, en die loopt 10 dagen achter op de gregoriaanse, zo herinnert Daafs gedachten, … ons. Euler heeft bijdragen geleverd aan heel wat takken in de [...]

Alexandre Borovik wijst op een leuk bewijs van de onbeslisbaarheid van het stopprobleem. Het bewijs door Geoffrey K. Pullum is geschreven in de vorm van een gedicht:

Scooping the Loop Snooper - an elementary proof of the undecidability of the halting problem
No program can say what another will do.
Now, I won’t just assert that, I’ll prove [...]

In navolging van Florine Meijer hier een lijstje van een aantal ‘willekeurige’ zoektermen waarmee bezoekers in de maand maart op QED terechtkwamen:

priemgetallen nijmegen: Heeft iemand van de Katholieke Universiteit Nijmegen een groot priemgetal gevonden ofzo?
ezelsbruggetjes onthouden: Ik dacht dat ezelsbruggetjes net bedoeld waren om iets beter te onthouden? Iemand had blijkbaar zelfs moeite met het [...]

Tijdens het opzoekingswerk van mijn lijstje van de tien beste filosofen van de twintigste eeuw op mijn andere blog ontdekte ik dat er een muziekgroep bestaat met de naam Turing Machine. Het is een instrumentale rockband, maar ik heb nergens gevonden waarom ze de naam van Alan Turings model voor computers als groepsnaam gekozen hebben. [...]

Beauty in mathematics is seeing the truth without effort.
George Pólya