Séminaire
|
Date : 26 octobre 2023 14:00 - Salle :Amphi 2 - Pôle commun
From Hilbert to Turing and BeyondLeopoldo BERTOSSI - SKEMA Business School Canada and Carleton University, Ottawa, Canada |
In this presentation we show how problems, in Logic and otherwise, posed by the most famous Mathematician of the early 20th Century, David Hilbert, gave rise to- and influenced the development of Computer Science, mainly through the work by the Logicians Alan Turing and Alonso Church.
https://scholar.google.at/citations?user=TeBUgNcAAAAJ&hl=en