Kurt W.A.J.H.Y Reillag would appear to be an illegitimate descendant of the well known Bourbaki. He has been doing research in mathematics and computer science while bottling wine in the caves at Beaune. Amazingly enough, Kurt W.A.J.H.Y Reillag has no diplommas whatsoever, but he knows his wines (and cheese).
I have had the privilege to present several of Reillag's results at the Logic and Computation Seminar. In particular, I gave a talk whose abstact is reproduced below, on Thursday, December 31, 1992, midnight.
ABSTRACT: The amazing results quoted in the title are proved. They have unprecedented and unpredictable consequences such as:
1. Linear logic being nonregressively productive, no matter how good a theorem you produce, a harder and better one is waiting out there.
2. Linear logic is never satisfied with itself, which means that it is an infinite source of new results.
3. Nonmonotonic logic being regressively nonproductive, no matter how bad a result you produce, there is a worse one waiting out there.
4. This does not matter anyway, since nonmonotonic logic is self satisfied.
There are other incredible consequences of these results. For example, the discontinuum hypothesis is independent of NMZF (nonmonotonic ZF), and Riemann's Hypothesis gives in.
The proof techniques are the most revolutionary aspect of this work. The main new concept is that of an FBI sheaf. To define an FBI sheaf, it was necessary to define a variant of Grothendieck topologies, named undercover agents. Then, an undertopos is like a topos, except that it has a subobject declassifier. An FBI site is a category with undercover agents. FBI sheaves cannot be glued, but they can be shredded. By iterating sheaf shredding long enough, we get an FBI sheaf sufficiently small that, it splits (et oui!). This is why the French say: "Voila le topo(s)". The most amazing of all is that in fact, using Freyd undercovers and the fact that A => A is intuitionistically provable, we get that every FBI sheaf over a big site is nonregressive. This is because all undercover agents eventually split. It it then an easy matter to get our fundamental results. They explain a lot, in particular about funding.
Unfortunately, I learned this morning that Kurt W.A.J.H.Y Reillag went for his annual retreat at some unknown mountain winery. This means that someone here at Penn will have to give the talk if we want to hear it. I did receive a large stack of wine bottle labels containing the entire paper scribbled on them.
And by the way,
MERRY CHRISTMAS, and HAPPY NEW YEAR!!!!!!!