Calendar

Day
Day
May 20, 2019
20 Mon
All-day
2019 Association for Symbolic Logic North American Annual Meeting @ CUNY Grad Center
2019 Association for Symbolic Logic North American Annual Meeting @ CUNY Grad Center
May 20 all-day
Tickets
Program Committee: Sam Buss, Johanna Franklin, Wesley Holliday (chair), Elaine Landry,Andrew Marks, and Joel Nagloo.Local Organizing Committee: Evangelia Antonakos (co-chair), Sergei Artemov, AlfredDolich, Shoshana Friedman (co-chair), Gunter Fuchs, and Joel Hamkins. Please see https://asl2019.commons.gc.cuny.edu http://aslonline.org/wp-content/uploads/2019/04/Schedule19AnnMtg.pdf for additional information. All plenary and tutorial lectures will be held in Proshansky Auditorium, on the lower levelof the Graduate Center. All special session and contributed talks will be in the nearbyrooms C197, C198, and C201–C205. The welcoming reception will[...]
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 Perception of Time in Intuitionistic Arithmetic (Vincent Peluce) Logic & Metaphysics Workshop @ CUNY Grad Center, 7314
The Perception of Time in Intuitionistic Arithmetic (Vincent Peluce) Logic & Metaphysics Workshop @ CUNY Grad Center, 7314
May 20 @ 4:15 pm – 6:15 pm
Tickets
In L.E.J. Brouwer’s first act of intuitionism, the subject’s perception of time is put forth as the foundation on which arithmetic will be built. According to Brouwer, proper intuitionistic arithmetic, as with the rest of intuitionistic mathematics, is not tied to any particular formal system. When we try to axiomatically approximate an intuitionistic arithmetical system, we are faced with the problem of incorporating the subject and their perception into the axiom system itself. We discuss some unsatisfactory responses[...]
May 20, 2019