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

... Once the gyro is spinning, tipping the device will cause the gyroscope to start precessing, with its axis slipping around in the groove in a circular fashion. The groove ...