Все публикации

Assertions, Denials, Questions,1:00:54

Assertions, Denials, Questions, Answers & the Common Ground—an online talk at the Dianoia Institute

Provability Predicates, and0:25:06

Provability Predicates, and Beyond (The Power and Limits of Logic, 12)

Theories of Arithmetic0:46:58

Theories of Arithmetic (The Power and Limits of Logic, 10)

Register machines compute0:31:59

Register machines compute the recursive functions (The Power and Limits of Logic, 8)

The Language of0:41:10

The Language of Predicate Logic (The Power and Limits of Logic, 1a)

Countability and Diagonalisation0:16:29

Countability and Diagonalisation (The Power and Limits of Logic, 5)

Non-Recursive Functions (The0:30:48

Non-Recursive Functions (The Power and Limits of Logic, 9)

Completeness for Predicate0:43:11

Completeness for Predicate Logic (The Power and Limits of Logic, 3)

Models, and Soundness0:34:57

Models, and Soundness for Predicate Logic (The Power and Limits of Logic, 2)

Recursive Functions (The0:42:10

Recursive Functions (The Power and Limits of Logic, 7a)

Proofs for Predicate0:29:44

Proofs for Predicate Logic (The Power and Limits of Logic, 1b)

Compactness and Countable0:19:49

Compactness and Countable Models (The Power and Limits of Logic, 6)

Diagonalisation and its0:31:24

Diagonalisation and its Consequences (The Power and Limits of Logic, 11)

Register Machines (The0:11:59

Register Machines (The Power and Limits of Logic, 7b)

Identity and Functions0:31:28

Identity and Functions (The Power and Limits of Logic, 4)

Geometric Models for0:56:13

Geometric Models for Relevant Logics—An online talk at the Melbourne Logic Group

Logic: Language and0:31:07

Logic: Language and Information 2 (Coursera) Video Chat