prim rek. und "äste" < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 22:10 Mi 07.02.2007 | | Autor: | AriR |
Hey leute,
hab mir gerade überlegt, dass wenn man zB eine primtiv rekursive funktion [mm] f:\IN^2\to\IN [/mm] hat, dann ist doch jeder ast also jede funktion [mm] f(x,g(x)):\IN\to\IN [/mm] für primitiv rekursives g wieder primitiv rekursiv oder?
[eben so für f(g(x),x)]
was ist denn mit der rückrichtung.
f(x,g(x)) primit rekursiv für jedes g genau wie f(g(x),x)
kann man daraus folgern, dass f primitiv rekursiv ist?
also die hinrichtung ist recht trivial würde ich sagen nur für die rückrichtung fällt mir kein beweis ein.
um das zu zeigen, müsste man ja eigentlihc einen primitiv rekursiven term für f angeben oder?
hat jemand von euch vielleicht ein idee?
gruß ari
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 22:20 Mo 12.02.2007 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
