Recent and upcoming talks by Alexander Rapp

This Week in Logic at CUNY

  Computational Logic Seminar November 13, Time 2:00 – 4:00 PM, GC Room 3309 Speaker: Wojtek Moczydlowski, Google Title: Applied higher infinities in impredicative constructive set theories. Abstract: The Intuitionistic Zermelo Fraenkel set theory IZF was introduced by Myhill more than 30 years ago, starting investigations into the world of constructive set theories. continue reading…

This Week in Logic at CUNY

This Week in Logic at CUNY: Computational Logic Seminar Time 2:00 – 4:00 PM, April 17, 2012, Room 3209. Speaker: Çağıl Taşdemir (Graduate Center) Title: The Power of Knowledge in Games Abstract: We propose a theory of the interaction between knowledge and games. continue reading…