Recent and upcoming talks by Kerry Ojakian

This Week in Logic at CUNY

Computational Logic Seminar Tuesday, November 5, 2013 2:00 pm Graduate Center, rm. 3209 Speaker: Elena Nogina The City University of New York Title: Reflection Principles Involving Provability and Explicit Proofs Link: http://nylogic.org/talks/reflection-principles-involving-provability-and-explicit-proofs  Reflection principles are classical objects in proof theory and the areas studying Gödel’s Incompleteness. continue reading…