From: Christoph LANGE <ch.lange@jacobs-university.de>

Date: Fri, 24 Jul 2009 15:33:05 +0200

To: Urs Holzer <urs@andonyar.com>

Cc: "www-math@w3.org" <www-math@w3.org>

Message-Id: <200907241533.06755.ch.lange@jacobs-university.de>

Date: Fri, 24 Jul 2009 15:33:05 +0200

To: Urs Holzer <urs@andonyar.com>

Cc: "www-math@w3.org" <www-math@w3.org>

Message-Id: <200907241533.06755.ch.lange@jacobs-university.de>

2009-07-24 15:24 Christoph LANGE <ch.lange@jacobs-university.de>: > In the very general case, you don't always get a unique answer, as > functions can also occur as constants, i.e. without arguments. E.g. > instead of sin x or sin(x) you'd have statements like "let f = sin, then > f(x) = ...", or "the [function] vector space spanned by the set {sin, > cos}". I'm sure this is also true for certain function symbols that have > their own Unicode characters. Of course it is, think of structures like a ring (R,+,·,0,1), or a Turing Machine T(Q,Σ,Γ,δ,q0,_,F), where + and · are actually operators, and δ is actually a function. Cheers, Christoph -- Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701Received on Friday, 24 July 2009 13:33:53 UTC

*
This archive was generated by hypermail 2.3.1
: Tuesday, 6 January 2015 21:27:41 UTC
*