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
Ludvika

... in central Sweden, in the county of Dalarna. The municipality covers an area of 1500.7 km². Of the total population of 26450, 13112 are male, and 13338 are female. ...

 
 
 
This page was created in 22 ms