"Dieu a choisi celuy qui est... le plus simple en hypotheses et le plus riche en phenomenes" [God has chosen that which is the most simple in hypotheses and the most rich in phenomena] "Mais quand une regle est fort composée, ce qui luy est conforme, passe pour irrégulier" [But when a rule is extremely complex, that which conforms to it passes for random] --- Leibniz, Discours de métaphysique, VI, 1686 [The Discours is also available online from Gallica; see pp. 32, 33 for the above texts.]

G J Chaitin Home Page

This website contains Greek letters and other mathematical symbols. If "Ω" isn't a capital Greek letter Omega, you should switch to another browser, for example, MS IE or Mozilla Firefox.

This website contains most of Chaitin's published papers, many book chapters, and the LISP, Java, C, and Mathematica software for Chaitin's Springer-Verlag trilogy. It also contains interviews and reviews of Chaitin's books.

E-mail: chaitin@us.ibm.com Website: http://www.umcs.maine.edu/~chaitin Mirror: http://www.cs.auckland.ac.nz/~chaitin Phone: 914/945-2785 Fax: 914/945-4506 Mailing address: IBM Research, P O Box 218 Yorktown Heights, NY 10598, USA Shipping address: IBM T J Watson Research Center 1101 Kitchawan Road, Route 134 Yorktown Heights, NY 10598, USA

Contents • Latest News     • Recent Books     • LISP Applet • Books with LISP Software     • Collections of Interviews • Essays on Leibniz & Other Popular Articles • Photo Gallery     • Short Autobiographical Essay • Research Time-Line     • List of Publications • Computing Lower Bounds on Ω     • Explanation • Diophantine Equation for Bits of Ω     • Explanation

• An algebraic characterization of the halting probability [technical paper]

• Enriques lecture by Chaitin at Math Dept, University of Milan [survey]

     

Medallion commemorating Leibniz's discovery of binary arithmetic:

Sans les mathématiques on ne pénètre point au fond de la philosophie. Sans la philosophie on ne pénètre point au fond des mathématiques. Sans les deux on ne pénètre au fond de rien. --- Leibniz [Without mathematics we cannot penetrate deeply into philosophy. Without philosophy we cannot penetrate deeply into mathematics. Without both we cannot penetrate deeply into anything.]