Lindstrom’s Theorem

Friday February 20, 2009, 4:30 PM

Location: Ryerson 358

Lecture by Noah Schweber

Abstract:

Logic is a really cool, but fairly remote, part of mathematics. Lindstrom’s Theorem is a really really cool, but unbelievably remote, part of logic. I will cover all the basic logic stuff necessary to state Lindstrom – Cantor’s diagonal argument, the definition of Lowenheim-Skolem – and then sketch the proof of the theorem. No prerequisites required! Did I mention it’s REALLY COOL???

Advertisements

2 Responses to “Lindstrom’s Theorem”

  1. Alla Says:

    First lecture posted here.

  2. Qficaoyw Says:

    TtWeo2 comment2 ,

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s


%d bloggers like this: