Le prix Gödel est l'équivalent du prix Nobel pour l'Informatique théorique, et existe depuis 1993. Il rejoint le prix Turing, créé en 1966, récompensant des travaux pratiques en informatique.

Pour rappel, le prix Nobel ne concerne que 6 disciplines : la physique, la chimie, la médecine, la littérature, la paix et depuis 1968 l'économie. Les mathématiques ne reçoivent pas de prix Nobel, suite aux ébats entre un mathématicien et la femme d'Alfred Nobel.