# Computable number

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2017

2017

- Artificial Intelligence and Law
- 2017

This paper explores the question of whether or not the law is a computable number in the sense described by Alan Turing in his… (More)

Is this relevant?

2010

2010

- IEEE International Conference on Systems, Man and…
- 2010

Algorithm of grey numbers and grey algebraic system is the theoretical basis of grey system theory. It is possessed of very… (More)

Is this relevant?

2008

2008

- SIAM J. Comput.
- 2008

The Graph Theorem of classical recursion theory states that a total function on the natural numbers is computable, if and only if… (More)

Is this relevant?

2008

2008

- 2008

We derive an expression for the value ζQ(3) of the spectral zeta function ζQ(s) studied in [10, 11] for the non-commutative… (More)

Is this relevant?

2000

2000

- J. Complexity
- 2000

A real number x is recursively approximable if it is a limit of a computable sequence of rational numbers. If, moreover, the… (More)

Is this relevant?

Highly Cited

2000

Highly Cited

2000

- IEEE Conference on Computational Complexity
- 2000

In analogy of classical Kolmogorov complexity we develop a theory of the algorithmic information in bits contained in any one of… (More)

Is this relevant?

Highly Cited

1997

Highly Cited

1997

- 1997

We report on implementation and performance of the program IMD, designed for short range molecular dynamics simulations on… (More)

Is this relevant?

1968

1968

- J. ACM
- 1968

It is well known that real variable analysis is nonconstructive. For example, although it is asserted that every bounded monotone… (More)

Is this relevant?

1947

1947

- J. Symb. Log.
- 1947

Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org… (More)

Is this relevant?

Highly Cited

1937

Highly Cited

1937

- 1937

The "computable" numbers may be described briefly as the real numbers whose expressions as a decimal are calculable by finite… (More)

Is this relevant?