Pris för bevis

Thierry Coquand vid Data- och informationsteknik, Göteborgs universitet, har tilldelats Kurt Gödel centenary research prize fellowship om 120.000 dollar för sin nyskapande forskning inom matematikens grunder.

Läs mer, [Göteborgs universitet] ...