Revision #807 → #1266 · back to history
addedGödel numbering704f46e44f68
addedGödel's prime-power encoding of sequences258deb5eb724
addedUnique recovery via fundamental theorem of arithmetic533173b4ad1e
addedGödel number of "0 = 0" (Nagel and Newman)9af0dd535b70
addedNon-uniqueness of Gödel numberings4496b3807dc7
addedAlternative Gödel numbering via bijective base-K50fd0e3ad4b4
addedCourse-of-values recursion is primitive recursive3ca747db7ce7
addedInference rules as arithmetical functions948c12464ea9
addedGeneralized Gödel numbering in computability theory55b73f90ad00
addedGödel sets219aeee41552