[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiomdeveloper] [RealNumbers]
From: 
billpage 
Subject: 
[Axiomdeveloper] [RealNumbers] 
Date: 
Tue, 14 Jun 2005 23:36:03 0500 
Changes http://page.axiomdeveloper.org/zope/mathaction/RealNumbers/diff

??changed:

Computable Numbers
In mathematics, theoretical computer science and mathematical logic,
the computable numbers, also known as the recursive numbers, are the
subset of the real numbers consisting of the numbers which can be
computed by a finite, terminating algorithm. They can be defined
equivalently using the axioms of recursive functions, Turing machines
or lambdacalculus. In contrast, the reals require the more powerful
axioms of ZermeloFraenkel set theory. The computable numbers form a
real closed field and can be used in the place of real numbers for some,
but by no means all, mathematical purposes.
See: http://encyclopedia.laborlawtalk.com/Computable_number

forwarded from http://page.axiomdeveloper.org/zope/mathaction/address@hidden