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

Dynabee

... cause one end of the axis to push against the upper rim of the groove, while the other end of the axis pushes against the lower rim of the groove. While the ax ...