Second Workshop on the Limits and Scope of Mathematical Knowledge

March 30, 2013 - March 31, 2013
University of Bristol (UK)

Bristol
United Kingdom

Main speakers:

Dora Achourioti
University of Amsterdam
Tim Carlson
Ohio State University
Yuri Gurevich
Microsoft
Peter Koellner
Harvard University
Graham Leach-Krouse
University of Notre Dame
Hannes Leitgeb
Ludwig Maximilians Universität, München
Yiannis Moschovakis
University of California, Los Angeles
Joan Rand-Moschovakis
University of California, Los Angeles
Albert Visser
Utrecht University
W. Hugh Woodin
University of California, Berkeley

Topic areas

Talks at this conference

Add a talk

Details

One particular theme of the First Workshop ran as follows: in 1951, Gödel argued convincingly fora disjunctive thesis: either the human mathematical mind exceeds the output of a Turing machine, or there exist absolutely undecidable mathematical propositions. Since then, attempts have been made to decide one or both of the disjuncts, but no decisive progress has been made so far. For instance, Lucas’ arguments for the first disjunct are widely regarded as unconvincing. At the same time, formal frameworks have in the decades following Gödel’s publication been developed which could be fruitfully applied to this question: epistemic arithmetic (Shapiro et al.), progressions of formal theories (Feferman, Beklemishev, et al.), the logic of proofs (Artemov), ... Thus one research question of the conference was whether some of these formal frameworks (or combinations of these frameworks) can be used to obtain arguments for statements that are stronger than Gödel’s disjunctive thesis; however, the Conference is not limited to this topic. (Details of the First Workshop can be found here: https://www.bris.ac.uk/philosophy/department/events/mathematicalknowledge)

Please see: https://www.bris.ac.uk/philosophy/department/events/mathematicalknowledge2  for further details.   

Attendance is free, but registration for numbers is required. Please contact Sam Pollock ([email protected]) with your affiliation (if any) and email address.

Supporting material

Add supporting material (slides, programs, etc.)

Reminders

Registration

Yes

March 30, 2013, 9:00am BST

Who is attending?

No one has said they will attend yet.

Will you attend this event?


Let us know so we can notify you of any change of plan.

RSVPing on PhilEvents is not sufficient to register for this event.