|
DBLP: Gregory J. Chaitin11, Gregory J. Chaitin: The Limits of Mathematics - Course Outline and Software (Abstract). ... 6, John Cocke, [8]. 7, Martin E. Hopkins, [8] ...
http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Chaitin:Gregory_J=.html |