ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] retirement

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Simon Spero <sesuncedu@xxxxxxxxx>
Date: Fri, 2 May 2014 14:02:17 -0400
Message-id: <CADE8KM4dbMKAaJ+fGbEf0ccv+soUzCgbevT2KfrUQeoyBWCfVQ@xxxxxxxxxxxxxx>

$+\aleph_{+1}$

On May 1, 2014 3:54 PM, "Pat Hayes" <phayes@xxxxxxx> wrote:
(forall ((N NaturalNumber))(implies
        (exists (P M)(and
                (OntologForumMember P)
                (EmailMessage M)
                (Sends P M)
                (not (= P PatHayes)
                (exists ((S Numeral)(and
                                                (Contains M (concat "+" S))
                                                (= (numericalValueOf S) N))
                ))
        ))
        (Votes PatHayes (plus N 1))
))

plus of course axioms defining all those relations and functions, omitted here for brevity.

On May 1, 2014, at 10:40 AM, Jack Park <jackpark@xxxxxxxxx> wrote:

> +10
>
> On Tue, Apr 29, 2014 at 10:39 PM, John F Sowa <sowa@xxxxxxxxxxx> wrote:
>> On 4/29/2014 9:45 PM, Jerry Hobbs wrote:
>>> This email thread praising Peter's management of the ontolog forum,
>>> does it have a "Like" button?
>>
>> The usual policy is to give a +1.
>>
>> I'll go whole hog and give him a +2.
>>
>> John
>>
>>
>> _________________________________________________________________
>> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
>> Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
>> Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
>> Shared Files: http://ontolog.cim3.net/file/
>> Community Wiki: http://ontolog.cim3.net/wiki/
>> To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
>>
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
> Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
> Shared Files: http://ontolog.cim3.net/file/
> Community Wiki: http://ontolog.cim3.net/wiki/
> To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
>
>

------------------------------------------------------------
IHMC                                     (850)434 8903 home
40 South Alcaniz St.            (850)202 4416   office
Pensacola                            (850)202 4440   fax
FL 32502                              (850)291 0667   mobile (preferred)
phayes@xxxxxxx       http://www.ihmc.us/users/phayes







_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J


_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J    (01)

<Prev in Thread] Current Thread [Next in Thread>