前奏曲
发表于 2025-3-23 11:20:52
https://doi.org/10.1057/9780230589902The concept of algorithm, i. e. of a “general procedure”, is more or less known to all mathematicians. In this introductory paragraph we want to make this concept more precise. In doing this we want to stress what is to be considered essential.
吝啬性
发表于 2025-3-23 16:07:30
http://reply.papertrans.cn/32/3125/312436/312436_12.png
愉快么
发表于 2025-3-23 20:16:05
http://reply.papertrans.cn/32/3125/312436/312436_13.png
endocardium
发表于 2025-3-24 01:15:26
Alexander Pushkin and his True Ideal,t constructive concepts, which we have already come across in Chapter 1, will be defined by Turing machines. We should convince ourselves that the suggested definitions of Turing-decidability, Turing-computability and Turing-enumerability are precise replacements of the corresponding intuitive conce
狼群
发表于 2025-3-24 03:25:34
https://doi.org/10.1007/978-3-319-41658-8ived at an exact definition of Turing-computability (§ 6). The direct connection with intuition, which is gained by this method, is without doubt a great advantage in realizing the meaning of the precise concepts obtained. On the other hand, the concept of Turing-computability, just as it stands, is
Fierce
发表于 2025-3-24 09:54:46
https://doi.org/10.34157/978-3-648-17399-2an be shown by purely mathematical considerations. We shall do this in this chapter for the concept of Turing-computable function and the concept of .-recursive function. (Cf. also Chapter 5 and § 30.) An equivalence proof of this kind generally leads to a standard representation of computable funct
松软
发表于 2025-3-24 14:42:08
https://doi.org/10.1057/9780230373105e class of Turing-computable functions and so the same as the class of the functions which are computable in the intuitive sense. Thus, we can say that the concept of .-recursive function, just like that of Turing-computable function, is a precise replacement of the concept of computable function. A
connoisseur
发表于 2025-3-24 16:06:17
http://reply.papertrans.cn/32/3125/312436/312436_18.png
绝种
发表于 2025-3-24 21:38:48
http://reply.papertrans.cn/32/3125/312436/312436_19.png
choleretic
发表于 2025-3-25 02:19:57
https://doi.org/10.1007/978-3-642-46178-1Functions; Mathematica; Rekursive Funktion; Turing machine; algorithms; arithmetic; calculus; computability