Chaitin complexity means a new information theory, it entails randomness in mathematics, it provides us with a crazy number, Omega, encompassing all of fundamental randomness. Among our guest lecturers, Gregory Chaitin gave five talks on his new version of algorithmic information theory (AIT) using Lisp, and its meta-mathematical consequences, and George Markowsky showed us in a three-talks-long-one-man-show how to present AIT in an introductory way, using Logo! Douglas Bridges presented a very nice survey of varieties of constructive mathematics. Karl Svozil, our specialist in quantum mechanics, proposed a way to study quantum information theory and computing, and gave new ideas on AIT in physics. Helmut Jürgensen presented three talks on mathematical foundations of cryptography, pointing out some gaps in well-known papers. We had also single talks on various interesting topics: Doru Stefanescu told us about randomness in polynomials, George Stefan (with Mihaela Malita and their students) showed an implementation of Chaitin's Toy-Lisp on a new model of parallel memory automaton, and Cris presented a joint work with Helmut on randomness-preserving transformations. We had a special guest, Françoise Chatelin, Greg's wife, who gave us a very nice talk about numerical analysis, a discipline where more-than-constructive mathematics are needed. Two round tables permitted people to share or to fight against each other's impressions: Is mathematics quasi-empirical?, chaired by Greg, and Set theory and physics, chaired by Karl. Finally, the last rendez-vous was a jump to the future: Open problems session, chaired by Cris.
|
|
F. Geurts Université Catholique de Louvain Louvain-la-Neuve, Belgium gf@info.ucl.ac.be |
D. S. Bridges
University of Waikato, New Zealand
G. J. Chaitin (Key-Note Lecturer)
IBM Thomas J. Watson Research Center, United States
H. Jurgensen
University of Western Ontario, Canada
G. Markowsky
University of Maine, United States
K. Svozil
Technical University of Vienna, Austria
C. Calude
University of Auckland, New Zealand
Mihaela Malita
Bucharest University, Romania
G. Stefan
Polytechnical University of Bucharest, Romania
D. Stefanescu
Bucharest University, Romania
Monica Tatarâm
Bucharest University, Romania
9.00 am - 10.30 am G. Markowsky: An Introduction to AIT (1)
11.00 am - 12.30 pm G. Markowsky: An Introduction to AIT (2)
3.00 pm - 4.30 pm G. Markowsky: An Introduction to AIT (3)
9.00 am - 10.30 am G. Chaitin: A New Version of AIT (1)
11.00 am - 12.30 pm G. Chaitin: A New Version of AIT (2)
3.00 pm - 4.30 pm G. Chaitin: A New Version of AIT (3)
9.00 am - 10.30 am G. Chaitin: A New Version of AIT (4)
11.00 am - 12.30 pm G. Chaitin: A New Version of AIT (5)
3.00 pm - 4.30 pm G. Chaitin: A New Version of AIT (6)
9.00 am - 10.30 am D. Bridges: Constructive Mathematics (1)
11.00 am - 12.30 pm D. Bridges: Constructive Mathematics (2)
3.00 pm - 4.30 pm D. Bridges: Constructive Mathematics (3)
9.00 am - 10.30 am D. Bridges: Constructive Mathematics (4)
11.00 am - 12.30 pm Round Table: Is Mathematics Quasi-empirical?
Chair: G. Chaitin
3.00 pm - 4.30 pm Round Table: What Is Constructive Mathematics and Why Should Anyone Interested in It?
Chair: D. Bridges
9.00 am - 10.30 am K. Svozil: A Brief Introduction to Quantum Mechanics
11.00 am - 12.30 pm K. Svozil: Quantum Information and Computing
3.00 pm - 4.30 pm K. Svozil: AIT and Physics
9.00 am - 10.30 am H. Jürgensen: Mathematical Foundations of Cryptography (1)
11.00 am - 12.30 pm H. Jürgensen: Mathematical Foundations of Cryptography (2)
3.00 pm - 4.30 pm H. Jürgensen: Mathematical Foundations of Cryptography (3)
9.00 am - 10.30 am Mihaela Malita, G. Stefan: Chaitin's Toy-Lisp on Connex Memory Automation.
11.00 am - 12.30 pm D. Stefanescu: Polynomials and Randomness
3.00 pm - 4.30 pm C. Calude, H. Jürgensen: Randomness-Preserving Transformations
9.00 am - 10.30 am Set Theory and Physics
Chair: K. Svozil
11.00 am - 12.30 pm Françoise Chatelin: Is Finite Precision Useful in Physics?
3.00 pm - 4.30 pm Round Table: Open Problems Session
Chair: C. Calude