Search for Author All Reviews
	Charlesworth, Arthur     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 3 of 3 reviews       A theorem about computationalism and "absolute" truth Charlesworth A. Minds and Machines 26(3): 205-226, 2016.  Type: Article Is logical inconsistency (or fallibility) an inherent advantage of the human mind over computers? Does computing need to be logical? Minsky, in a quote reproduced in the paper, thought that, “There’s no reason to as...... Jun 2 2017     The comprehensibility theorem and the foundations of artificial intelligence Charlesworth A. Minds and Machines 24(4): 439-476, 2014.  Type: Article Kurt Gödel [1] has shown fundamental limits of mathematical logic and the unreality of the program of David Hilbert [2] by its incompleteness theorems published in 1931. Arthur Charlesworth tackles this theme’s development ov...... May 26 2015     The multiway rendezvous Charlesworth A. ACM Transactions on Programming Languages and Systems 9(3): 350-366, 1987.  Type: Article This paper presents what the author suggests is a natural generalization of the well-known concept of a two-way rendezvous. The generalization, called a multiway rendezvous (MR), extends the function of the two-way rendezvous to an ...... Jan 1 1989
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy