QED

Scott Aaronson wijst op een leuke easter egg op de homepage van de universiteit van Bristol. Daar staat namelijk een foto van een schoolbord met het volgende op geschreven:
NP ⊂ BQP, but the proof is too small to fit on this blackboard.
Weer een mooie parodie op Fermat, en op de wikipagina van Complexity Zoo over [...]

Attaching significance to invariants is an effort to recognize what, because of its form or colour or meaning or otherwise, is important or significant in what is only trivial or ephemeral. A simple instance of failing in this is provided by the poll-man at Cambridge, who learned perfectly how to factorize a2 - b2 but [...]

Door de brand van 22 oktober 2007 in het Armando Museum in Amersfoort is de gravure Melencolia I van Albrecht Dürer verloren gegaan, zo meldt Tom Koornwinder op de Wiskunde Persdienst. De gravure bevat allerlei allegorische wiskundige figuren en is vooral bekend van het 4 bij 4 magisch vierkant rechtsboven, waarvan de twee middelste cellen [...]

Terwijl ik in mijn recentste artikel in PC-Active nog uitgebreid de strategieën besprak om de Wolfram 2,3 Turing Machine Research Prize ter waarde van 25 000 $ te winnen, schrijft Stephen Wolfram vandaag in zijn blog dat de prijs is gewonnen: zijn Turingmachine is universeel.

Vijf jaar geleden schreef hij op p. 709 van A New [...]

Iedereen kent wel de captcha’s, die irritante formuliertjes die je vragen om een aantal vervormde en verkleurde letters en cijfers te herkennen en over te typen. Ze zijn bedoeld om spambots tegen te houden, maar schrikken natuurlijk ook heel wat mensen af. Er zijn echter ook heel wat leukere captcha’s die vaak vragen om een [...]

Mathematics is not a careful march down a well-cleared highway, but a journey into a strange wilderness, where the explorers often get lost. Rigour should be a signal to the historian that the maps have been made, and the real explorers have gone elsewhere.
W.S. Anglin, “Mathematics and History”, Mathematical Intelligencer, Vol. 14, No. 4, pp. [...]

In de twee recentste nummers van PC-Active schreef ik over Stephen Wolframs A New Kind of Science, achtereenvolgens over cellulaire automaten en Turingmachines. Ik toonde er Mathematica Player en het Wolfram Demonstrations Project om de cellulaire automaten uit te proberen, maar wie wat avontuurlijker aangelegd is kan natuurlijk ook zelf een computerprogramma schrijven om de [...]

Enkele dagen geleden heb ik op mijn filosofieblog een tag cloud van mijn del.icio.us bookmarks gepost. Sindsdien heb ik door mijn geeky nieuwsgierigheid toevallig ontdekt dat je de door del.icio.us gegenereerde tag cloud ook kan laten beperken tot alle tags die samen met een andere tag voorkomen. Hier volgt dan de tag cloud van de [...]

Adi Shamir geeft zijn lezing “Practical Cryptanalysis of Multivariate Schemes” niet alleen in Amsterdam, maar ook in Leuven, wat voor de Belgen heel wat interessanter is. De lezing gaat door als Cosic-seminarie op woensdag 24 oktober van 10 tot 11 uur in het departement Elektrotechniek van de Katholieke Universiteit Leuven.

Op maandagmiddag 29 oktober geeft Adi Shamir een lezing op het CWI (Centrum voor Wiskunde en Informatica) in Amsterdam. De Engelstalige lezing gaat over een nieuwe manier om een bepaalde beveiliging - het ‘SFLASH multivariate cryptosysteem’ - te kraken. Shamir is de ‘S’ uit het wereldberoemde RSA-encryptiesysteem om gegevens te beveiligen. Dit ontwierp hij samen [...]