Encyclopedia > Talk:Definable number

Article Content

Talk:Definable number

The formula φ(x) is not restricted to first-order statements.

There are restrictions on φ, though, thaks to Berry's paradox. Should this be mentioned here?

Good point; yes, I think we should mention Berry's paradox and explain which φ's are allowed. Which ones are allowed? --AxelBoldt

All Wikipedia text is available under the terms of the GNU Free Documentation License

Search Encyclopedia

Search over one million articles, find something about almost anything!

Featured Article

KANU

... in August 1978, Vice President Daniel arap Moi became interim President. On October 14, Moi became President formally after he was elected head of KANU and designated it ...