semantics of sequentials, peter kirk
decaen at chass.utoronto.ca
Tue Dec 5 10:08:15 EST 2000
your reply was interesting and indeed heartening, and for two reasons.
first, i have been learning perl and prolog at the request of my mentor in
this area, kirk lowery. your delight in learning perl has reminded me of
how much fun i'm having because of kirk, and how much i owe him....
second, every now and then it's nice to have someone actually understand
what i'm doing and why it's important.
your perl construct follows from the structure, if i can remember my
~(A & ~B)
~A V ~~B de Morgan's law (read "V" as and/or)
~A V B elimination of double negative
hence your "do or die". after all, computer science is applied logic. and
with programming in logic (like prolog, goedel), it really **is** applied
Dr Vincent DeCaen <decaen at chass.utoronto.ca>
c/o Near and Middle Eastern Civilizations, 4 Bancroft Ave., 2d floor
University of Toronto, Toronto ON, CANADA, M5S 1A1
Hebrew Syntax Encoding Initiative, www.chass.utoronto.ca/~decaen/hsei/
Love work. Hate authority. --Shemaiah, from Avot
More information about the b-hebrew