Seguir
Arthur Charlesworth
Arthur Charlesworth
Professor of Mathematics and Computer Science, University of Richmond
Dirección de correo verificada de richmond.edu
Título
Citado por
Citado por
Año
The multiway rendezvous
A Charlesworth
ACM Transactions on Programming Languages and Systems (TOPLAS) 9 (3), 350-366, 1987
881987
Categories of large numbers in line estimation
D Landy, A Charlesworth, E Ottmar
Cognitive science 41 (2), 326-353, 2017
422017
On the cardinality of a topological space
A Charlesworth
Proceedings of the American Mathematical Society 66 (1), 138-142, 1977
281977
The comprehensibility theorem and the foundations of artificial intelligence
A Charlesworth
Minds and Machines 24 (4), 439-476, 2014
222014
Cutting In Line: Discontinuities in the Use of Large Numbers by Adults.
D Landy, A Charlesworth, E Ottmar
CogSci, 2014
192014
Comprehending software correctness implies comprehending an intelligence-related limitation
A Charlesworth
ACM Transactions on Computational Logic (TOCL) 7 (3), 590-612, 2006
132006
The undecidability of associativity and commutativity analysis
A Charlesworth
ACM Transactions on Programming Languages and Systems (TOPLAS) 24 (5), 554-565, 2002
112002
A Proof of Godel's Theorem in Terms of Computer Programs
A Charlesworth
Mathematics Magazine 54 (3), 109-121, 1981
111981
On a theorem of Jones and Heath concerning separable normal spaces
AT Charlesworth, RE Hodel, FD Tall
Colloquium Mathematicae 1 (34), 33-37, 1975
111975
A note on Urysohn's metrization theorem
A Charlesworth
The American Mathematical Monthly 83 (9), 718-720, 1976
71976
A Theorem about Computationalism and “Absolute” Truth
A Charlesworth
Minds and Machines 26 (3), 205-226, 2016
52016
Infinite loops in computer programs
A Charlesworth
Mathematics: people, problems, results 3, 15-23, 1984
2*1984
Infinite Loops in Computer Programs
A Charlesworth
Mathematics Magazine 52 (5), 284-291, 1979
21979
Infinite cardinal functions which are minimal on metrizable spaces...
AT Charlesworth
Duke University, 1974
21974
Neural Networking
A Charlesworth
AMERICAN SCIENTIST 102 (5), 323-324, 2014
12014
Communication and synchronization using compacts
AT Charlesworth
University of Virginia, 1983
11983
The Adam language: Ada extended with support for multiway activities(Final Report)
A CHARLESWORTH
1993
News and Letters
PJ Malraison Jr, SR Conrad, A Charlesworth, ETH Wang
Mathematics Magazine, 221-223, 1977
1977
Polynomials and Infinite Subfields
A Charlesworth
The American Mathematical Monthly 84 (7), 548-550, 1977
1977
Number Comprehension Impacts Political Judgments
B Guay, Z Davis, M DeLaunay, A Charlesworth, D Landy
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20