Prädikate, prim rek. < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 23:05 Fr 26.04.2013 | | Autor: | Lu- |
| Aufgabe | | Kann wer ein Prädikat angeben, was nicht primitv rekursiv ist? |
P [mm] \subseteq M^n [/mm] zu suchen mit
[mm] \chi_p [/mm] : [mm] \IN^k [/mm] -> {0,1} [mm] \subseteq \IN
[/mm]
[mm] \chi_p (x_1,.., x_n)=\begin{cases} 1, & \mbox{für } P(x_1 ,.., x_n \mbox{ gilt} \\ 0, & \mbox{sonst} \end{cases}
[/mm]
mit [mm] x_j \in \IN, [/mm] 1 [mm] \le [/mm] j [mm] \le [/mm] n
nicht primitv rekursiv
Die gängigen Relationen wie [mm] \le, \ge [/mm] , = sind alle primitiv rekursiv.
Das Bsp sollte - denke ich - auf ein unendliches Prädikat.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 23:20 So 28.04.2013 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
![[]](/images/popup.gif){kind=small}
Ackermannfunktion