Skip to search formSkip to main contentSkip to account menu

Gödel

Known as: Godel (programming language), Goedel (programming language), Goedel programming language 
Gödel is a declarative, general-purpose programming language that adheres to the logic programming paradigm. It is a strongly typed language, the… 
Wikipedia (opens in a new tab)

Related topics

Related topics

8 relations
Declarative programmingList of programming languagesLogic programmingParametric polymorphism

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2019
Highly Cited
2019
Gödel’s Incompleteness Theorems
In 1931, when he was only 25 years of age, the great Austrian logician Kurt Gödel (1906– 1978) published an epoch-making paper… 
Highly Cited
2008
Highly Cited
2008
Personal Agency: The Metaphysics of Mind and Action
Introduction PART I: MENTAL CAUSATION, CAUSAL CLOSURE, AND EMERGENT DUALISM 1. Self, Agency, and Mental Causation 2. Causal… 
2006
2006
After Gödel
This paper describes the enormous impact of Gödel’s work on mathematical logic and recursion theory. After a brief description of… 
2006
2006
Gödel's Program Revisited Part I: The Turn to Phenomenology
Abstract Convinced that the classically undecidable problems of mathematics possess determinate truth values, Gödel issued a… 
Highly Cited
2003
Highly Cited
2003
On the philosophical development of Kurt Gödel
Godel first advocated the philosophy of Leibniz and then, since 1959, that of Husserl. Based on research in Godel’s archive, from… 
Review
2000
Review
2000
Barriers and bounds to Rationality
Highly Cited
1998
Highly Cited
1998
The Large, the Small and the Human Mind by Roger Penrose. Cambridge University Press, 1997, xviii + 185 pp. £14.95
From the Publisher: Roger Penrose's views on the large-scale physics of the universe, the small-scale world of quantum physics… 
Highly Cited
1996
Highly Cited
1996
Refinements of the maximin approach to decision-making in a fuzzy environment
Highly Cited
1986
Highly Cited
1986
Set theory in first-order logic: Clauses for Gödel's axioms
In this paper we present a set of clauses for set theory, thus developing a foundation for the expression of most theorems of… 
Highly Cited
1967
Highly Cited
1967
God, The Devil, And Gödel
Descartes believed that (nonhuman) animals were essentially machines, but that humans were obviously not; for a machine could… 
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)