QED

De xkcd comic van vandaag is grappig, maar natuurlijk niet helemaal correct. De fundamenten van de wiskunde zijn helemaal niet zo zeker als je zou denken, weten we sinds Kurt Gödel met zijn onvolledigheidsstellingen Hilberts formalistische programma een dreun gaf. Bertrand Russell had het hier ook moeilijk mee, beschrijft hij in zijn boek Portraits from [...]

Is de volgende Turing-machine universeel of niet? Wie dit kan bewijzen, ontvangt de Wolfram 2,3 Turing Machine Research Prize ter waarde van 25 000 $.

De machine heeft 2 toestanden en drie kleuren, en als ze universeel is, zou het de kleinst mogelijke universele Turing-machine zijn. Het is namelijk bewezen dat een Turing-machine met 2 toestanden [...]

Waarom ik nooit een vriendin zal hebben is de uitleg van Tristan Miller van het feit dat hij nog geen vriendin heeft. hij voert een wiskundige berekening uit van de waarschijnlijkheid om een “geschikte” partner te vinden. Een samenvatting van deze berekening:

Number of people on Earth (in 1998): 5 592 830 000
…who are female: 2 941 118 000
…in “developed” countries: 605 601 000
…currently [...]

To write a short program, say 100 lines of C code, is a relatively painless experience. The debugging will take longer than the writing, but it will not entail suicidal thoughts. However, should an inexperienced programmer undertake to write a slightly longer program, say 1000 lines, distressing results will follow. The debugging process becomes an [...]

Op de website van Alan Bundy, een onderzoeker die automatische bewijsprogramma’s ontwikkelt, vond ik een leuk projectvoorstel. Het trok mijn aandacht door de tot de verbeelding sprekende naam: Vanity Theorem Proving. Het doel van het project is het ontwikkelen van een web service om namen toe te kennen aan nieuw bewezen wiskundige stellingen. Er zijn [...]

Van 7 tot en met 20 mei staan er op 650 Nederlandse middelbare scholen panelen met puzzelansichtkaarten. Deze kaarten dagen de scholieren uit om op een andere manier na te denken over wiskunde en informatica. Scholieren die het juiste antwoord op de puzzels inzenden maken kans om een iPod nano of breinbrekersgadgets te winnen.
De jongerensectie [...]

Mathematics is a creative human endeavor, akin in some respects to mountaineering: mathematicians ofteen seek to solve problems for the same reason that mountaineers are driven to climb mountains –because they are there; and as in mountaineering, being first to the summit is not the only worthwhile goal. It is also exciting.
John Dawson, “Why do [...]

Er circuleert weer een illegaal getal op internet: 13 256 278 887 989 457 651 018 865 901 401 704 640. De hexadecimale versie van 128 bits lang is echter bekender: 09 F9 11 02 9D 74 E3 5B D8 41 56 C5 63 56 88 C0. Met dit getal als sleutel is het mogelijk [...]

Fieldsmedaillewinnaar Vaughan Jones beschrijft in zijn interessante artikel “A credo of sorts” (in H.G. Dales, G. Oliveri (eds.), Truth in Mathematics (1998), p. 214) de volgende anekdote:
Once, at a seminar, one of the world’s best low-dimensional topologists was presenting a major result. At a certain point another distinguished topologist in the audience intervened to say [...]

Deze maand weer een een lijstje van een aantal ‘willekeurige’ zoektermen waarmee bezoekers in de maand april op deze blog terechtkwamen:

grootste getal: Deze persoon was waarschijnlijk op zoek naar het grootste getal op een schoolbord.
de humor van wiskunde: Daar heb ik hier een hele categorie van.
knutselwerk van pythagoras: Hm, die kant van Pythagoras kende ik [...]