dbo:abstract
|
- في الرياضيات، الأعداد القابلة للحساب (بالإنجليزية : Computable Numbers) هي الأعداد الحقيقية التي يمكن حسابها إلى أي دقة مُرادة بواسطة خوارزمية منتهية و محدودة. تُعرف أيضًا باسم الأعداد العودية. يمكن إعطاء تعريفات مشابهة باستخدام آلات تورنغ أو تكامل لامدا كتمثيل رسمي للخوارزميات. تشكل الأعداد القابلة للحساب ويمكن استخدامها بدلاً من الأعداد الحقيقية للعديد من الأغراض الرياضية. (ar)
- En matemàtiques i especialment en complexitat computacional un nombre computable és un nombre real que pot ser computat amb una precisió arbitraria mitjançant un algorisme finit i que s'atura. També se'ls coneix com a nombres recursius o nombres reals recursius. Es poden obtenir definicions equivalents fent servir funcions recursives, màquines de Turing o el càlcul lambda. (ca)
- Als berechenbare Zahl wird eine reelle Zahl bezeichnet, wenn es eine Berechnungsvorschrift gibt, die Approximationen zu jeder vorgegebenen Genauigkeit liefern kann. Insbesondere gibt es nicht-berechenbare Zahlen. (de)
- In mathematics, computable numbers are the real numbers that can be computed to within any desired precision by a finite, terminating algorithm. They are also known as the recursive numbers, effective numbers or the computable reals or recursive reals. Equivalent definitions can be given using μ-recursive functions, Turing machines, or λ-calculus as the formal representation of algorithms. The computable numbers form a real closed field and can be used in the place of real numbers for many, but not all, mathematical purposes. (en)
- En matemáticas, especialmente en ciencia computacional teórica y lógica matemática, los números computables o recursivos son los números reales que pueden ser computados con la precisión que se desee por un algoritmo finito. Se puede llegar al mismo resultado utilizando funciones recursivas, máquinas de Turing o cálculo-λ, de acuerdo con la tesis de Church-Turing. (es)
- En informatique et algorithmique, un nombre réel calculable est un réel pour lequel il existe un algorithme ou une machine de Turing permettant d'énumérer la suite de ses chiffres (éventuellement infinie), ou plus généralement des symboles de son écriture sous forme de chaîne de caractères. De manière plus générale, et équivalente, un nombre réel est calculable si on peut en calculer une approximation aussi précise que l'on veut, avec une précision connue. Cette notion a été mise en place par Alan Turing en 1936. Elle a ensuite été développée dans différentes branches des mathématiques constructives, et plus particulièrement l'analyse constructive. L'ensemble des réels calculables est un corps dénombrable. Il contient, par exemple, tous les nombres algébriques réels, ou des constantes célèbres comme π ou γ. Les réels non calculables sont donc bien plus nombreux, bien qu'il soit généralement difficile de les définir, et sont en grande partie des nombres aléatoires. On parvient toutefois à en caractériser certains, comme la constante Oméga de Chaitin ou des nombres définis à partir du castor affairé ou des suites de Specker. (fr)
- 계산 가능한 수(computable number) 또는 재귀적 수(recursive number), 계산 가능한 실수는 수학, 특히 전산학과 수리논리학에서, 유한한 수의 알고리즘을 통해 임의의 유한한 정확도로 구할 수 있는 수를 말한다. μ-재귀함수, 튜링 기계, λ-칼큘러스 등을 통해 다른 동등한 정의를 내릴 수도 있다. 계산 가능한 수들로 닫힌 실수체를 만들 수 있고, 수학적인 용도로 실수체를 거의 어느 정도 대체할 수 있다. (ko)
- Na matemática, particularmente na ciência da computação teórica e na lógica matemática, os números computáveis, também conhecidos como números recursivos ou reais computáveis, são os números reais que podem ser computados para qualquer precisão desejada por um algoritmo finito e que termina. Definições equivalentes podem ser dadas usando funções μ-recursivas, máquinas de Turing ou cálculo-λ como a representação formal de algoritmos. Os números computáveis formam um campo real fechado e podem ser usados no lugar de números reais, para muitos, mas não todos, fins de matemática. (pt)
- Inom matematik och beräkningsteori är ett beräkningsbart tal ett reellt tal som kan beräknas med en ändlig algoritm. Närmare bestämt är ett tal a beräkningsbart om det finns ett program som, givet ett godtyckligt noggrannhetskrav ε > 0 som indata, matar ut ett rationellt tal r för vilket Nästan alla reella tal är oberäkningsbara, en följd av att mängden av alla algoritmer är uppräknelig medan mängden av reella tal är ouppräknelig. Dock utgör de beräkningsbara talen en , och nästan alla tal som förekommer i matematik i praktiken är beräkningsbara (däribland alla algebraiska tal och även vanligt förekommande transcendenta tal som e och π). Det är tänkbart att större delen av den matematiska analysen skulle kunna konstrueras enbart med hjälp av beräkningsbara tal. Alla beräkningsbara tal är , men omvändningen gäller inte. Ett exempel på ett definierbart men oberäkningsbart tal är Chaitins konstant. (sv)
- 可計算數(英語:computable numbers),是数学名詞,是指可用有限次、會結束的算法計算到任意精確度的实数。可計算數也被稱為遞迴數、遞迴實數或可計算實數。 等效的定義可以用递归函数、图灵机及λ演算等演算法的形式表示法而得。可計算數形成實閉域,可以在許多數學應用上取代实数。 (zh)
- В математике вычислимое (или рекурсивное) число — это число, которое может быть вычислено с любой заданной точностью с помощью алгоритма (для комплексных чисел должны быть вычислимы и действительная, и мнимая части). Число, не являющееся вычислимым, называется невычислимым (примером невычислимого числа является константа Хайтина в проблеме остановки). Любое алгебраическое число (а значит, любое рациональное и тем более любое целое число) является вычислимым. Любой элемент кольца периодов (что включает в себя число π и многие другие трансцендентные числа) является вычислимым. Любое вычислимое число является арифметическим. Множество всех вычислимых чисел является счётным множеством, а множество всех невычислимых чисел — несчётным. Множество всех вычислимых чисел (равно как и множество всех невычислимых чисел) плотно в и в Порядок на множестве вычислимых действительных чисел изоморфен порядку на множестве рациональных чисел. (ru)
|
rdfs:comment
|
- في الرياضيات، الأعداد القابلة للحساب (بالإنجليزية : Computable Numbers) هي الأعداد الحقيقية التي يمكن حسابها إلى أي دقة مُرادة بواسطة خوارزمية منتهية و محدودة. تُعرف أيضًا باسم الأعداد العودية. يمكن إعطاء تعريفات مشابهة باستخدام آلات تورنغ أو تكامل لامدا كتمثيل رسمي للخوارزميات. تشكل الأعداد القابلة للحساب ويمكن استخدامها بدلاً من الأعداد الحقيقية للعديد من الأغراض الرياضية. (ar)
- En matemàtiques i especialment en complexitat computacional un nombre computable és un nombre real que pot ser computat amb una precisió arbitraria mitjançant un algorisme finit i que s'atura. També se'ls coneix com a nombres recursius o nombres reals recursius. Es poden obtenir definicions equivalents fent servir funcions recursives, màquines de Turing o el càlcul lambda. (ca)
- Als berechenbare Zahl wird eine reelle Zahl bezeichnet, wenn es eine Berechnungsvorschrift gibt, die Approximationen zu jeder vorgegebenen Genauigkeit liefern kann. Insbesondere gibt es nicht-berechenbare Zahlen. (de)
- In mathematics, computable numbers are the real numbers that can be computed to within any desired precision by a finite, terminating algorithm. They are also known as the recursive numbers, effective numbers or the computable reals or recursive reals. Equivalent definitions can be given using μ-recursive functions, Turing machines, or λ-calculus as the formal representation of algorithms. The computable numbers form a real closed field and can be used in the place of real numbers for many, but not all, mathematical purposes. (en)
- En matemáticas, especialmente en ciencia computacional teórica y lógica matemática, los números computables o recursivos son los números reales que pueden ser computados con la precisión que se desee por un algoritmo finito. Se puede llegar al mismo resultado utilizando funciones recursivas, máquinas de Turing o cálculo-λ, de acuerdo con la tesis de Church-Turing. (es)
- 계산 가능한 수(computable number) 또는 재귀적 수(recursive number), 계산 가능한 실수는 수학, 특히 전산학과 수리논리학에서, 유한한 수의 알고리즘을 통해 임의의 유한한 정확도로 구할 수 있는 수를 말한다. μ-재귀함수, 튜링 기계, λ-칼큘러스 등을 통해 다른 동등한 정의를 내릴 수도 있다. 계산 가능한 수들로 닫힌 실수체를 만들 수 있고, 수학적인 용도로 실수체를 거의 어느 정도 대체할 수 있다. (ko)
- Na matemática, particularmente na ciência da computação teórica e na lógica matemática, os números computáveis, também conhecidos como números recursivos ou reais computáveis, são os números reais que podem ser computados para qualquer precisão desejada por um algoritmo finito e que termina. Definições equivalentes podem ser dadas usando funções μ-recursivas, máquinas de Turing ou cálculo-λ como a representação formal de algoritmos. Os números computáveis formam um campo real fechado e podem ser usados no lugar de números reais, para muitos, mas não todos, fins de matemática. (pt)
- 可計算數(英語:computable numbers),是数学名詞,是指可用有限次、會結束的算法計算到任意精確度的实数。可計算數也被稱為遞迴數、遞迴實數或可計算實數。 等效的定義可以用递归函数、图灵机及λ演算等演算法的形式表示法而得。可計算數形成實閉域,可以在許多數學應用上取代实数。 (zh)
- En informatique et algorithmique, un nombre réel calculable est un réel pour lequel il existe un algorithme ou une machine de Turing permettant d'énumérer la suite de ses chiffres (éventuellement infinie), ou plus généralement des symboles de son écriture sous forme de chaîne de caractères. De manière plus générale, et équivalente, un nombre réel est calculable si on peut en calculer une approximation aussi précise que l'on veut, avec une précision connue. (fr)
- Inom matematik och beräkningsteori är ett beräkningsbart tal ett reellt tal som kan beräknas med en ändlig algoritm. Närmare bestämt är ett tal a beräkningsbart om det finns ett program som, givet ett godtyckligt noggrannhetskrav ε > 0 som indata, matar ut ett rationellt tal r för vilket Alla beräkningsbara tal är , men omvändningen gäller inte. Ett exempel på ett definierbart men oberäkningsbart tal är Chaitins konstant. (sv)
- В математике вычислимое (или рекурсивное) число — это число, которое может быть вычислено с любой заданной точностью с помощью алгоритма (для комплексных чисел должны быть вычислимы и действительная, и мнимая части). Число, не являющееся вычислимым, называется невычислимым (примером невычислимого числа является константа Хайтина в проблеме остановки). Множество всех вычислимых чисел является счётным множеством, а множество всех невычислимых чисел — несчётным. Множество всех вычислимых чисел (равно как и множество всех невычислимых чисел) плотно в и в (ru)
|