[PL-sem-jr] Reminder: Talk tomorrow - 12:30 - WVH166

[Vincent St-Amour]

Just a reminder that Aaron will be giving us a tour of mathematical
logic tomorrow at 12:30 in room WVH166.

See you there!

Vincent


At Thu, 16 Sep 2010 15:40:30 -0400,
Vincent St-Amour wrote:
> 
> 
> The PL Jr. seminars are weekly talks on various Programming
> Language-related topics given by junior students, for junior
> students.
> 
> This semester, we will have a series of tutorial talks about various
> elementary PL topics. These talks are aimed at people with programming
> experience, but no programming languages background is necessary.
> 
> Here are the scheduled tutorials:
> 
> - A tour of mathematical logic  Aaron Turon      9/20
> - Introduction to semantics     Paul Stansifer   10/4
> - Type theory basics            Dan Brown        10/18
> - Macros                        Stephen Chang    10/25
> 
> These talks will be held on mondays from 12:30 to 2:30 in room
> WVH166.
> 
> 
> Next week, Aaron Turon - A tour of mathematical logic
> 
> We often think of logic as the way we carry out mathematics, but logic
> itself can be studied mathematically.  This means we can:
> 
>  - define truth
>  - define proof
>  - see how closely the two correspond
> 
> As we'll see, there are many kinds of truth of interest, and hence
> many kinds of logic worth studying.
> 
> In this talk, I will cover the basic ingredients that make up "a
> logic": model theory, proof theory, soundness, and (sometimes)
> completeness.  I'll introduce this framework via the canonical example
> of first-order logic, including Gödel's incompleteness theorems, but
> we'll see at least one other, radically different logic as well.
> 
> I will stress connections with and applications to computer science
> throughout.
> 
> There are essentially no prerequisites for the talk: I'll assume only
> a little set theory and some experience with induction.
> 
> 
> For more information:
> http://www.ccs.neu.edu/home/stamourv/pljr.html
> https://wiki.ccs.neu.edu/display/GRADWIKI/PlSeminarJr
> http://www.google.com/calendar/embed?src=l62pp852u0sdrj9pjrc4enbgcc%40group.calendar.google.com&ctz=America/New_York
> 
> 
> See you there!
> 
> 
> Vincent