the Gödel Prize – ett årligt pris för enastående artiklar i ämnet teoretisk datorvetenskap. – Det är uppkallat efter logikern Kurt Gödel†. Priset har delats ut sedan 1993. Bakom priset står ACM och European association for theoretical computer science, EATCS (eatcs.org). I priset ingår 5 000 dollar. – Kurt Gödels insats för datorvetenskapen var dels att hans ofullständighetssats inspirerade Alan Turing† till artikeln om Turingmaskinen, dels att han var först med att formulera problemet P=NP?.) – Se denna webbsida.
[datorvetenskap] [utmärkelser] [ändrad 6 juni 2017]