Tribute to Kurt Gödel 2020