Z. A. Melzak. An informal arithmetical approach to computability and computation. Canadian mathematical bulletin , vol. 4 , pp. 279–293. - Joachim Lambek. How to program an infinite abacus. Canadian mathematical bulletin , vol. 4 , pp. 295–302 [Book Review]

Journal of Symbolic Logic 31 (3):514-514 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1996

DOI

10.2307/2270497

Links

PhilArchive



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

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

An Informal Arithmetical Approach to Computability and Computation.How to Program an Infinite Abacus.Ann M. Singleterry, Z. A. Melzak & Joachim Lambek - 1966 - Journal of Symbolic Logic 31 (3):514.
Lamber Joachim. The mathematics of sentence structure. American mathematical monthly, vol. 65 No. 3 , pp. 154–170.Lambek Joachim. Contributions to a mathematical analysis of the English verb-phrase. Journal of the Canadian Linguistic Association, vol. 5 , pp. 83–89.Lambek Joachim. On the calculus of syntactic types. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 166–178.Court L. M., Lambek J., Hiż H.. Comments. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 264–265.Cohen Joel M.. The equivalence of two concepts of categorial grammar. Information and control, vol. 10 , pp. 475–484. [REVIEW]Eliahu Shamir - 1968 - Journal of Symbolic Logic 33 (4):627-628.
Manuel Blum. Recursive function theory and speed of computation. Canadian mathematical bulletin , vol. 9 , pp. 745–750.Paul Young - 1972 - Journal of Symbolic Logic 37 (1):199.
Experimental computation as an ontological game changer: the impact of modern mathematical computation tools on the ontology of mathematics.David H. Bailey & Jonathan M. Borwein - unknown
Recursion in Partial Type‐1 Objects With Well‐Behaved Oracles.George Tourlakis - 1996 - Mathematical Logic Quarterly 42 (1):449-460.
Full Satisfaction Classes and Recursive Saturation.Alistair H. Lachlan - 1981 - Canadian Mathematical Bulletin 24 (1):295--97.
Rashevsky N.. Mathematical biophysics of abstraction and logical thinking. The bulletin of mathematical biophysics, vol. 7 , pp. 133–148.Rashevsky N.. Some remarks on the Boolean algebra of nervous nets in mathematical biophysics. The bulletin of mathematical biophysics, vol. 7 , pp. 203–211.Rashevsky N.. The neural mechanism of logical thinking. The bulletin of mathematical biophysics, vol. 8 , pp. 29–40.Burks Arthur W.. Laws of nature and reasonableness of regret. Mind, n.s. vol. 55 , pp. 170–172. [REVIEW]Charles A. Baylis - 1946 - Journal of Symbolic Logic 11 (3):99-100.
Construction of Satisfaction Classes for Nonstandard Models.Henryk Kotlarski, Stanislav Krajewski & Alistair H. Lachlan - 1981 - Canadian Mathematical Bulletin 24 (1):283--93.
Informal proofs and mathematical rigour.Marianna Antonutti Marfori - 2010 - Studia Logica 96 (2):261-272.
Mathematical fuzzy logics.Siegfried Gottwald - 2008 - Bulletin of Symbolic Logic 14 (2):210-239.
Concrete Digital Computation: What Does it Take for a Physical System to Compute? [REVIEW]Nir Fresco - 2011 - Journal of Logic, Language and Information 20 (4):513-537.
Observability of Turing Machines: a refinement of the theory of computation.Yaroslav Sergeyev & Alfredo Garro - 2010 - Informatica 21 (3):425–454.
Mathematical arguments in context.Jean Paul Van Bendegem & Bart Van Kerkhove - 2009 - Foundations of Science 14 (1-2):45-57.
Computation in cognitive science: it is not all about Turing-equivalent computation.Kenneth Aizawa - 2010 - Studies in History and Philosophy of Science Part A 41 (3):227-236.
El Infinito Matematico.Cañón Loyes Camino - 2017 - Revista Portuguesa de Filosofia 73 (3-4):1295-1318.

Analytics

Added to PP
2014-04-01

Downloads
18 (#781,713)

6 months
5 (#526,961)

Historical graph of downloads
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