27th November 2007

Convenor: Iman Poernomo

Reading: The Tractatus in a nutshell (Iman Poernomo) doc.

Further Reading: Ludwig Wittgenstein, Tractatus Logico-Philosophicus (1921) Link ; Free hypertext version

Further Information: The Tractatus has an unusual structure, following the form of a mathematical proof. It consist of 7 propositions, each with associated sub-proofs, and sub-sub-proofs.

Iman Poernomo is a Lecturer at the Department of Computer Science, King's College London and team leader of the Predictable Assembly Laboratory (PALab).

Iman completed his Ph.D. in Computational Logic at Monash University, following a BSc. (Honours) in Pure Maths and a BA in Philosophy from the same place.