Computable Diagonalizations and Turing’s Cardinality Paradox

Jacquette, Dale (2014). Computable Diagonalizations and Turing’s Cardinality Paradox. Journal for General Philosophy of Science, 45(2), pp. 239-262. Springer 10.1007/s10838-014-9244-x

[img] Text
art%3A10.1007%2Fs10838-014-9244-x.pdf - Published Version
Restricted to registered users only
Available under License Publisher holds Copyright.

Download (375kB) | Request a copy

A. N. Turing’s 1936 concept of computability, computing machines, and computable binary digital sequences, is subject to Turing’s Cardinality Paradox. The paradox conjoins two opposed but comparably powerful lines of argument, supporting the propositions that the cardinality of dedicated Turing machines outputting all and only the computable binary digital sequences can only be denumerable, and yet must also be nondenumerable. Turing’s objections to a similar kind of diagonalization are answered, and the implications of the paradox for the concept of a Turing machine, computability, computable sequences, and Turing’s effort to prove the unsolvability of the Entscheidungsproblem, are explained in light of the paradox. A solution to Turing’s Cardinality Paradox is proposed, positing a higher geometrical dimensionality of machine symbol-editing information processing and storage media than is available to canonical Turing machine tapes. The suggestion is to add volume to Turing’s discrete two-dimensional machine tape squares, considering them instead as similarly ideally connected massive three-dimensional machine information cells. Three-dimensional computing machine symbol-editing information processing cells, as opposed to Turing’s two-dimensional machine tape squares, can take advantage of a denumerably infinite potential for parallel digital sequence computing, by which to accommodate denumerably infinitely many computable diagonalizations. A three-dimensional model of machine information storage and processing cells is recommended on independent grounds as better representing the biological realities of digital information processing isomorphisms in the three-dimensional neural networks of living computers.

Item Type:

Journal Article (Original Article)

Division/Institute:

06 Faculty of Humanities > Department of Art and Cultural Studies > Institute of Philosophy
06 Faculty of Humanities > Department of Art and Cultural Studies > Institute of Philosophy > Theoretical Philosophy

UniBE Contributor:

Jacquette, Dale

Subjects:

100 Philosophy

ISSN:

0925-4560

Publisher:

Springer

Language:

English

Submitter:

Caroline Bolz

Date Deposited:

16 Mar 2015 15:44

Last Modified:

17 Mar 2015 07:12

Publisher DOI:

10.1007/s10838-014-9244-x

BORIS DOI:

10.7892/boris.65077

URI:

https://boris.unibe.ch/id/eprint/65077

Actions (login required)

Edit item Edit item
Provide Feedback