Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | David Brown <david.brown@hesbynett.no> |
|---|---|
| Newsgroups | comp.theory, comp.ai.philosophy, comp.lang.c++, comp.lang.c |
| Subject | Re: Eliminating Undecidability and Incompleteness in Formal Systems (Prolog already does this) |
| Date | 2019-05-02 09:19 +0200 |
| Organization | A noiseless patient Spider |
| Message-ID | <qae5md$en8$1@dont-email.me> (permalink) |
| References | (18 earlier) <uqOdne-V7rqVC1TBnZ2dnUU7-evNnZ2d@giganews.com> <lnsgtyvzfh.fsf@kst-u.example.com> <8JadnV4tzcaXcFTBnZ2dnUU7-eHNnZ2d@giganews.com> <qad31d$tn5$1@dont-email.me> <e6OdnRYAM5u6jlfBnZ2dnUU7-dXNnZ2d@giganews.com> |
Cross-posted to 4 groups.
On 01/05/2019 23:44, peteolcott wrote:
> On 5/1/2019 4:28 PM, David Brown wrote:
>> On 01/05/2019 21:01, peteolcott wrote:
>>> On 5/1/2019 12:48 PM, Keith Thompson wrote:
>>>> peteolcott <Here@Home> writes:
>>>> [...]
>>>>
>>>> One last try.
>>>>
>>>> Pete, as far as I can tell you have written nothing relevant to
>>>> C, C++, or Lisp. Please stop posting in comp.lang.{c,c++,lisp}.
>>>> (I would have emailed you if you had provided a valid email address.)
>>>>
>>>> I do not intend to post again in this thread.
>>>>
>>>
>>> You have been proven to be incorrect in that people continue to
>>> respond. It is most relevant to Prolog, it is next most relevant
>>> to Lisp because Lisp is an AI language. I might drop C++, and C
>>> off the list of cross-posts.
>>>
>>
>> Please do drop C and C++ groups. I can't answer for prolog or lisp
>> groups, as I do not follow these. But I note that everyone else in
>> your threads - baring those like me who are complaining - has dropped
>> the C and C++ groups. Thus all we see are endless posts from you,
>> apparently replying to yourself, and with no content of any interest
>> to our groups. It may be that you have discovered some important
>> result in formal systems, but we in the C and C++ groups are not
>> interested. (If anyone from these groups disagrees with me, please
>> say so.)
>>
>>
>
> I used to talk about this on comp.theory and then comp.theory died:
>
Why am I not surprised? Posters like you kill groups.
If you ever get as far as working on a C++ implementation and want to
discuss coding details, come back here. Until then, please stay out of
irrelevant groups.
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Re: Eliminating Undecidability and Incompleteness in Formal Systems (Prolog already does this) peteolcott <Here@Home> - 2019-05-01 16:44 -0500
Re: Eliminating Undecidability and Incompleteness in Formal Systems (Prolog already does this) David Brown <david.brown@hesbynett.no> - 2019-05-02 09:19 +0200
Re: Eliminating Undecidability and Incompleteness in Formal Systems (Prolog already does this) peteolcott <Here@Home> - 2019-05-02 09:58 -0500
csiph-web