Computability and Randomness

Informationen zum Autor André Nies received his PhD in Mathematics form the University of Heidelberg, Germany, in 1992. From 1994 to 1995 he was a Visiting Professor at the University of Wisconsin at Madison and Cornell. In 1995 he took the post of Assistant Professor at the University of Chicago. Since 2002 he has been Senior Lecturer in the Department of Computer Science, University of Aukland. Klappentext The interplay between computability and randomness has been an active area of research in recent years! reflected by ample funding in the USA! numerous workshops! and publications on the subject. The complexity and the randomness aspect of a set of natural numbers are closely related. Traditionally! computability theory is concerned with the complexity aspect. However! computability theoretic tools can also be used to introduce mathematical counterparts for the intuitive notion of randomness of a set. Recent research shows that! conversely! concepts and methods originating from randomness enrich computability theory. Covering the basics as well as recent research results! this book provides a very readable introduction to the exciting interface of computability and randomness for graduates and researchers in computability theory! theoretical computer science! and measure theory. Zusammenfassung A monograph on the interface of computational complexity and randomness of sets of natural numbers.

Dettagli sul prodotto

• Autori: Andre Nies, André Nies
• Editore: Oxford University Press
• Lingue: Inglese
• Formato: Copertina rigida
• Pubblicazione: 15.01.2009
• EAN: 9780199230761
• ISBN: 978-0-19-923076-1
• Pagine: 456
• Dimensioni: 162 mm x 240 mm x 27 mm
• Serie: Oxford Logic Guides; Oxford Logic Guides
• Categorie: Saggistica; Scienze naturali, medicina, informatica, tecnica > Matematica > Tematiche generali, enciclopedie; MATHEMATICS / History & Philosophy, MATHEMATICS / Logic, COMPUTERS / Logic Design, MATHEMATICS / Discrete Mathematics, Philosophy of Mathematics, Maths for computer scientists, Mathematical logic, Computer architecture & logic design, COMPUTERS / Computer Architecture, Computer architecture and logic design