His advanced logic class does not share Thomas's conviction that the notions "intuitively valid" and "valid in all set-theoretic structures" are extensionally equivalent. After today's lecture they will. Or else.
 

Next

Home | Table of Contents | Abstract | Top