most of these articles were originally posted on the homepage of Dr. Manfred von Thun (rest in peace) at La Trobe University. the annotations were later added by fogus.
I have been a member of the Philosophy Department of La Trobe University since 1972. My PhD topic was on inductive logic,1 and I still maintain some interest in the field. Over the years I have taught various courses, in general philosophy,2 philosophy of science,3 philosophy of psychology,4 cybernetics,5 deductive and inductive logic,6 computational logic7 and computer science.8 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.9
Miscellanea - material that does not belong to the other two pages.
Created on 6-FEB-1997 17:23:03.70
Manfred von Thun Philosophy Department, La Trobe University, Bundoora, Melbourne, VIC 3093, Australia Office: (03) 9479 3511, or by preference, Home: (03) 9439 7340 Mailto: Manfred von Thun (email: phimvt@lure.latrobe.edu.au).