Title

How (not) to prove consistency

Document Type

Presentation

Presentation Date

Winter 2-20-2015

Conference Name

UC Irvine Logic Colloquium

Conference Location

Irvine, CA

Keywords

Gödel's second incompleteness theorem, unprovability of consistency

Disciplines

Logic and Foundations | Logic and Foundations of Mathematics | Philosophy

This document is currently not available here.

Share

COinS