The following pages link to B. Jack Copeland (Q516403):
Displayed 32 items.
- Prior, translational semantics, and the Barcan formula (Q516404) (← links)
- (Q754181) (redirect page) (← links)
- On when a semantics is not a semantics: some reasons for disliking the Routley-Meyer semantics for relevance logic (Q754182) (← links)
- Meredith, Prior, and the history of possible worlds semantics (Q857664) (← links)
- Tense trees: A tree system for \(K_ t\). (Q1165836) (← links)
- What is computation? (Q1293030) (← links)
- On Alan Turing's anticipation of connectionism (Q1293032) (← links)
- Hypercomputation: Philosophical issues (Q1434379) (← links)
- What Turing did after he invented the universal Turing machine (Q1592265) (← links)
- The genesis of possible worlds semantics (Q1610613) (← links)
- (Q2856490) (← links)
- Alan Turing's Automatic Computing Engine (Q2892714) (← links)
- (Q2921235) (← links)
- (Q3111408) (← links)
- Horseshoe, hook, and relevance (Q3715087) (← links)
- (Q3838839) (← links)
- (Q3962965) (← links)
- (Q4137141) (← links)
- (Q4218012) (← links)
- (Q4218014) (← links)
- (Q4437080) (← links)
- Substitutional Quantification and Existence (Q4497489) (← links)
- Turing's O-machines, Searle, Penrose and the brain (Q4497529) (← links)
- The Stored-Program Universal Computer: Did Zuse Anticipate Turing and von Neumann? (Q4637217) (← links)
- (Q4661989) (← links)
- (Q4792712) (← links)
- (Q4805389) (← links)
- (Q4898708) (← links)
- (Q4981736) (← links)
- Physical Computability Theses (Q5119662) (← links)
- (Q5493744) (← links)
- Did Turing stand on Gödel's shoulders? (Q6169862) (← links)