Gödel numbering

Known as: Godel set, Godel number, Gödel numbers 
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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1937-2016
0102019372015

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
We describe a compact serialization algorithm mapping Prolog terms to natural numbers of bit-sizes proportional to the memory… (More)
Is this relevant?
Highly Cited
2011
Highly Cited
2011
G-protein-coupled receptors (GPCRs) are eukaryotic integral membrane proteins that modulate biological function by initiating… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2010
2010
In [3], Rogers discussed the concept of Gödel numbering. He defined a semi-effective numbering, constructed a semi-lattice of… (More)
Is this relevant?
2008
2008
The genetic code structure into distinct multiplet-classes as well as the numeric degeneracies of the latter are revealed by a… (More)
  • table 1
  • table 2
Is this relevant?
2007
2007
First-order Gödel logics are a family of infinite-valued logics where the sets of truth values V are closed subsets of [0,1… (More)
Is this relevant?
2005
2005
The final two volumes, numbers IV and V, of the Oxford University Press edition of the Collected Works of Kurt Gödel [3]-[7… (More)
Is this relevant?
2004
2004
We present two results which shed some more light on the deep connection between ZFA and the standard ZF set theory: First of all… (More)
Is this relevant?
2003
2003
Supersymmetric backgrounds in string and M-theory of the Gödel Universe type are studied. We find several new Gödel Universes… (More)
  • figure 1
Is this relevant?
2003
2003
We consider the brane-world generalisation of the Gödel universe and analyse its dynamical interaction with the bulk. The exact… (More)
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Residuated fuzzy logic calculi are related to continuous t-norms, which are used as truth functions for conjunction, and their… (More)
Is this relevant?