Kleiner Exkurs: utm-/smn-Theorem und Programmiersprachen...

... und unsere Nummerierungen von . Da ich mittlerweile ein paar Mails zu diesem Thema bekommen habe, würde ich hier gerne noch etwas erläutern. Für viele ist das Theorem noch nicht greifbar. Ebensowenig die Nummerierung der einstelligen, berechenbaren Funktionen . Auch den Begriff Modellprogrammiersprache in Bezug auf haben ein paar gehört, können das aber noch nicht […]