## Abstract Let __T__ be an extension of Robinson's arithmetic Q. Then __T__ is incomplete even if the set of the Gödel numbers of all axioms of __T__ is ∑~2~.
A note on applicability of the incompleteness theorem to human mind
✍ Scribed by Pavel Pudlák
- Publisher
- Elsevier Science
- Year
- 1999
- Tongue
- English
- Weight
- 579 KB
- Volume
- 96
- Category
- Article
- ISSN
- 0168-0072
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
## Abstract We give a proof of Gödel's first incompleteness theorem based on Berry's paradox, and from it we also derive the second incompleteness theorem model‐theoretically. Mathematics Subject Classification: 03F30.
We investigate the applicability of Poincaré's and the quantum recurrence theorems to the physical systems such as a container filled with a gas from a physical perspective. We discuss certain difficulties with regard to the definition of the Hamiltonian for such systems and the existence of one-to-
A unified martingale approach is presented for establishing the asymptotic normality of some sequences of random variables. It is applied to the numbers of inversions, rises, and peaks, respectively, as well as the oscillation and the sum of consecutive pair products of a random permutation.