• 2022-07-22
    证明:下述每一个所谓的对正整数集合上的函数的递归定义都不能产生良定义的函数。若[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]是偶数且[tex=2.5x1.143]m+NxZMxa5j0Y5ahS4zrePw==[/tex],则[tex=7.143x1.357]ygZ0ELLH7TeLOGZff7skbQ==[/tex];若[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]是奇数,则[tex=7.429x1.357]Y8xierGAo8VrUhc0E9kEsg==[/tex],且[tex=3.214x1.357]e+n1FOOqDLMRkYnIeG67Dg==[/tex]。
  • 举一反三