Emendations to list given below:

Please note following emendations to the list of units below (See Handbook errata)
You will be able to enrol in the PHIL2619 through Sydney Student.

  • PHIL2619 Philosophy of Mathematics– Semester 1 (See details below)
  • PHIL2661 Philosophy of Sex will not be offered in 2016

Units of study

PHIL2619 Philosophy of Mathematics

Semester 1, 2016 | Credit Points: 6

Coordinator: Mark Colyvan
Email:

Assessments 2x2250wd essays (2x50%) Classes 1x2-hr lecture/week, 1x1-hr tutorial/week Prerequisites 12 Junior credit points in Philosophy Prohibitions PHIL3219, PHIL2219 Tuesday 10-12 Lecture (Teachers College Lecture Theatre 306)

Description
An examination of contemporary problems in the Philosophy of Mathematics. We will look at intuitionism, nominalism, Platonism, and constructivism in mathematics, while also discussing the reduction of mathematics to set theory, the Cantorian higher infinite (at some length) and the significance of the Godel and Lob theorems.

PHIL2650 - Logic and Computation

Semester 1, 2013  |  Credit Points: 6

Coordinator: Nicholas Smith

Description

This unit covers central results about the nature of logic, the nature of computation, and the relationships between the two. Topics treated include basic set theory, Turing machines, the theory of computability and uncomputability, the decision problem for first order logic, Tarski's theorem on the indefinability of truth, and Gödel's famous incompleteness theorem.

Assessments

2x1000wd assignments (problem sets) (2x25%) and 1x2hr exam (50%)

Classes

1x2-hr lecture/week, 1x1-hr tutorial/week

Prerequisites

PHIL1012 or PHIL2628 or permission of instructor

A timetable is not available for this session.
Please refer to the list of Units of Study on the left-hand menu to view the units on offer for the relevant academic year.

The information displayed above is indicative only as online information is subject to change without notice. The Faculty Handbook and the University of Sydney Calendar are the official legal source of information relating to study at the University of Sydney