Follow
Arthur Charlesworth
Arthur Charlesworth
Professor of Mathematics and Computer Science, University of Richmond
Verified email at richmond.edu
Title
Cited by
Cited by
Year
The multiway rendezvous
A Charlesworth
ACM Transactions on Programming Languages and Systems (TOPLAS) 9 (3), 350-366, 1987
851987
Categories of large numbers in line estimation
D Landy, A Charlesworth, E Ottmar
Cognitive science 41 (2), 326-353, 2017
462017
On the cardinality of a topological space
A Charlesworth
Proceedings of the American Mathematical Society 66 (1), 138-142, 1977
271977
The comprehensibility theorem and the foundations of artificial intelligence
A Charlesworth
Minds and Machines 24 (4), 439-476, 2014
242014
Cutting In Line: Discontinuities in the Use of Large Numbers by Adults.
D Landy, A Charlesworth, E Ottmar
CogSci, 2014
182014
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
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 Proof of Godel's Theorem in Terms of Computer Programs
A Charlesworth
Mathematics Magazine 54 (3), 109-121, 1981
101981
A note on Urysohn's metrization theorem
A Charlesworth
The American Mathematical Monthly 83 (9), 718-720, 1976
81976
A Theorem about Computationalism and “Absolute” Truth
A Charlesworth
Minds and Machines 26 (3), 205-226, 2016
52016
Infinite cardinal functions which are minimal on metrizable spaces...
AT Charlesworth
Duke University, 1974
31974
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
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
The system can't perform the operation now. Try again later.
Articles 1–20