Seldin, Jonathan

Adjunct

Mathematics & Computer Science

Phone
(403) 329-2364
Email
jonathan.seldin@uleth.ca

Research Areas


The relation between Church-style typing and Curry-style typing
beta-strong reduction in combinatory logic
implications of Gödel's incompleteness results for informal reasoning
Curry's attitude towards Popper
normalization of natural deduction proofs.

Previous Research Areas

history and philosophy of mathematics
history and philosophy of the work of H. B. Curry
implications of Gödel's incompleteness results for informal reasoning
proof theory
combinatory logic
Lambda-calculus  pure and typed

Expertise

history and philosophy of mathematics
proof theory
combinatory logic
Lambda-calculus