冒失
发表于 2025-3-25 07:03:51
http://reply.papertrans.cn/17/1655/165444/165444_21.png
ASSET
发表于 2025-3-25 11:06:15
https://doi.org/10.1007/978-3-642-96070-3Algorithmen; Berechenbarkeit; Entscheidbar; Entscheidbarkeit; Funktion; Minimum; Primitiv-rekursive Funkti
不爱防注射
发表于 2025-3-25 14:40:29
Springer-Verlag Berlin Heidelberg 1971
Indecisive
发表于 2025-3-25 16:53:41
Variational Principle. Exact Solutions,lent sind. Auch diese neuen Begriffe haben jeweils einen intuitiven Hintergrund. Dieser ist jedoch durchweg nicht derart, daß man so wie im Falle der Turing-Berechenbarkeit verhältnismäßig schnell geneigt sein wird zu glauben, daß die auf einer solchen Basis gewonnene Präzisierung . möglichen berech
Synthesize
发表于 2025-3-25 20:00:49
,µ-Rekursive Funktionen,lent sind. Auch diese neuen Begriffe haben jeweils einen intuitiven Hintergrund. Dieser ist jedoch durchweg nicht derart, daß man so wie im Falle der Turing-Berechenbarkeit verhältnismäßig schnell geneigt sein wird zu glauben, daß die auf einer solchen Basis gewonnene Präzisierung . möglichen berech
使混合
发表于 2025-3-26 03:53:45
http://reply.papertrans.cn/17/1655/165444/165444_26.png
Euphonious
发表于 2025-3-26 08:15:48
,µ-Rekursive Funktionen,ner exakten Definition als Turing-Berechenbarkeit (§ 6) gekommen. Der damit gewonnene unmittelbare Anschluß an die Intuition ist ohne Zweifel von großem Vorteil, wenn man sich der Bedeutung des so gewonnenen präzisen Begriffes bewußt werden will. Andererseits ist der Begriff der Turing-Berechenbarke
下边深陷
发表于 2025-3-26 11:27:44
,Die Äquivalenz Von Turing-Berechenbarkeit und µ-Rekursivität,h rein mathematische Überlegungen zeigen. Dies wollen wir hier für die Begriffe der Turing-berechenbaren Funktion und der (µ-rekursiven Funktion durchführen. (Vgl. auch das fünfte Kapitel, sowie § 31.) Ein derartiger Äquivalenzbeweis führt regelmäßig zu normierten Darstellungen der berechenbaren Fun
FLAT
发表于 2025-3-26 13:20:52
Rekursive Funktionen,g-berechenbaren Funktionen und damit wie die Funktionen, welche berechenbar im intuitiven Sinne sind. Man kann also sagen, daß der Begriff der µ-rekursiven Funktion ebenso wie der der Turing-berechenbaren Funktion eine Präzisierung des Begriffs der berechenbaren Funktion darstellt. Historisch früher
DUCE
发表于 2025-3-26 18:16:03
,Unentscheidbare Prädikate,en) nachzuweisen, daß sie unentscheidbar sind. Es ist leicht, die Unentscheidbarkeit von manchen Prädikaten . zu zeigen, die sich definieren lassen mit Hilfe von Begriffen, welche unmittelbar mit dem Begriff eines Algorithmus zusammenhängen. Typisch für derartige Beweise ist, daß sie mit einem Diago