Goedel


Also found in: Dictionary, Thesaurus.
Related to Goedel: Godel numbering

Goedel

(language)
(After the mathematician Kurt G?del) A declarative, general-purpose language for artificial intelligence based on logic programming. It can be regarded as a successor to Prolog. The type system is based on many-sorted logic with parametric polymorphism. Modularity is supported, as well as infinite precision arithmetic and finite sets.

Goedel has a rich collection of system modules and provides constraint solving in several domains. It also offers metalogical facilities that provide significant support for metaprograms that do analysis, transformation, compilation, verification, and debugging.

A significant subset of Goedel has been implemented on top of SISCtus Prolog by Jiwei Wang <jiwei@lapu.bristol.ac.uk>.

FTP Bristol, UK, FTP K U Leuven.

E-mail: <goedel@compsci.bristol.ac.uk>.
Mentioned in ?
References in periodicals archive ?
Epimenides, Leibniz, Boole, Russell and Whitehead, Goedel, Spencer-Brown);
Brythonic, which became Welsh, and Goedel, which became Gaelic, existed alongside each other with Brythonic eventually dominating Goedelic.
A Note on Wittgensteins's "Notorious Paragraph" about the Goedel Theorem, JULIET FLOYD and HILARY PUTNAM
The authors discuss Wittgenstein's discussions with Turing, Watson, and others in 1937-39, as well as later testimony of Goodstein and Kreisel, which indicate that Wittgenstein accepted the Goedel theorem as a genuine result.
It would use Goedel and latter day quantum mechanics to explicate the limits of cognition.
It would see the role of the path as alerting the subjects to their intrinsic subjectivity through logical paradoxes exemplified by Goedel, where the careful observer can see himself believe two mutually incompatible facts in quick succession, and certain types of movement which free the subject from blocking behaviour by the organism.
1979) Goedel, Escher, Bach un Eterno y Gracil bucle (Trad.
Other writers then confused Catygern with Ceredic and with Cyndeyrn (Keynt y gern in Goedel, ie.
In May, he was awarded the 1999 Goedel Prize for his paper, "Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer.
Ademas, hay que recordar que con Gottlob Frege empieza en 1879 el proyecto en sentido contrario, el que intenta reducir todas las matematicas a la logica, que lleva el nombre de logicismo y se prolonga hasta 1932 con los teoremas de Goedel.
The Angles and the Saxons called the indigenous population 'Britons' irrespective of them being Brythons, Goedels or Picts.