Xref: utzoo talk.politics.misc:8312 sci.misc:1026
Path: utzoo!mnetor!uunet!seismo!sundc!pitstop!sun!decwrl!labrea!agate!ig!uwmcsd1!csd4.milw.wisc.edu!markh
From: markh@csd4.milw.wisc.edu (Mark William Hopkins)
Newsgroups: talk.politics.misc,sci.misc
Subject: An interesting formula.
Message-ID: <5260@uwmcsd1.UUCP>
Date: 18 Mar 88 22:19:57 GMT
Sender: daemon@uwmcsd1.UUCP
Reply-To: markh@csd4.milw.wisc.edu (Mark William Hopkins)
Organization: University of Wisconsin-Milwaukee
Lines: 15
Summary: Humanly incomprehensible.

Formula:
<From a prior Math Posting>

The normal form of the lambda expression:

	           (M M) M

where
	       M = (S (SS) ) S

where

	      S = lambda x,y,z ( (xz) (yz) ).

... or just S if no normal form exists.