Als we het echt willen, kunnen we een kwantumcomputer bouwen

Vandaag doet Lieven Vandersypen zijn intreerede als hoogleraar aan de TU Delft. Tijdens zijn promotie-onderzoek aan de Stanford Universiteit realiseerde Vandersypen één van de eerste kwantumberekeningen en ook de meest complexe kwantumberekening tot nu toe. Van een werkende kwantumcomputer zijn we volgens alle deskundigen echter nog ver verwijderd. Vandersypen deelt de scepsis van sommigen van [...]

De mangagids voor statistiek

Op de website www.edumanga.me vind je onder andere de boeken The Manga Guide to Statistics en The Manga Guide to Calculus. Elk van deze boeken bestaat uit een mangastrip en een tekst die de strip uitlegt, evenals oefeningen en antwoorden. De reeks heeft niet alleen boeken over wiskunde, maar ook over fysica, biologie, informatica, … [...]

2008 duurde een seconde langer

Jullie hebben allemaal al wel gehoord dat 2008 een seconde langer duurde door het invoeren van een schrikkelseconde. Ik was benieuwd hoe men deze schrikkelseconde zou noteren. Wat blijkt nu:
A positive leap second will be introduced at the end of December 2008.
The sequence of dates of the UTC second markers will be:

[...]

2008 duurde een dag te lang voor Microsoft Zune

Gebruikers van de Microsoft Zune-muziekspeler kregen op oudjaar het apparaatje niet meer in gang: het herstartte vanzelf en bleef bij het opstartscherm hangen. In Microsofts driver voor de interne klok bleek een fout te zitten waardoor de Zune geen rekening hield met de 366 dagen van het schrikkeljaar 2008. Het 30 Gbyte-model uit 2006 weigerde [...]

Mathematica 7 democratiseert parallel computing

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 [...]

Formele bewijzen: het DNA van de wiskunde

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 [...]

Het Ishago-beentje in de ruimte?

Het Ishango-beentje is een 22 000 jaar oud beentje, meer dan 50 jaar geleden door de Belgische archeoloog Jean de Heinzelin de Braucourt gevonden in Ishango, aan de grens tussen Congo en Oeganda. De ontdekker bracht het beentje naar het Koninklijke Belgisch Instituut voor Natuurwetenschappen in Brussel, waar het sindsdien verblijft. Het wordt beschouwd als [...]

Gentse universiteit installeert krachtigste supercomputer België

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, [...]

Getaltheorie op YouTube

Het Journal of Number Theory heeft sinds april een eigen YouTube-kanaal waarop auteurs van artikels die gepubliceerd worden een video abstract van maximum 4 minuten kunnen plaatsen. Initiatiefnemer David Goss geeft ons nu op de mailing list NMBRTHRY een update van het project:
This endeavor is gaining momentum and we now have some video abstracts from [...]

Henri Cartan gestorven

De Franse wiskundige Henri Cartan is op 13 augustus gestorven. De man was maar liefst 104 jaar oud geworden. Cartan was gespecialiseerd in analytische functies in meerdere complexe variabelen, potentiaaltheorie, algebraïsche topologie en homologische algebra. Hij ontving in 1976 de gouden medaille van het Centre national de la Recherche scientifique (CNRS), de hoogste wetenschappelijke onderscheiding [...]