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.
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.
Andre'
