Arithmetical Analysis of Digital Computing Nets

Journal of Symbolic Logic 25 (2):190-191 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964271

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,164

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Richard C. Jeffrey, Arithmetical Analysis of Digital Computing Nets. [REVIEW]E. J. McCluskey - 1960 - Journal of Symbolic Logic 25 (2):190-191.
Turing machines, computers and artificial intelligence.Peter R. Krebs - 2002 - Dissertation, Unsw
The digital computer as red Herring.Drew McDermott - 2001 - Psycoloquy 12 (54).
L. C. Robbins. An analysis by arithmetical methods of a calculating network with feedback. Ibid., pp. 61–67. - Irving S. Reed. Symbolic synthesis of digital computers. Ibid., pp. 90–94. [REVIEW]Raymond J. Nelson - 1954 - Journal of Symbolic Logic 19 (1):58-58.
Planar and braided proof-nets for multiplicative linear logic with mix.G. Bellin & A. Fleury - 1998 - Archive for Mathematical Logic 37 (5-6):309-325.
A History of Modern Computing.Paul E. Ceruzzi - 2003 - MIT Press.
Petri nets applied to experimental plant morphogenesis.Jacqueline Luck & Hermann B. Luck - 1991 - Acta Biotheoretica 39 (3-4):235-252.
The functional account of computing mechanisms.Gualtiero Piccinini - 2004 - PhilSci Archive.
On the Possibilities of Hypercomputing Supertasks.Vincent C. Müller - 2011 - Minds and Machines 21 (1):83-96.
Chateaubriand's logicism.Abel Casanave - 2004 - Manuscrito 27 (1):13-20.
A new correctness criterion for cyclic proof nets.V. Michele Abrusci & Elena Maringelli - 1998 - Journal of Logic, Language and Information 7 (4):449-459.
Self-Checking and Fault-Tolerant Digital Design.Parag K. Lala - 2001 - Morgan Kaufmann.
Arithmetic of Infinity.Yaroslav D. Sergeyev - 2013 - E-book.
Good and bad arithmetical manners.Lloyd Reinhardt - 2015 - Analysis 75 (1):26-28.
Computing is at best a special kind of thinking.James H. Fetzer - 2000 - In The Proceedings of the Twentieth World Congress of Philosophy. Charlottesville: Philosophy Doc Ctr. pp. 103-113.

Analytics

Added to PP
2015-02-05

Downloads
2 (#1,750,398)

6 months
2 (#1,136,865)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references