[FOM] 605: Integer and Real Functions
Hendrik Boom
hendrik at topoi.pooq.com
Sat Aug 29 10:57:37 EDT 2015
Typos.
On Thu, Aug 27, 2015 at 04:12:38AM -0400, Harvey Friedman wrote:
...
...
>
> Also, there is a more general construction - A^B = the set of all
> functions from A into B. This also can be used, and a tremendous
from B into A ?
> number of satisfying things are going to be accessible to the method
> of explicit mappings. Also we can consider as part of the mix, very
> basic subspaces of A^B. E.g., the one-one maps.
...
...
>
> 5. f = gog.
>
> This is the functional square root equation for g. Given g, find a
> natural f with this equation. This is closely related to the above.
Finding f from g seems trivial. Perhaps the problem is to find g from f?
...
...
-- hendrik
More information about the FOM
mailing list