FOM: expr. power of syntax

Thomas Forster T.Forster at dpmms.cam.ac.uk
Thu Jul 18 13:56:42 EDT 2002


Yes, that's the easy bit.  The harrd bit is to find a formal way
of saying something like: no language with the expressive power of
propositional logic can be regular.  It's pretty clear that something
like that must be true, but i'm not sure how to state it!




More information about the FOM mailing list