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

Gödel's Beta-Funktion (auch -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

Bearbeiten

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