home *** CD-ROM | disk | FTP | other *** search
- Path: sparky!uunet!news.univie.ac.at!chx400!urz.unibas.ch!kullmann
- From: kullmann@urz.unibas.ch
- Newsgroups: sci.math
- Subject: Re: closed forms
- Message-ID: <1992Nov22.100111.42575@urz.unibas.ch>
- Date: 22 Nov 92 10:01:11 MET
- References: <92324.223138YUKQC@CUNYVM.BITNET>
- Organization: University of Basel, Switzerland
- Lines: 22
-
- In article <92324.223138YUKQC@CUNYVM.BITNET>, <YUKQC@CUNYVM.BITNET> writes:
- > Let S be a set and f1,...,fn be functions over S. I want to know
- > which branch of mathematics has dealt with questions of the following kind.
- >
- > Given a bunch of recursive equations that purport to define
- > a function f, how to decide the existence of, or find, a closed formula
- > for f in terms of f1,...,fn (I mean a finite closed formula).
- > The recursive equations only contain f1,...,fn.
- >
- > Example: Does a closed form of +, -, * exist for a factorial function?
- > Does a closed form of +, -, *, /, sqrt exist for a factorial
- > function over reals?
- >
- > References to books are greatly appreciated.
- > (What's the answer to the above question anyway?)
-
- Another question that could belong here: How does one proof that there is
- no closed form expression of \int(exp(-x**2))?
-
- --
- Peter
-
-