[RFC] Acknowledgment theorem type

[Richard Kimberly Heck]

On 2/1/23 14:37, Andrew Parsloe wrote:
> On 2/02/2023 4:13 am, Jürgen Spitzmüller wrote:
>> Dear all,
>>
>> As you might know, LyX features a theorem type "Acknowledgment" via the
>> "AMS extended" theorems modules. This is a question for people using
>> this.
>>
>> The issue appeared on the developers list that none of us is actually
>> sure about the function of this theorem type. This is a problem with
>> regard to translation into other languages, as "acknowledgment" can
>> mean different things, among them
>>
>> (a) expressing gratefulness (credits, as in the "Acknowledgment"
>> section of books or articles),
>> (b) expressing respect ("In acknowledgment of his special merits he was
>> appointed as honorary conductor of the orchestra"),
>> (c) the act or fact of accepting the truth or recognizing the existence
>> of something ("acknowledgment of a mistake"),
>> (d) a confirmation ("I have received no acknowledgment")
>>
>> Depending on the meaning, the term needs to be translated differently
>> to some languages. Currently, it is translated in the same way than the
>> Acknowledgment sections in articles (meaning [a]), and we have serious
>> doubts whether this is appropriate.
>>
>> If you use or are familiar with the Acknowledgment theorem type: what
>> are its general purposes, or how do you use it?
>>
>> Thanks,
> My reading of amsthdoc.pdf, Section 4.1, is that Acknowledgment in the 
> context of theorem styles is to be understood in sense (a). In 
> amsthdoc.pdf it is grouped with things like Remark, Notation, 
> Conclusion -- a typesetting style rather than a special kind of 
> mathematical object.

I'm not sure about that. In my field anyway, Remark is used for 
comments, more or less. Sometimes it would be an explanation of a 
result, or of why one is proceeding a certain way. Notation would be 
used for explanations of notation. I'm less sure about Conclusion, 
though I would guess it was used for something like a remark that summed 
up the results of a certain line of investigation.

Still, thinking about this further, I agree with you that Acknowledgment 
would probably mean (a). I can imagine something like:

Acknowledgment 3.2: Theorem 3.1 is 'folklore'. The proof given here is 
based upon an idea suggested to me by NN.

Riki

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.lyx.org/pipermail/lyx-users/attachments/20230201/ce3246ce/attachment.html>