Benutzer:NicholasPischke/Gödel's Beta-Funktion

Dieser Artikel ist im Entstehen und noch nicht Bestandteil der freien Enzyklopädie Wikipedia.

Solltest du über eine Suchmaschine darauf gestoßen sein, bedenke, dass der Text noch unvollständig sein und Fehler oder ungeprüfte Aussagen enthalten kann. Wenn du Fragen zum Thema hast, nimm Kontakt mit dem Autor NicholasPischke auf.

Gödel's Beta-Funktion (auch $\beta$-Funktion) ist eine Funktion aus dem Bereich der mathematischen Logik, welche Quantifikation über alle endlichen Folgen in der Sprache der Arithmetik der ersten Stufe ermöglicht.

Definition

Gödel's Beta-Funktion ist formal definiert durch

$\beta :{\begin{cases}\mathbb {N} ^{3}\to \mathbb {N} \\(b,c,i)\mapsto b\mod 1+(i+1)\cdot c\end{cases}}$