About: Computable number     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : dbo:Plant, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/c/8cz5wNih7y

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.

AttributesValues
rdf:type
rdfs:label
  • أعداد قابلة للحساب (ar)
  • Nombre computable (ca)
  • Berechenbare Zahl (de)
  • Número computable (es)
  • Computable number (en)
  • Nombre réel calculable (fr)
  • 계산 가능한 수 (ko)
  • 計算可能数 (ja)
  • Número computável (pt)
  • Вычислимое число (ru)
  • Beräkningsbart tal (sv)
  • 可計算數 (zh)
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)
foaf:depiction
  • http://commons.wikimedia.org/wiki/Special:FilePath/10,000_digits_of_pi_-_poster.svg
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Link from a Wikipage to an external page
Faceted Search & Find service v1.17_git147 as of Sep 06 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3331 as of Sep 2 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 72 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software