Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,216,781 papers from all fields of science
Search
Sign In
Create Free Account
Computable number
Known as:
Non-computable number
, Uncomputable number
, Uncomputable numbers
Expand
In mathematics, computable numbers are the real numbers that can be computed to within any desired precision by a finite, terminating algorithm. They…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
22 relations
Algorithm
Arbitrary-precision arithmetic
Arithmetical set
Chaitin's constant
Expand
Broader (2)
Computability theory
Theory of computation
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
CS3110 Spring 2017 Lecture 15: Constructive Synthetic Geometry
R. Constable
2017
Corpus ID: 51836762
In the current problem set we are investigating two problems in computational geometry using concepts from our study of the…
Expand
2014
2014
Does Human Capital of Entrepreneurs Matter to Survive? New Evidence from French Microdata
Gregory Cauchie
2014
Corpus ID: 166851477
Although the survival literature in entrepreneurship is well developed, results are not clear-cut. Moreover, few studies are…
Expand
2012
2012
ENTROPIES REALIZABLE BY BLOCK GLUING
Michael Schraudner
2012
Corpus ID: 23529670
In [9], Hochman and Meyerovitch gave a complete characterization of the set of topological entropies of Zd shifts of finite type…
Expand
2011
2011
Konrad Zuse, Erfinder des Computers – im Vergleich mit Alan Turing und John v. Neumann
H. Liebig
Informatik-Spektrum
2011
Corpus ID: 39348985
Einführung Zum Thema Konrad Zuse, Erfinder des Computers ist viel geschrieben worden, insbesondere unter Heranziehung…
Expand
Review
2011
Review
2011
Evidence Semantics and Refinement Rules for First-Order Logics : Minimal , Intuitionistic , and Classical
R. Constable
2011
Corpus ID: 10630555
This document provides a computational semantics for three versions of First-Order Logic (FOL): minimal, intuitionistic, and…
Expand
2010
2010
Theoretical and experimental study of a new algorithm for factoring numbers
V. Tamma
2010
Corpus ID: 118225653
2003
2003
Does Language Affect the Processing of Numbers? Evidence from Chinese and English Numbers
Di Wu
2003
Corpus ID: 60890525
1999
1999
Managing Large Projects with PreT E X: A Preprocessor for TEX
R. Kruse
1999
Corpus ID: 15488024
PreTEX is a preprocessor for TEX that supplies an author with many tools to simplify the writing and management of larger (book…
Expand
1991
1991
Hercules versus Hidden Hydra Helper
J. Matoušek
,
M. Loebl
1991
Corpus ID: 754625
L. Kirby and J. Paris introduced the Hercules and Hydra game on rooted trees as a natural example of an undecidable statement in…
Expand
1983
1983
F-computable numbers
J. Krempa
,
A. Pettorossi
,
A. Skowron
1983
Corpus ID: 125842955