| 4 Mon |
|---|
|
All-day
|
|
12:00 am
1:00 am
2:00 am
3:00 am
4:00 am
5:00 am
6:00 am
7:00 am
8:00 am
9:00 am
10:00 am
11:00 am
12:00 pm
1:00 pm
2:00 pm
3:00 pm
4:00 pm
5:00 pm
6:00 pm
7:00 pm
8:00 pm
9:00 pm
10:00 pm
11:00 pm
4:15 pm
The Provability of Consistency. Sergei Artemov
@ CUNY Grad Center, 7314
The Provability of Consistency. Sergei Artemov
@ CUNY Grad Center, 7314
Nov 4 @ 4:15 pm – 6:15 pm
We revisit the foundational question “Can consistency of a theory T be established by means of T?” The usual answer “No, by Gödel’s Second Incompleteness Theorem” is based on two assumptions: 1. Gödel’s internalized consistency formula is the only way to represent consistency. 2. Any contentual reasoning within T internalizes as a formal derivation in T. We show that already for Peano arithmetic PA both of these assumptions are false: (1) does not cover such[...]
6:30 pm
Philosophy of Language Workshop
@ NYU Philosophy Dept. rm 302
Philosophy of Language Workshop
@ NYU Philosophy Dept. rm 302
Nov 4 @ 6:30 pm – 8:30 pm
We’re a community of philosophers of language centered in New York City. We have a meeting each week at which a speaker presents a piece of their own work relating to the philosophy of language. Sept 9 Donka Farkas (Santa Cruz) Sept 16 John Maackay (U Wisconsin–Madison) Sept 23 Andrew Bacon (USC) Sept 30 Eleonore Neufeld (USC) Oct 7 Eli Alshanetsky (Temple) Oct 21 Gabe Dupre (UCLA) Oct 28 Dorit Bar-On (UConn) Nov 4 Sam[...]
|
Subscribe