✦ LIBER ✦

Kripke’s paradox and the Church–Turing thesis

✍ Scribed by Mark D. Sprevak

Publisher: Springer Netherlands
Year: 2006
Tongue: English
Weight: 142 KB
Volume: 160
Category: Article
ISSN: 0039-7857
DOI: 10.1007/s11229-006-9120-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Computationalism, The Church–Turing Thes

Computationalism, The Church–Turing Thesis, and the Church–Turing Fallacy

✍ Gualtiero Piccinini 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 116 KB

The Church-Turing thesis and effective m

The Church-Turing thesis and effective mundane procedures

✍ Leon Horsten; Herman Roelants 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 519 KB

The Interactive Nature of Computing: Ref

The Interactive Nature of Computing: Refuting the Strong Church–Turing Thesis

✍ Dina Goldin; Peter Wegner 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 256 KB

Truth Rules, Hoverflies, and the Kripke

Truth Rules, Hoverflies, and the Kripke - Wittgenstein Paradox

✍ Millikan, Ruth 📂 Fiction 📅 0 🌐 English ⚖ 3 MB

A Note on the Theorems of Church-Turing

A Note on the Theorems of Church-Turing and Trachtenbrot

✍ Michael Deutsch 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 143 KB

## Abstract We sketch proofs of the theorems of Church‐Turing and Trachtenbrot using a semi‐monomorphic axiomatization. Mathematics Subject Classification: 03B10, 03B25.

Nondeducibility of the uniformization pr

Nondeducibility of the uniformization principles from Church's thesis in intuitionistic set theory

✍ V. Kh. Khakhanyan 📂 Article 📅 1988 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 337 KB