NWI-WM040B
Philosophy of Mathematics
Course infoSchedule
Course moduleNWI-WM040B
Credits (ECTS)3
CategoryMA (Master)
Language of instructionEnglish
Offered byRadboud University; Faculty of Science; Wiskunde, Natuur- en Sterrenkunde;
Lecturer(s)
Coordinator
dr. W.H.M. Veldman
Other course modules lecturer
Lecturer
dr. W.H.M. Veldman
Other course modules lecturer
Contactperson for the course
dr. W.H.M. Veldman
Other course modules lecturer
Examiner
dr. W.H.M. Veldman
Other course modules lecturer
Academic year2018
Period
KW1-KW2  (03/09/2018 to 27/01/2019)
Starting block
KW1
Course mode
full-time
Remarks-
Registration using OSIRISYes
Course open to students from other facultiesYes
Pre-registrationNo
Waiting listNo
Placement procedure-
Aims
  • The student will learn to see that the question about the nature of mathematics is one of the most important questions in philosophy. 
  • The student will learn that meticulous mathematical thinking and philosophical contemplation can stimulate each other.
Content
During the course we discuss: Plato's Ideas and the place of the mathematical objects, Aristotle's view, Kant's view on the nature of mathematical statements, Frege and Russell's logics, Russell's paradox, Cantor's discoveries, Brouwer's intuitionist criticism, Goedel's incompleteness thesis, Goedel's Platonism, Wittgenstein's thoughts.
Test information
The student studies various texts of choice, and is assessed about them orally.

Required materials
Articles
The students will be given home texts that will be discussed in the lectures, during which one will be able to ask questions, or have discussions.

Recommended materials
Book
Alexander George and Daniel J. Velleman, Philosophies of Mathematics, Blackwell Publishers, 2002
Book
David Bostock, Philosophy of Mathematics, an Introduction, Wiley-Blackwell, 2009.

Instructional modes
Course occurrence

General
• Lectures • Preparatory readings • Student presentations (group presentations) and discussions

Lecture

Presentation
Attendance MandatoryYes

Zelfstudie

Tests
Tentamen
Test weight1
OpportunitiesBlock KW2, Block KW3