Consistency of Quine's NF using nominal techniques

Add to your list(s) Download to your calendar using vCal

• Jamie Gabbay, Heriot-Watt
• Friday 29 May 2015, 14:00-15:00
• Computer Laboratory, William Gates Building, Room FW11.

If you have a question about this talk, please contact Jonathan Hayman.

I will outline a proof of the consistency of Quine’s New Foundations using nominal techniques.

I will describe NF, why its consistency matters, why it is difficult to prove, and outline how the “nominal” proof works—- going into as much or as little technical detail as the audience prefer.

This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Computer Laboratory, William Gates Building, Room FW11
• Computing and Mathematics
• Department of Computer Science and Technology talks and seminars
• Interested Talks
• Logic and Semantics Seminar (Computer Laboratory)
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31
• yk373's list

Note that ex-directory lists are not shown.