In one month exactly, January 14, 2025, it will be the World Logic Day. About the history of the WLD, see: Kurt Gödel: Deceased on the World Logic Day ! https://sites.google.com/view/kg-wld-2024/ Everybody is welcome to organize a celebration JYB