Lung function measurement by optical contouring
A.R. Gourlay, G. Kaye, et al.
Proceedings of SPIE 1989
We propose an improved definition of the complexity of a formal axiomatic system: this is now taken to be the minimum size of a self-delimiting program for enumerating the set of theorems of the formal system. Using this new definition, we show (a) that no formal system of complexity n can exhibit a specific object with complexity greater than n+c, and (b) that a formal system of complexity n can determine, at most, n + c scattered bits of the halting probability ω. We also present a short, self-contained proof of (b). © 1992.
A.R. Gourlay, G. Kaye, et al.
Proceedings of SPIE 1989
Juliann Opitz, Robert D. Allen, et al.
Microlithography 1998
A. Grill, B.S. Meyerson, et al.
Proceedings of SPIE 1989
William Hinsberg, Joy Cheng, et al.
SPIE Advanced Lithography 2010