Algorithmic randomness : progress and prospects / edited by Johanna N.Y. Franklin, Christopher P. Porter.

Format:

Book

Contributor:

Franklin, Johanna N.Y., 1979- editor.

Porter, Christopher (Christopher P.), editor.

Cambridge University Press.

Series:

Lecture notes in logic ; 10.

Lecture notes in logic ; 10

Language:

English

Subjects (All):

Computational complexity.

Physical Description:

1 online resource (x, 359 pages) : illustrations.

Place of Publication:

Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2020.

[Place of publication not identified] : [publisher not identified], [2020]

System Details:

text file

Contents:

Key developments in algorithmic randomness / Johanna N.Y. Franklin and Christopher P. Porter

Algorithmic randomness in ergodic theory / Henry Towsner

Algorithmic randomness and constructive/computable measure theory / Jason Rute

Algorithmic randomness and layerwise computability / Mathieu Hoyrup

Relativization in randomness / Johanna N.Y. Franklin

Aspects of Chaitin's Omega / George Barmpalias

Biased algorithmic randomness / Christopher P. Porter

Higher randomness / Benoit Monin

Resource bounded randomness and its applications / Donald M. Stull.

Notes:

Includes bibliographical references and index.

Electronic reproduction. Cambridge Available via World Wide Web.

Description based on print version record.

ISBN:

9781108781718

1108781713

Publisher Number:

99987466286

Access Restriction:

Restricted for use by site license.