Recent and upcoming talks by Norman Perlmutter

This Week in Logic at CUNY

Computational Logic Seminar Tuesday, April 9, 2013 2:00 pm Speaker: Marek Krótkiewicz and Krystian Wojtkiewicz Opole University, Poland Title: Semantic Knowledge Base – system build in Association Oriented Database Model Link: http://nylogic.org/talks/semantic-knowledge-base-system-build-in-association-oriented-database-model Semantic Knowledge Base is a new approach towards building systems capable of storing and processing complex information also in the means of inference over it. continue reading…

This Week in Logic at CUNY

Set theory seminar Friday, April 12, 2013 11:00 am Speaker: Norman Perlmutter The CUNY Graduate Center Title: Dissertation Defense: Inverse limits of models of set theory and the large cardinal hierarchy near a high-jump cardinalThis dissertation consists of two chapters, each of which investigates a topic in set theory, more specifically in the research area of forcing and large cardinals. continue reading…

This Week in Logic at CUNY

Computational Logic Seminar September 4, Time 2:00 – 4:00 PM, Room 3309. Speaker: Tudor Protopopescu (Graduate Center) Title: Discovering Knowability: A Semantic Analysis (a joint work with S. Artemov, just appeared in Synthese) Abstract: We provide a semantic analysis of the well-known knowability paradox stemming from the Church-Fitch observation that the meaningful knowability principle all truths are knowable, when expressed as a bi-modal principle F -> <>KF, yields an unacceptable omniscience property all truths are known. continue reading…

This Week in Logic at CUNY

This Week in Logic at CUNY: – – – – Monday, Feb 6, 2012 – – – – – – – – Tuesday, Feb 7, 2012 – – – – Computational Logic Seminar Time 2:00 – 4:00 PM, February 7 Room 3209. continue reading…

This Week in Logic at CUNY

This Week in Logic at CUNY: – – – – Monday, Jan 30, 2012 – – – – – – – – Tuesday, Jan 31, 2012 – – – – Computational Logic Seminar Room 4433. continue reading…