عنوان

Computability in context :

Terms of Availability and/or Price

(hardcover : alk. paper)

Terms of Availability and/or Price

(hardcover : alk. paper)

(Number (ISBN

1848162456

(Number (ISBN

9781848162457

Number

dltt

Title Proper

Computability in context :

General Material Designation

[Book]

Other Title Information

computation and logic in the real world /

First Statement of Responsibility

editors, S. Barry Cooper, Andrea Sorbi

Place of Publication, Distribution, etc.

Hackensack, NJ :

Name of Publisher, Distributor, etc.

Distributed by World Scientific,

Date of Publication, Distribution, etc.

c2011

Specific Material Designation and Extent of Item

viii, 410 p. :

Other Physical Details

ill. ;

Dimensions

24 cm

Text of Note

Includes bibliographical references

Text of Note

1. Computation, information, and the arrow of time / P. Adriaans & P. van Emde Boas -- 2. The isomorphism conjecture for NP / M. Agrawal -- 3. The Ershov hierarchy / M. M. Arslanov -- 4. Complexity and approximation in reoptimization / G. Ausiello, V. Bonmifaci, & B. Escoffier -- 5. Definability in the real universe / S. B. Cooper -- 6. HF-computability / Y. L. Ershov, V. G. Puzarenko, & A. I. Stukachev -- 7. The mathematics of computing between logic and physics / G. Longo & T. Paul -- 8. Liquid state machines : motivation, theory, and applications / W. Maass -- 9. Experiments on an internal approach to typed algorithms in analysis / D. Normann -- 10. Recursive functions : an archeological look / P. Odifreddi -- 11. Reverse mathematics and well-ordering principles / M. Rathjen & A. Weiermann -- 12. Discrete transfinite computation models / P. D. Welch

0

Computable functions

Computational intelligence

Mathematics-- Philosophy

Set theory

Class number

Book number

Cooper, S. B., (S. Barry)

Sorbi, Andrea,1956-

Date of Transaction

20130613152320.0

Electronic name

[Book]

Y