[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