Person:516403

Available identifiers

zbMath Open copeland.b-jackDBLP16/3715WikidataQ327637 ScholiaQ327637MaRDI QIDQ516403

List of research outcomes

Publication	Date of Publication	Type
Did Turing stand on Gödel's shoulders?	2023-07-12	Paper
Physical Computability Theses	2020-08-31	Paper
The Stored-Program Universal Computer: Did Zuse Anticipate Turing and von Neumann?	2018-04-18	Paper
Prior, translational semantics, and the Barcan formula	2017-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q2921235	2014-10-07	Paper
https://portal.mardi4nfdi.de/entity/Q4981736	2014-06-24	Paper
https://portal.mardi4nfdi.de/entity/Q2856490	2013-10-29	Paper
https://portal.mardi4nfdi.de/entity/Q4898708	2013-01-02	Paper
Alan Turing's Automatic Computing Engine	2012-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q3111408	2012-01-18	Paper
Meredith, Prior, and the history of possible worlds semantics	2006-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q5493744	2006-10-16	Paper
https://portal.mardi4nfdi.de/entity/Q4661989	2005-03-30	Paper
Hypercomputation: Philosophical issues	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4437080	2003-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q4805389	2003-05-14	Paper
https://portal.mardi4nfdi.de/entity/Q4792712	2003-02-17	Paper
The genesis of possible worlds semantics	2002-08-20	Paper
What Turing did after he invented the universal Turing machine	2001-05-01	Paper
Substitutional Quantification and Existence	2000-08-22	Paper
Turing's O-machines, Searle, Penrose and the brain	2000-08-22	Paper
What is computation?	2000-08-15	Paper
On Alan Turing's anticipation of connectionism	2000-03-26	Paper
https://portal.mardi4nfdi.de/entity/Q4218012	1998-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4218014	1998-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q3838839	1998-08-13	Paper
Horseshoe, hook, and relevance	1984-01-01	Paper
Tense trees: A tree system for \(K_ t\).	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3962965	1982-01-01	Paper
On when a semantics is not a semantics: some reasons for disliking the Routley-Meyer semantics for relevance logic	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4137141	1977-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: B. Jack Copeland