Skip to search formSkip to main contentSkip to account menu

Gödel Prize

Known as: Godel Prize, Goedel prize, Göedel Prize 
The Gödel Prize is an annual prize for outstanding papers in the area of theoretical computer science, given jointly by European Association for… 
Wikipedia (opens in a new tab)

Related topics

Related topics

49 relations
AKS primality testActa InformaticaAdaBoostAlgorithmic game theory

Broader (1)

Theoretical computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Past Sperber Prize Recipients
  • M. Tia
  • 2014
  • Corpus ID: 164152621
2014
2014
L’intelligenza performativa della meta-arte: il paradosso dell’autoreferenza nel novecento italiano
2012
2012
Philosophers & Futurists, Catch Up! Response to The Singularity
Responding to Chalmers' The Singularity (2010), I argue that progress towards self-improving AIs is already substantially beyond… 
2004
2004
What Hath Gödel Wrought?
Presentation des travaux de Godel en logique, philosophie, informatique, cosmologie et mathematiques. Se referant aux principaux… 
2003
2003
A Simple Exposition of Gödel's Theorem
2002
2002
A universal alphabet and rewrite system
We present two ways in which an infinite universal alphabet may be generated using a novel rewrite system that conserves zero (a… 
2000
2000
STMM: A Set Theory for Mechanized Mathematics
1998
1998
A restricted computation model on Scott domains and its partial primitive recursive functionals
Abstract. The paper builds on both a simply typed term system ${\cal PR}^\omega$ and a computation model on Scott domains via so… 
Review
1995
Review
1995
Between The Motion And The Act... A Review of Shadows of the Mind by Roger Penrose
1.1 In these comments I want to leave aside entirely whether human mathematical understanding is achieved solely through the… 
1992
1992
Some philosophical implications of Gödel's theorem
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)