Title: Gödel 96 : Logical Foundations of Mathematics, Computer Science, and Physics