Advertisement

Gödelnummern von Formeln

  • Martin Ziegler
Part of the Mathematik Kompakt book series (MAKO, volume 0)

Zusammenfassung

Sei L={λ1,…, λl} eine endliche Sprache6. Wir ordnen den Zeichen ζ
$$ _{\lambda _1 \ldots \lambda _1 \nu _0 \nu _1 \ldots }^{\dot = \wedge \neg ( ) \exists } $$
die folgenden Gödelnummern ⌜ζ⌝ zu:
$$ \begin{gathered} \left\langle {0, 0} \right\rangle \left\langle {0, 1} \right\rangle \left\langle {0, 2} \right\rangle \left\langle {0, 3} \right\rangle \left\langle {0, 4} \right\rangle \left\langle {0, 5} \right\rangle \hfill \\ \left\langle {0, 6} \right\rangle \ldots \left\langle {0, l + 5} \right\rangle \left\langle {1, 0} \right\rangle \left\langle {1, 0} \right\rangle \ldots \hfill \\ \end{gathered} $$
Eine Zeichenreihe φ=ζ1ζ2…ζ hat die Gödelnummer7
$$ \left\lceil \phi \right\rceil = \left\langle {\left\lceil {\zeta _1 } \right\rceil ,\left\lceil {\zeta _2 } \right\rceil , \ldots ,\left\lceil {\zeta _n } \right\rceil } \right\rangle . $$

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Birkhäuser / Springer Basel AG 2010

Authors and Affiliations

  • Martin Ziegler
    • 1
  1. 1.Mathematisches InstitutUniversität FreiburgFreiburgDeutschland

Personalised recommendations