Enabling Mathematical Cultures Workshop, University of Oxford, 5th-7th December
2017
Dear Colleagues,
This workshop will take place on 5th-7th December 2017 at the Mathematical
Institute of the University of Oxford, discussing mathematical practice ad
computer proof from a variety of perspectives.
Registration and schedule https://enablingmaths.wordpress.com/
Organisers
Sarah Baldwin, Joe Corneli, Lorenzo Lane, Ursula Martin and Fenner Tanswell
--------------------------------------------------------
Tuesday 5 Dec
12:00 – 13:30 Registration, Lunch Available for purchase at Maths Cafe
13:30 – 14:30 Ursula Martin “The social machine of mathematics”
14:35 – 15:05 Chris Sangwin & Henri Maurer “To what extent are existing
proof assistants suitable for teaching elementary logic to university
students?”
15:10 – 15:40 András Máté “Hungarian mathematical culture: different
interests, common features”
15.40 – 16:10 Tea and Coffee
16:10 – 16:55 Michael Barany “Abstract Relations: Media, Social Structure,
and Sociable Structuralism in Modern Distributed Mathematics”
17:00 – 17:45 Lorenzo Lane “Socialising Mathematical Social Machines:
Exploring the Transformative Role of Web Technologies”
19:00 – 21:00 DINNER: Somerville College
Wednesday 6 Dec
09:30 – 10:00 Marcos Cramer “Modelling Arguments about Foundations of
Mathematics in Structured Argumentation Theory”
10:05 – 10:35 Henrik Kragh Sørensen, Line Edslev Andersen & Mikkel Willum
Johansen “The practice of framing mathematical papers: Training to write to
convince”
10:40 – 11:10 Keith Weber “Mathematical discourse among set theorists on
the relationship between derivations and proofs”
11:10 – 11:25 TEA BREAK
11:25 – 11:55 Colin Rittberg & Michael Friedman “Paper Folding as a
Mathematical Culture”
12:00 – 12:40 Fenner Tanswell “Proof, Rigour and Mathematical Virtues”
12:45 – 13:25 Dave Murray-Rust “Social machines and craft"
13:30 – 14:45 LUNCH
14:45 – 15:30 Matt Inglis “A Cognitive Account of Mathematical
Explanation”
15:35 – 16:20 Andrew Aberdein “Redefining Mathematical Revolutions”
16:20 – 16:50 TEA BREAK
16:50-17:50 Alan Bundy (Keynote) “Automated Reasoning in the Age of the
Internet”
19:00 – 21:00 INFORMAL DINNER: St Anne’s College
Thursday 7 Dec
09:30 – 10:00 Slava Gerovitch, Julia Braverman & Anna Mirny “CrowdMath:
Massive Research Collaboration among High School and College Students”
10:05 – 10:35 Nick de Hoog “Linked structures of collaboration”
10:40 – 11:10 Gila Hanna “Connecting two different views of mathematical
explanation”
11:10 – 11:40 TEA BREAK
11:40 – 12:25 Joe Corneli “Models for argument and explanation"
12:30 – 13:15 Alison Pease “Mathematical practice and social machines"
13:15 – 14:45 Lunch Available for purchase at Maths Cafe
14:45 – Informal discussions
|