Andre Poenitz wrote:
> On Wed, Mar 23, 2011 at 09:50:25PM +0100, Georg Baum wrote:
>> BTW do we have any german speaking mathematician on the list who knows
>> how we should deal with the missing 'Satz' theorem (see
>> http://www.lyx.org/trac/ticket/7340)?
>
> Depends a bit on what the actual problem is.
The problem is that it is currently not possible to write a document
containing a 'Satz' with an unmodified LyX.
> Usually I'd associate 'Satz' with (English) 'Theorem', but (German)
> 'Theorem' is also sometimes used, not uncommonly for an 'important'
> "Satz".
>
> But if we just want to match the set {'proposition', 'theorem'} to the
> set {'Satz', SomethingElse }, using SomethingElse = 'Theorem' and
> matching translating 'Proposition' with 'Satz' does not look wrong.
>
> I have to admit that the last time I read a math paper was a while
> ago and the time span since then exceeds my typical span of attention
> by a few orders of magnitude, but I don't think 'Proposition' is
> heavily used in "proper" German math papers. I surely wouldn't use it.
Thanks for your explanation. After reading it I think that translating
'proposition' with 'Satz' is the best option. Jürgen, may I do that?
Georg
