Symposium on Mathematical Practice and Cognition

Programme

Invited talks are 1 hour, long talks are 30 minutes, and short talks are 20 minutes (all including questions).

Monday 29th March, 2010

8:30-9:00

Registration

9:00-10:30

Chair: Alison Pease

Welcome

Invited talk: Little green men from Mars and other thought experiments in philosophy of mathematics. Alexandre Borovik

Long talk: If learning Math requires a teacher, where did the first teachers come from? Aaron Sloman

10:30-11:00

Coffee Break

11:00-12:30

Chair: Alan Smaill

Long talk: Geometric proof checking with Diagrams. John Mumma

Long talk: Interpreting Naproche - An algorithmical approach to the derivation-indicator view. Merlin Carl and Prof. Dr. Peter Koepke

Short talk: Applying the GC Combined Reasoning Framework to Mathematical Discovery. John Charnley

12:30-14:00

Lunch/Keynote talk

14:00-15:30

Chair: Elke van der Meer

Long talk: Dynamism in mathematical thought (where there shouldn't be any): A study of gesture in the production of mathematical proof. Tyler Marghetis, Rafael Núñez

Short talk: The body in Renaissance arithmetic: from mnemonics to embodied cognition. Albrecht Heeffer

Short talk: Origins of Spatial-Numerical Bias. Martin Fischer

Short talk: Interpretation is an action: understanding diagrams by manipulating them. Valeria Giardino

15:30-16:00

Coffee Break

16:00-17:30

Chair: Benedikt Loewe

Long talk: Where axioms come from. Dirk Schlimm

Invited talk: Mathematical argumentation and the Toulmin model. Brendan Larvor

Evening

Movie to be shown as an AISB event

Workshop dinner (time and place to be arranged and announced on the day).

Tuesday 30th March, 2010

8:30-9:00

Registration

9:00-10:30

Chair: Brendan Larvor

Invited talk: Types of Generality in and around Mathematics and Logics. Ivor Grattan-Guinness

Long talk: Skills and Mathematical Knowledge. Benedikt Loewe, Thomas Müller

10:30-11:00

Coffee Break

11:00-12:30

Chair: Markus Guhe

Short talk: Analogical Reasoning, Resource Allocation and Task-Engagement in Individuals Differing in Mathematical Abilities. Elke van der Meer, Boris Bornemann, Jan Ries, Judith Horn, Manja Foth, Isabell Wartenburger

Short talk: Singing Numbers... in Cognitive Space. Martin Fischer et al.

Short talk: The effects of literacy on symbolic and non-symbolic numerical magnitude processing in literate and illiterate Arabic speakers. Samar Zebian & Daniel Ansari

Informal session: This is an opportunity for anyone who would like to speak informally. This may be about a PhD proposal, report on work in progress, thoughts on the workshop, etc. We will arrange this on the fly at the workshop - if you would like to speak, please arrange it with Alison, Markus or Alan prior to the session.

12:30-14:00

Lunch/Keynote talk

14:00-15:30

Chair: Dirk Schlimm

Long talk: Peer review and knowledge by testimony in mathematics. Benedikt Loewe, Christian Geist, Bart Van Kerkhove

Invited talk: Rationale of the Mathematical Joke. Andrew Aberdein

15:30-16:00

Coffee Break

16:00-17:30

Chair: Aaron Sloman

Panel session

The workshop officially ends at 5.30.
AISB are showing another movie in the evening, to which everyone is welcome.