请输入您要查询的字词:

 

单词 ComputableSequence
释义

computable sequence


A sequenceMathworldPlanetmath {ri}i=0 of rational numbersPlanetmathPlanetmathPlanetmath is called computable if there exist recursive functionsMathworldPlanetmath F: and G:{0} such that

ri=F(i)G(i).

A sequence {ri}i=0 of real numbers is called computable if there exists a recursive functions F:2 such that

(m>0)(n)  F(m,n)-1n<rm<F(m,n)+1n.

Note that, although every computable sequence of real numbers is a sequence of computable real numbers, not every sequence of computable real numbers is a computable sequence of real numbers. Formally, this is the case because the set of computable sequences of real numbers is countableMathworldPlanetmath (its cardinality cannot be greater than that of the set of recursive functions) whilst the set of sequences of computable real numbers is uncountable (by Cantor’s diagonal argument).

An explanation of this fact which, if somewhat less rigorous, is more satisfying to the intuition is the following: Imagine a sequence of computable real numbers such that the shortest FORTRAN program which could calculate the first number to arbitrarily specified precision is at least 1 kilobyte long, the shortest FORTRAN program which which could calculate the second number to arbitrarily specified precision is at least 2 kilobytes long, the shortest FORTRAN program which could calculate the third number to arbitrarily specified precision is at least 3 kilobytes long, and so on. If this sequence were computable, there would exist a finite FORTRAN program that would compute the recursive function F that appears in the definition of computable sequence. By adding a few more lines of to such a program, one would have a program that could compute any element of the sequence to arbitrary precision. However, no such program could possibly exist because of the way that the sequence was defined, and hence this sequence is not a computable sequence even though each of its elementsMathworldMathworld is a computable real number.

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/5 0:18:48