Gödel numbering

Concept

A method of encoding mathematical symbols and statements as numbers.

Mentioned in 1 video