PIMS-ULethbridge PIMS Distinguished Visitor Series: Fairouz Kamareddine

  • Date: 02/02/2015
  • Time: 12:00
Fairouz Kamareddine, Heriot-Watt University

University of Lethbridge


Types and Functions Since Principia and Computerisation of Language and Mathematics


Historically functions have been treated as a kind of meta-object. This all changed with the work of Frege, Russell and Church. Furthermore, the challenges of the paradoxes led to the formalisation of type theory by Russell. Since, functions and types have gone through a long process of evolution through various degrees of abstraction, construction and evaluation making both functions and types first class citizens as far away from meta-level as possible. In this talk, I argue that desirable properties of the historic lower order approach (decidability, easiness of calculations) can be maintained without losing the flexibility of the higher-order aspects. I argue that the low level approach is still worthwhile for many exact disciplines.


Other Information: 

Location: C640, University Hall, University of Lethbridge


Don’t miss Professor Kamareddine’s second talk on Thursday February 5th: Computerising Mathematical texts with MathLang


Learn more at uleth.ca/artsci/event/64691