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???

### Like this:

Like Loading...

*Related*

This entry was posted on February 20, 2009 at 5:12 am and is filed under Upcoming Lectures. You can follow any responses to this entry through the RSS 2.0 feed.
You can leave a response, or trackback from your own site.

February 21, 2009 at 7:19 am |

First lecture posted here.

May 8, 2009 at 10:43 am |

TtWeo2 comment2 ,