Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,654,834 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.
2015
2015
Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics
Christoph Benzmüller
International Conference on Theorem Proving with…
2015
Corpus ID: 28660621
Classical higher-order logic is suited as a meta-logic in which a range of other logics can be elegantly embedded. Interactive…
Expand
2011
2011
The semantic conception of proof
N. Weaver
2011
Corpus ID: 40456183
We analyze the informal semantic conception of proof and axiomatize the proof relation and the provability operator. A self…
Expand
2005
2005
Running head: ABDUCTION, DEDUCTION AND INDUCTION Abduction, Deduction, and Induction: Their implications to quantitative methods
Chong Ho Alex Yu
2005
Corpus ID: 16626768
While quantitative methods have been widely applied by social scientists such as sociologists, psychologists, and economists…
Expand
2004
2004
Modelos de computación celular con membranas
M. J. Pérez
,
A. Romero
,
F. Sancho
2004
Corpus ID: 170136818
En este trabajo se presenta un nuevo modelo decomputacion no convencional (los sistemas celulares con membranas), inspirado en la…
Expand
2002
2002
A topological method for geodesic connectedness of space-times: Outer Kerr space-time
J. Flores
,
Miguel Sánchez Caja
2002
Corpus ID: 16309317
The geodesic connectedness of outer Kerr space–time is proven by using a topological method. The proof is based on arguments…
Expand
2001
2001
On the Compatibility Between Physics and Intelligent Organisms
John C. Collins
2001
Corpus ID: 9335333
It has been commonly argued, on the basis of Goedel's theorem and related mathematical results, that true artificial intelligence…
Expand
2000
2000
Gödel: A Life of Logic
J. Casti
,
Werner Depauli-Schimanovich
2000
Corpus ID: 170812541
Kurt Godel was an intellectual giant. His Incompleteness Theorem turned not only mathematics but also the whole world of science…
Expand
2000
2000
Algorithmic Information Theory and Undecidability
Panu Raatikainen
Synthese
2000
Corpus ID: 12226657
Au-dela de l'incompletude observee par G. J. Chaitin dans le domaine de la theorie algorithmique de l'information, ou de la…
Expand
1994
1994
Provable Correctness of Prototype Interpreters in LDL
R. Lämmel
,
G. Riedewald
International Conference on Compiler Construction
1994
Corpus ID: 16118529
LDL is a system supporting the design of procedural programming languages and generating prototype interpreters directly from the…
Expand
1978
1978
Program synthesis through Gödel's interpretation
S. Goto
Mathematical Studies of Information Processing
1978
Corpus ID: 12675822
This paper develops a program synthesis method based upon intuitionistic logic. This method is essentially an application of…
Expand