Ohad Shamir, Sivan Sabato, et al.
Theoretical Computer Science
Paper
How to run algorithmic information theory on a computer: Studying the limits of mathematical reasoning
Abstract
No abstract available.
Related
Apostol Natsev, Alexander Haubold, et al.
MMSP 2007
A. Gupta, R. Gross, et al.
SPIE Advances in Semiconductors and Superconductors 1990
Gal Badishi, Idit Keidar, et al.
IEEE TDSC