Professor Katalin Bimbo invited to celebrate Australia's Southern Summer Logic Day

Professor Katalin Bimbo

Professor Katalin Bimbo gave a talk on "Searching for proofs - a bit of history"  to the Australian Association for Logic's Southern Summer Logic Day, on Thursday, January 11th. The event was a celebration of UNESCO's World Logic Day. 

UNESCO, in association with the International Council for Philosophy and Human Sciences (CIPSH), created World Logic Day "to bring the intellectual history, conceptual significance and practical implications of logic to the attention of interdisciplinary science communities and the broader public" (UNESCO). January 14th was selected as a significant date in the lives of both Kurt Gödel and Alfred Tarski, important logicians in the last century (CIPSH). For more on World Logic Day and other celebratory events, click here.