Goedel

释义

[辨证法]哥德尔不完全性定理；

The Goedel Programming Language
Goedel-type universes and the Landau problem
On Simple Goedel Numberings and Translations
The existence of Goedel, Einstein, and de Sitter universes
Black holes in Goedel-type universes with a cosmological constant
Three-dimensional origin of Goedel spacetimes and black holes
Goedel Machines: Self-Referential Universal Problem Solvers Making Provably Optimal Self-Improvements
Quantization of heterotic strings in a Goedel/Anti de Sitter spacetime and chronology protection
Explicit Fermi Coordinates and Tidal Dynamics in de Sitter and Goedel Spacetimes
A self-applicable partial evaluator for the logic programming language Goedel