Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10 5/3/83; site rochester.UUCP
Path: utzoo!linus!decvax!harpo!seismo!rochester!henry
From: henry@rochester.UUCP (Henry Kautz)
Newsgroups: net.jokes
Subject: a.i. limericks
Message-ID: <2824@rochester.UUCP>
Date: Thu, 8-Sep-83 14:16:31 EDT
Article-I.D.: rocheste.2824
Posted: Thu Sep  8 14:16:31 1983
Date-Received: Thu, 8-Sep-83 20:45:10 EDT
Sender: henry@rocheste.UUCP
Organization: U. of Rochester, CS Dept.
Lines: 20

From: Henry Kautz  <henry>
If your thesis is utterly vacuous
Employ first-order predicate calculus
With sufficient formality
The sheerest banality
Will be hailed by all as miraculous


For theses you fear indefensible
Reach for semantics intensional
Over Montague grammar
Your committee will stammer
Not admitting it's incomprehensible


When theorems verge on the hystronic
They're most likely non-monotonic
Gross contradictions
Are reduced to mere fictions
And deduction is stereophonic