Almost every week, members of Tembusu College are invited to meet and chat with guests – both local and international – through a variety of hosted events. There is a huge diversity of backgrounds amongst our visitors, who range from politicians to diplomats, artists, writers, poets, and academics. Select an event category on the left to find out more.
As a Residential College, residents of Tembusu College live and learn together with their peers under the same roof. Integral to the learning is the University Town College Programme (UTCP) where residents read five Seminar-style Modules over their two year residency. Find out more About the Programme or browse available modules on the left.
Concerned about the workload? Find out How UTCP Fits with your faculty-based degree programme at NUS.
Living and learning together at Tembusu happens as part of our ‘Out-of-Classroom Teaching‘ programme.
Keen to continue residing at the college after completing the UTCP? Find out what lies ahead in the Senior Learning Experience.
Tembusu College
Science, Technology and Society Seminar Series
Discovery Work: Opening Up the Black Box of Mathematical Reasoning
Speaker: Assistant Professor Christian Greiffenhagen (The Chinese University of Hong Kong)
Respondent: Dr Connor Graham (Tembusu College & Asia Research Institute)
Wednesday 24th February 11.30am-1pm
Register at: https://dev-tembusu-nus.pantheonsite.io/tsts
Abstract:
In this paper, I present my analysis of the first steps of researchers in mathematical logic toward the development of a mathematical proof. They are ‘first steps’ in that they capture the early point of the research project; furthermore, the investigation itself is a PhD project and involves the student in taking ‘first steps’ in the experience of independent research, moving from working through established proofs towards producing her/ his own contribution to the archive of proofs. The analysis is based on video recordings of the weekly supervision meetings between supervisor and doctoral student. In the video excerpts of the a point at which, together, they are jointly trying to figure out a range of problems that they have to tackle – as well as the prospects for some possible solution strategies – in order to arrive at the final theorem. I examine the mathematical puzzlement that they attempt to address and resolve through discussion at the blackboard, with an aim to specify the notion of ‘rigour’ with which their work is conducted. The course of their reasoning is not by any means ‘arbitrary’ but neither is it ‘logical’ in a formalist sense. In this sense we will show the stepwise, logical, but non-formalist character of their workings.
The paper being discussed is available from: http://bit.ly/1QMTL9X
+65 6601 2150