## Abstract The shortest definition of a number by a first order formula with one free variable, where the notion of a formula defining a number extends a notion used by Boolos in a proof of the Incompleteness Theorem, is shown to be non computable. This is followed by an examination of the complex
β¦ LIBER β¦
A consistent definition of the number density of pseudo-isotopes
β Scribed by Z. Weiss
- Publisher
- Elsevier Science
- Year
- 1990
- Tongue
- English
- Weight
- 249 KB
- Volume
- 17
- Category
- Article
- ISSN
- 0306-4549
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
The shortest definition of a number in P
β
Dev K. Roy
π
Article
π
2003
π
John Wiley and Sons
π
English
β 89 KB
π 2 views
On the density matrix definition of vale
β
Omar G. Stradella; Hugo O. Villar; Eduardo A. Castro
π
Article
π
1986
π
Springer
π
English
β 211 KB
The chromatic number of a class of pseud
β
A. K. Dewdney
π
Article
π
1972
π
Springer
π
English
β 310 KB
Consistency of the kernel density estima
β
Dominik Wied; Rafael WeiΓbach
π
Article
π
2010
π
Springer-Verlag
π
English
β 253 KB
A diophantine definition of integers in
β
Alexandra Shlapentokh
π
Article
π
1991
π
John Wiley and Sons
π
English
β 568 KB
## Abstract The author considers rings of rational numbers which are integral at all the primes except, possibly, primes contained in a finite set. In such rings a Diophantine definition of β€ is constructed to show that all the recursively enumerable subsets of the ring are Diophantine.
Bounding the Number of Hybridisation Eve
β
Mihaela Baroni; Stefan GrΓΌnewald; Vincent Moulton; Charles Semple
π
Article
π
2005
π
Springer
π
English
β 187 KB