B. Jack Copeland

29 papers Journal 25Unranked 4
YearRankTypeTitle / Venue / Authors
2024 — conf
Turing, Warhol, and Monroe: Development of
EVA
Jonathan P. Bowen, B. Jack Copeland
2023 J jnl
Early AI in Britain: Turing et al.
IEEE Ann. Hist. Comput.
B. Jack Copeland
2019 J jnl
The Church-Turing thesis: logical limit or breachable barrier?
Commun. ACM
B. Jack Copeland, Oron Shagrir
2017 J jnl
Screen History: The Haeff Memory and Graphics Tube.
IEEE Ann. Hist. Comput.
B. Jack Copeland, Andre A. Haeff, Peter Gough, Cameron Wright
2016 J jnl
Prior, translational semantics, and the Barcan formula.
Synth.
B. Jack Copeland
2016 J jnl
Time to reinspect the foundations?
Commun. ACM
B. Jack Copeland, Eli Dresner, Diane Proudfoot, Oron Shagrir
2015 J jnl
Andrew V. Haeff: Enigma of the Tube Era and Forgotten Computing Pioneer.
IEEE Ann. Hist. Comput.
B. Jack Copeland, Andre A. Haeff
2011 J jnl
Do Accelerating Turing Machines Compute the Uncomputable?
Minds Mach.
B. Jack Copeland, Oron Shagrir
2011 J jnl
The Manchester Computer: A Revised History Part 1: The Memory.
IEEE Ann. Hist. Comput.
B. Jack Copeland
2011 J jnl
The Manchester Computer: A Revised History Part 2: The Baby Computer.
IEEE Ann. Hist. Comput.
B. Jack Copeland
2007 J jnl
Physical Computation: How General are Gandy's Principles for Mechanisms?
Minds Mach.
B. Jack Copeland, Oron Shagrir
2006 J jnl
Meredith, Prior, and the History of Possible Worlds Semantics.
Synth.
B. Jack Copeland
2004 J jnl
Colossus: Its Origins and Originators.
IEEE Ann. Hist. Comput.
B. Jack Copeland
2004 J jnl
Hypercomputation: philosophical issues.
Theor. Comput. Sci.
B. Jack Copeland
2004 J jnl
Unfair to Aiken.
IEEE Ann. Hist. Comput.
B. Jack Copeland
2002 J jnl
Accelerating Turing Machines.
Minds Mach.
B. Jack Copeland
2002 J jnl
Artificial Life and the Chinese Room Argument.
Artif. Life
David Anderson, B. Jack Copeland
2002 — conf
Hypercomputation in the Chinese Room.
UMC
B. Jack Copeland
2002 J jnl
Hypercomputation.
Minds Mach.
B. Jack Copeland
2002 J jnl
The Genesis of Possible Worlds Semantics.
J. Philos. Log.
B. Jack Copeland
2000 J jnl
The Turing Test.
Minds Mach.
B. Jack Copeland
2000 J jnl
What Turing Did after He Invented the Universal Turing Machine.
J. Log. Lang. Inf.
B. Jack Copeland, Diane Proudfoot
1998 J jnl
Super Turing-machines.
Complex.
B. Jack Copeland
1996 J jnl
On Alan Turing's anticipation of connectionism.
Synth.
B. Jack Copeland, Diane Proudfoot
1996 J jnl
What is computation?
Synth.
B. Jack Copeland
1995 — conf
A Lecture and Two Radio Broadcasts on Machine Intelligence by Alan Turing.
Machine Intelligence 15
B. Jack Copeland
1995 — conf
The Turing-Wilkinson Lecture Series on the Automatic Computing Engine.
Machine Intelligence 15
B. Jack Copeland
1983 J jnl
Tense trees: a tree system for K
Notre Dame J. Formal Log.
B. Jack Copeland
1979 J jnl
On when a semantics is not a semantics: Some reasons for disliking the Routley-Meyer semantics for relevance logic.
J. Philos. Log.
B. Jack Copeland