Vladimir hade en unik känsla för grundläggande matematiska frågeställningar
Professor Vladimir Voevodsky, Institute for Advanced Study i Princeton, var en vår tid största matematiker, känd för sin förmåga att förändra perspektiv och förutsättningar inom matematiken. Han tilldelades 2002 Fieldsmedaljen, matematikens Nobelpris.
Komplexiteten hos de matematiska bevisen i stora delar av modern matematik har gjort att risken för fel i bevisen är överhängande. Under de senaste i åren arbetade därför Voevodsky med ett mycket stort projekt om att använda datorsystem för säkerställa korrektheten av matematiska bevis.
Han inledde ett samarbete med forskare vid Göteborgs universitet, som under flera decennier utvecklat den typ av datorprogram, så kallande bevisassistenter, som Voevodsky använde. 2016 utnämndes han till hedersdoktor vid universitetet.
Thierry Coquand, professor i datalogi vid Göteborgs universitet, samarbetade under flera år med Vladimir Voevodsky i projektet. Thierry kommenterar:
– Vladimir hade en unik känsla för grundläggande matematiska frågeställningar och hans för tidiga död är en otrolig förlust för området formalisering inom matematiken.
IT-fakultetens dekanus Jan Smith instämmer:
– Samarbetet med Vladimir Voevodsky var vetenskapligt mycket fruktbärande och hans bortgång är en stor förlust för oss.
Läs artikeln om Vladimir Voevodsky i New York Times
Foto: Klaus Tschira Stiftung/ Peter Badge