QED

[T]here is still room for beauty, suitably defined, but we have to learn to live with the division of labor. We, humans, would do the simple part, and computers will do the complex part. And by “complex”, I do not mean just tedious number crunching. Ninety-nine percent of what mathematicians do today is just one [...]

De Zweedse softwareontwikkelaar Hans Andersson had voor zijn dochters een LEGO Mindstorms NXT roboticakit gekocht, maar al vlug was hijzelf er meer mee bezig. Hij heeft er zelfs een robot mee gemaakt die volledig automatisch een Rubik-kubus oplost! Op zijn website Tilted Twister legt hij uit hoe je dit zelf kan maken. De Tilted Twister-robot [...]

Op de blog Alice and Bob in Cryptoland vond ik enkele interessante visualisaties van operaties op groepen. Een eenvoudig voorbeeld is de groep , die bestaat uit de getallen 0 tot en met 4 en de optelling modulo 5. Als we 0 voorstellen door zwart, 1 door purper, 2 door rood, 3 door oranje en [...]

Wolfram Research heeft versie 7 van zijn computerpakket Mathematica uitgebracht. Dit komt vrij vlug, slechts anderhalf jaar na versie 6, die ik vorig jaar voor PC-Active testte als aanvulling bij het artikel over de kleinste universele turingmachine.
Ik heb weinig ervaring met Mathematica, maar ik was in de vorige versie wel onder de indruk van een [...]

Zoals ik hier eerder al vermeldde, geeft de Canadese wiskundige Erik Demaine op woensdag 19 november om 16 uur in de salle Dupréel (Sociologie) van de ULB een lezing met de titel: “Mathematics meets Art, Puzzles, and Magic: Fun with Algorithms”. Ondertussen staat de samenvatting van de lezing online:
Solving and designing puzzles, creating sculpture and [...]

Het decembernummer van de Notices of the American Mathematical Society heeft als thema “formal proof”, met artikels over door computers gegenereerde en door computers geverifieerde bewijzen. De volgende vier artikels van experts geven een overzicht van de nieuwste ontwikkeling in het domein van formele bewijzen en de computertools daarvoor:

Formal Proof, door Thomas Hales, University of [...]

De screensaver JigglyPuff uit de xscreensaver-collectie toont allerlei quasi-sferische objecten die de hele tijd veranderen van vorm en op het scherm rondbewegen. Enkele voorbeelden:

En dan eentje in wireframe:

Maar je krijgt ook rariteiten zoals dit te zien:

De Universiteit Gent gaat een supercomputer installeren met een waarde van 1 miljoen euro, die de krachtigste computer van België zou moeten worden en wereldwijd in de top 250 zou staan. De computer wordt geïnstalleerd in het rectoraat van de universiteit en zal ingezet worden voor ingewikkelde berekeningen en simulaties, niet enkel in de informatica, [...]

De screensaver IFS uit de xscreensaver-collectie toont een geanimeerde voorstelling van een iterated function system. Enkele voorbeelden:

Een iterated function system of IFS is een methode om fractals te construeren die volledig zelfgelijkvormig zijn. Deze fractals bestaan uit kopies van zichzelf, waarbij elke kopie door een functie getransformeerd wordt.

Hans Riesel held a Mersenne record for 14 days in the 50’s, calculated using the first Swedish computer. My old highschool computing teacher had worked as a student on the system and had managed to crush his foot when a byte fell out of its rack and onto him.
Anders Sandberg
Bron: Eliezer Yudkowsky