Definable number/Talk
HomePage
|
Definable number
|
Recent Changes
|
Preferences
Difference (from prior minor revision)
(no other diffs)
Added: 3a4,6
Good point; yes, I think we should mention Berry's paradox and explain which φ's are allowed. Which ones are allowed? --
AxelBoldt
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