"How to Program an Infinite Abacus"

-
Joachim Lambek wrote an interesting paper entitled "How to Program an Infinite Abacus" which was published in the Canadian Mathematical Bulletin. Unfortunately, this paper is currently not available in any form. For the benefit of all those people who might like to have a look at this paper, I have prepared a transcription of this paper which is available here.

Σχόλια

Δημοσίευση σχολίου

Δημοφιλείς αναρτήσεις από αυτό το ιστολόγιο

A comment on a comment

-
Recently, "someone" posted a review of my book on hypercomputation on the Brains site. The reviewer argues that This area is full of problems, some of which are physico/mathematical and some of which are conceptual. Unfortunately, from a quick sample, Syropolous's book does not avoid common mistakes and confusions—some of which I've been trying to correct in my own work. First of all, I have to admit that back in 2004 I read a paper by this reviewer, but at that time I did not considered it interesting. However, after I read this review of my book, I read The Physical Church-Turing Thesis: Modest or Bold? , the reviewer's latest manuscript, in order to see what he meant by common mistakes and confusions and how he was trying to solve them. In this manuscript, the reviewer puts forth a number of criteria that every machine has to satisfy in order to be ``useful for physical computing.'' These criteria are: Readable Inputs and Outputs Process-Independ
Διαβάστε περισσότερα

A rebuttal to a review

-
In May, 2009 a review of my book on hypercomputation appeared in the Computing Reviews . Although I submitted a rebuttal to the review, it appeared slightly edited. So for reasons of completeness, I post my complete rebuttal here today. --> It is known that disagreements in the academic world are quite common and constitute the essence of any scientific production. Everybody who is doing some scholar work is virtually exposed to criticism. Nevertheless, it is one thing to criticize one's work and another to present a piece of work in such a way that potential readers get the impression that the work is almost worthless! A typical example of this “reviewing technique” is to assert that an author fully and unconditionally subscribes to a particular idea, when, in fact, she/he explicitly states that one cannot be sure about the idea! Apparently, Zenil's review is based on this “technique” and has almost fiercely tried to convince his readers t
Διαβάστε περισσότερα