✦ LIBER ✦

A Note on the Theorems of Church-Turing and Trachtenbrot

✍ Scribed by Michael Deutsch

Publisher: John Wiley and Sons
Year: 1994
Tongue: English
Weight: 143 KB
Volume: 40
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19940400311

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

We sketch proofs of the theorems of Church‐Turing and Trachtenbrot using a semi‐monomorphic axiomatization.

Mathematics Subject Classification: 03B10, 03B25.

📜 SIMILAR VOLUMES

A Note on a Theorem of Pucci and Serrin

✍ G. Leoni 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 192 KB

A Note on a Theorem of Xu and Roach

✍ Hai Yun Zhou 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 98 KB

A Note on the Pythagorean Theorem of Bas

A Note on the Pythagorean Theorem of Baseball Production

✍ John Ruggiero; Lawrence Hadley; Gerry Ruggiero; Scott Knowles 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 93 KB 👁 2 views

Recent analyses of baseball managers' performances have employed the so-called `Pythagorean Theorem' of baseball. This `theorem' states that the ratio of wins to losses can be approximated by the square of the ratio of team runs scored to opposition runs scored. Recent publications assume this appro

A Note on Boolos' Proof of the Incomplet

A Note on Boolos' Proof of the Incompleteness Theorem

✍ Makoto Kikuchi 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 265 KB 👁 1 views

## 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.

A Note on a Theorem of A. Granville and

A Note on a Theorem of A. Granville and K. Ono

✍ Ian Kiming 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 262 KB

It was recently proved by A. Granville and K. Ono that if t # N, t 4 then every natural number has a t-core partition. The essence of the proof consists in showing this assertion for t prime, t 11. We give an alternative, short proof for these cases.

A note on applications of the martingale

A note on applications of the martingale central limit theorem to random permutations

✍ Chern-Ching Chao 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 160 KB 👁 2 views

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.