Home

Upcoming Events
Colloquia
Conferences

News
People
Faculty
Graduate Students
Staff
Visitors
Courses
Fall 2010
Winter 2011
Spring 2011
Previous Years
Graduate Program
General Information
Admissions
Degree Requirements
Advising
Placement
Alumni
Undergraduate Program
Colloquia
2010-2011
Previous Years
Conferences & Workshops
Exchange Programs
Lambert Prize

Logic & Philosophy of Science Colloquium


 

Volker Halbach
Oxford University

Computational Structuralism


Joint work with Leon Horsten

Abstract:

According to structuralism in philosophy of mathematics, arithmetic is about a certain structure. First-order theories are satisfied by (nonstandard) models that do not have this structure. Proponents of structuralism have put forward various accounts of how we succeed to fix one single structure as the intended interpretation of our arithmetical language.

I shall look at a proposal (Volker Halbach & Leon Horsten: Computational Structuralism, Philosophia Mathematica 13, 2005 pp.174-186) that involves Tennenbaum's theorem, which says that any model with addition and multiplication as recursive operations is isomorphic to the standard model of arithmetic. On this account, the intended models of arithmetic are the notation systems which are computably intertranslatable with our notation system of the Arabic numerals.

Friday, April 15, 2011
SST 777
3:00 pm

Light Refreshments Provided




©