Re: Infix KIF

Juuitchan wrote:

Daniel al-Autistiqui wrote:
[snip]
The online

page referenced above has a chapter numbered 11, "Infix Notation",
discussing a KIF variant that uses the familiar infix syntax rather
than the more complicated LISP-like syntax; but unfortunately I
realized after taking a look at it for a while that it contains
several kinds of errors and inconsistencies. Whatever way those
things on the page that don't make sense could have gotten there, I
need to have them *corrected*.

I'll try to copy the BNF grammars of sections 11.2, 11.3, and 11.4
into subsequent postings. I'll insert comments next to things that
don't seem right.

daniel mcgrath


Why are you posting on alt.usage.english for help? What led you to
believe that alt.usage.english is the correct forum for something such
as this?

Perhaps the folks here are somewhat forgiving because of your autism,
but I strongly suggest that you go to a more appropriate forum (such as
perhaps a mathematics newsgroup) for something such as this.

And social disability or no, if you want an error corrected, why not go
to he whose error it is? Is it that you do not feel you are up to the
task of doing the writing yourself, and want someone who you see as
more capable to do it for you?

Do you think that the person or people whose writing it is give(s) a
damn whether or not you have autism?! If you have comments on their
mathematics, write as a mathematician, and write directly to them. And
again, if you think you would have trouble writing politely, perhaps
you should go to a forum where they offer help with that, or perhaps
try your local community college.


Actually, Daniel did post it to the mathematics and science forums as well as this one.

I don't think it is far-fetched to hope that there might be some computer language skill as well as English usage knowledge among those in the group, and I don't see any problem with a post that was basically asking for suggestions on how to correct some errors.



--
Stephen
Lennox Head, Australia
.

Relevant Pages

  • Re: What languages have huge standard libraries?
    ... >>> neither folklore nor mathematics, but current usage in the context in ... >>> programming languages. ... > words and phrases evolves, and is determined by usage, not ... This is a forum focused on technology. ...
    (comp.programming)
  • Re: Infantile authours degrading this NG.
    ... I suggest that if you wish to gain anyone's respect in this forum, ... learn to quit top posting like a newbie, ... >> I suggest that you do not try to be a teacher of mathematics. ...
    (sci.math)
  • Re: a new crypto forum
    ... hence the reason my forum is more generalized (sci.crypt ... > about the inner workings and mathematics of cryptosystems. ... I would certainly read such a usenet group ... ... I would not join a web-site-based forum or group. ...
    (sci.crypt)
  • Re: moderators, academic freedom, and all that
    ... > Having observed this forum for a short while, ... study mathematics and spend several years at college, ... that there is some enticing for any prospective moderators. ... limit anyone's academic freedom, quite the contrary even; ...
    (sci.math)
  • Re: moderators, academic freedom, and all that
    ... > Having observed this forum for a short while, ... study mathematics and spend several years at college, ... that there is some enticing for any prospective moderators. ... > limit anyone's academic freedom, quite the contrary even; ...
    (sci.math)
Loading