I have been a member of the Philosophy Department of La Trobe University since 1972. My PhD topic was on inductive logic, and I still maintain some interest in the field. Over the years I have taught various courses, in general philosophy, philosophy of science, philosophy of psychology, cybernetics, deductive and inductive logic, computational logic and computer science. I retired at the end of 2003, but I am still active in my research, mainly in computer science.
Symbolic Processing in Pascal contains an unpublished book which is based on several courses I have taught. Programs range from very easy to quite difficult, dealing with parsing, translating, interpreting and some theorem proving. LLC course
The programming language Joy my research in the design and implementation of a computer language. Joy is a purely functional high level programming language which eliminates lambda abstraction and function application and replaces them by program quotation and function composition.
Miscellanea - material that does not belong to the other two pages.
Created on 6-FEB-1997 17:23:03.70
Manfred von Thun
Mailto: Manfred von Thun (email: email@example.com).
Back to Philosophy Department staff. Back to La Trobe University.