Metadata
Author: WikiMatrix
Data
German[de]
Dieses Verfahren ist verschiedentlich als Gödel-Nummerierung und allgemeiner als Arithmetisierung bekannt.
English[en]
This procedure is known variously as Gödel numbering, coding and, more generally, as arithmetization.