Ordinal notation
id:
ordinal-notation-303-10301795
title:
Ordinal notation
text:
In mathematical logic and set theory, an ordinal notation is a partial function mapping the set of all finite sequences of symbols, themselves members of a finite alphabet, to a countable set of ordinals. A Gödel numbering is a function mapping the set of well-formed formulae of some formal language to the natural numbers. This associates each well-formed formula with a unique natural number, called its Gödel number. If a Gödel numbering is fixed, then the subset relation on the ordinals induces
brand slug:
wiki
category slug:
encyclopedia
description:
Type of mathematical function
original url:
https://en.wikipedia.org/wiki/Ordinal_notation
date created:
date modified:
2024-04-23T06:30:39Z
main entity:
{"identifier":"Q7100790","url":"https://www.wikidata.org/entity/Q7100790"}
image:
fields total:
13
integrity:
14