A revolution in Logic?
I have found a truly feyerabendish paper that might be interesting to
you all. See
It's extremely exiting. (At least for me... ;)
And it would be very interesting IMHO to base a programming language on
top of this.
I am interested in hearing comments from you!
All the best,
Pascal Costanza University of Bonn
mailto:costanza@... Institute of Computer Science III
http://www.pascalcostanza.de Römerstr. 164, D-53117 Bonn (Germany)