Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 217,273,760 papers from all fields of science
Search
Sign In
Create Free Account
Gödel
Known as:
Godel (programming language)
, Goedel (programming language)
, Goedel programming language
Expand
Gödel is a declarative, general-purpose programming language that adheres to the logic programming paradigm. It is a strongly typed language, the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
8 relations
Declarative programming
List of programming languages
Logic programming
Parametric polymorphism
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2007
Highly Cited
2007
An Introduction to Gödel's Theorems
Peter F. Smith
2007
Corpus ID: 118727836
In 1931, the young Kurt Gödel published his First Incompleteness Theorem, which tells us that, for any sufficiently rich theory…
Expand
Highly Cited
2007
Highly Cited
2007
Gödel Machines: Fully Self-referential Optimal Universal Self-improvers
J. Schmidhuber
Artificial General Intelligence
2007
Corpus ID: 13347222
We present the first class of mathematically rigorous, general, fully self-referential, self-improving, optimally efficient…
Expand
2006
2006
After Gödel
H. Putnam
Logic Journal of the IGPL
2006
Corpus ID: 17337255
This paper describes the enormous impact of Gödel’s work on mathematical logic and recursion theory. After a brief description of…
Expand
Highly Cited
2000
Highly Cited
2000
The explicit economics of knowledge codification and tacitness
R. Cowan
,
P. David
,
D. Foray
2000
Corpus ID: 387040
Note: Article first published in 2000 in Industrial and Corporate Change, vol.9, n.2, pp.213-253. Reference CEMI-CHAPTER-2005-037…
Expand
Review
2000
Review
2000
WHY AGENTS? ON THE VARIED MOTIVATIONS FOR AGENT COMPUTING IN THE SOCIAL SCIENCES
R. Axtell
,
R. Axtell
2000
Corpus ID: 10713122
The many motivations for employing agent-based computation in the social sciences are reviewed. It is argued that there exist…
Expand
Highly Cited
1986
Highly Cited
1986
Set theory in first-order logic: Clauses for Gödel's axioms
R. Boyer
,
E. Lusk
,
W. McCune
,
R. Overbeek
,
M. Stickel
,
L. Wos
Journal of automated reasoning
1986
Corpus ID: 31933887
In this paper we present a set of clauses for set theory, thus developing a foundation for the expression of most theorems of…
Expand
Highly Cited
1966
Highly Cited
1966
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
K. Gödel
,
B. Meltzer
,
R. Schlegel
1966
Corpus ID: 121855003
Gödel’s famous proof [2, 1] is highly interesting, but may be hard to understand. Some of this difficulty is due to the fact that…
Expand
Highly Cited
1961
Highly Cited
1961
Minds, Machines and Gödel
J. Lucas
Philosophy
1961
Corpus ID: 55408480
Gödei's Theorem seems to me to prove that Mechanism is false, that is, that minds cannot be explained as machines. So also has it…
Expand
Review
1949
Review
1949
An Example of a New Type of Cosmological Solutions of Einstein's Field Equations of Gravitation
K. Gödel
1949
Corpus ID: 27793831
Kurt Gödel became interested in general relativity theory while he and Einstein were both on staff of the Institute for Advanced…
Expand
Highly Cited
1936
Highly Cited
1936
Extensions of some theorems of Gödel and Church
Barkley Rosser
Journal of Symbolic Logic (JSL)
1936
Corpus ID: 36635388
We shall say that a logic is “simply consistent” if there is no formula A such that both A and ∼ A are provable. “ω-consistent…
Expand
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)
ACCEPT & CONTINUE