Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!uunet!husc6!bloom-beacon!oberon!cit-vax!ucla-cs!zen!ucbvax!decvax!linus!philabs!pwa-b!mmintl!franka
From: franka@mmintl.UUCP (Frank Adams)
Newsgroups: talk.philosophy.misc,sci.philosophy.tech
Subject: Re: Counting Statements
Message-ID: <2473@mmintl.UUCP>
Date: Fri, 9-Oct-87 18:45:09 EDT
Article-I.D.: mmintl.2473
Posted: Fri Oct  9 18:45:09 1987
Date-Received: Mon, 12-Oct-87 21:49:12 EDT
References: <2340@mmintl.UUCP> <8641@mimsy.UUCP> <2402@mmintl.UUCP> <881@sjuvax.UUCP> <171@yetti.UUCP> <905@sjuvax.UUCP>
Reply-To: franka@mmintl.UUCP (Frank Adams)
Followup-To: sci.philosophy.tech
Distribution: na
Organization: Multimate International, E. Hartford, CT.
Lines: 17
Xref: mnetor talk.philosophy.misc:733 sci.philosophy.tech:521

[Followups are directed to sci.philosophy.tech]

In article <905@sjuvax.UUCP> tmoody@sjuvax.UUCP (T. Moody) writes:
|As far as I know, no general effective method exists for determining
|whether any given string is or is not a sentence of a [natural] language. 
| ...  If it could be proved that no such effective method exists, then the
|set of sentences in a language would be undecidable.  How does this affect
|its cardinality?

Depends on your mathematical philosophy.  For a classicist of any type, it
doesn't affect it in the slightest.

For an intuitionist, you first have to ask what "cardinality" means.
-- 

Frank Adams                           ihnp4!philabs!pwa-b!mmintl!franka
Ashton-Tate          52 Oakland Ave North         E. Hartford, CT 06some