Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,464,194 papers from all fields of science
Search
Sign In
Create Free Account
Gödel numbering
Known as:
Godel set
, Godel number
, Gödel numbers
Expand
In mathematical logic, a Gödel numbering is a function that assigns to each symbol and well-formed formula of some formal language a unique natural…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
33 relations
Algorithm
Blum axioms
Code
Compression theorem
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
A MIP Backend for the IDP System
S. Pham
,
Jo Devriendt
,
M. Bruynooghe
,
Patrick De Causmaecker
arXiv.org
2016
Corpus ID: 1716175
The IDP knowledge base system currently uses MiniSAT(ID) as its backend Constraint Programming (CP) solver. A few similar systems…
Expand
2015
2015
Phenomenal World as an Output of Cognitive Quantum Grid: Theory of Everything using Leibniz, Kant and German Idealism
Darius Malys
2015
Corpus ID: 55079885
In order to understand the Universe completely and achieve Theory of Everything we must understand how our consciousness…
Expand
2015
2015
What are the Advantages of Four Grades Based on the Distribution(Anatomical Numbering)
J. Huh
2015
Corpus ID: 63286416
2015
2015
On a Goedel's misjudgment
G. Raguní
2015
Corpus ID: 117808060
The fundamental aim of the paper is to correct an harmful way to interpret a Goedel's erroneous remark at the Congress of…
Expand
2010
2010
Approximate Reasoning in Godel 4-Valued Nonlinear Ordered Set Logic System
Weibing Zuo
International Conference on Biomedical…
2010
Corpus ID: 14881065
In order to establish approximate reasoning in 4-value nonlinear ordered set logic system, firstly we define the truth degree of…
Expand
2009
2009
A taylor-made arithmetic model of the genetic code and applications
T. Négadi
2009
Corpus ID: 18873024
We present a completely new version of our arithmetic model of the standard genetic code and compute in a straightforward manner…
Expand
2009
2009
Games for Truth
P. Welch
Bulletin of Symbolic Logic
2009
Corpus ID: 14765676
Abstract We represent truth sets for a variety of the well known semantic theories of truth as those sets consisting of all…
Expand
2009
2009
Chiron : Mechanizing Mathematics in OCaml
H. Ni
2009
Corpus ID: 123387178
Computer algebra systems such as Maple [2] and Mathematica [12] are good at symbolic computation, while theorem proving systems…
Expand
2001
2001
Rotation in cosmology : Comments on " Imparting rotation to a Bianchi type II space-time , " by
M.
,
Rebouqas
,
B. S. d'Olival
2001
Corpus ID: 48344709
Flat Minkowski space-time or open submanifolds of it may be sliced by a family of three-dimensional spacelike orbits of three…
Expand
1975
1975
On Simple Gödel Numberings and Translations
J. Hartmanis
,
T. Baker
SIAM journal on computing (Print)
1975
Corpus ID: 6958088
In this paper we consider classes of Goedel numberings, viewed as simple models for programming languages, into which all other…
Expand