Professor Emeritus

School of Computer Science
Tel-Aviv University
Tel-Aviv, Israel

Email: aa-@-tauex-dot-tau-dot-ac-dot-il
phone: +972 3 6406352

Professional interests

1. Foundations and Philosophy of Mathematics
2. Applications of Logic in Computer Science and Artificial Intelligence
3. Automated Reasoning
4. Non-Classical Logics
5. Proof Theory

General interests

1. History
2. Tanakh (Old Testimony)
3. Philosophy
4. Mythology
5. Children Literature
6. Geometry

Curriculum Vitae

List of Publications

Poincar\'e-Weyl's Predicativity: Going Beyond \Gamma_0