Great Ideas in Theoretical Computer Science: Deductive Systems (Spring 2015)

CMU 15-251: Great Ideas in Theoretical Computer Science
Spring 2015 Lecture #2: Deductive Systems

Taught by Ryan O'Donnell

[prabhdeepsingh]

Where can I get the presentation slides which the lecturer is using in this class? The solution slides are missing in this video.

[MathCuriousity]

Hey love your channel and may I ask a question:

If in set theory, I can create a relation which takes a set of elements which are propositions (like set a is a subset of set b) and map it to a set of elements containing “true” and “false”, then why is it said that set theory itself can’t make truth valuations?

I ask this because somebody told me recently that “set theory cannot make true valuations” Is this because I cannot do what I say above? Or because truth valuations happen via deductive systems and not by say first order set theory ?

Hello, I would like to know if I can find the course notes.