Gilles Geeraerts revient pour continuer à nous conter l'histoire de l'informatique avec quelques anecdotes par-ci par-là !
suite de la présentation de décembre 2024
Dans les années 30, Alan Turing a proposé son modèle de calcul, appelé désormais « Machine de Turing », qui a fait définitivement entrer la notion d’algorithme dans le champs des mathématiques. Nous allons présenter ce modèle, ainsi que la notion d’indécidabilité : l’absence d’algorithmes pour certains problèmes naturels. Nous définirons également la fonction du « castor affairé » (« Busy beaver ») proposée par Tibor Radó dans les années 60. Cette fonction met en évidence certains phénomènes d’indécidabilité déconcertants, et a fait l’objet de progrès récents. La valeur de la fonction en n=5, en particulier, a été trouvée l’été dernier, dans le cadre d’une collaboration internationale.
In the 1930s, Alan Turing proposed his model of computation, now called the ‘Turing Machine’, which definitively brought the notion of algorithm into the field of mathematics. We will present this model, as well as the notion of undecidability: the lack of algorithms for certain natural problems. We will also define the ‘Busy Beaver’ function, proposed by Tibor Radó in the 1960s. This function highlights some disconcerting phenomena of undecidability and has been the subject of recent progress. The value of the function for n = 5, in particular, was found last summer as part of an international collaboration.
Beaucoup d'entre nous utilisons des cartes interactives telles que OSMand, Google Maps, Waze, Maps et autres pour nous orienter en ville ou en pleine campagne. Mais vous êtes-vous déjà demandé comment il était possible d'obtenir une telle précision, que ce soit en ville, en pleine campagne ou même en mer ? Certains pourraient dire que le GNSS (Global Navigation Satellite System) n'est qu'une série de satellites tournant autour de la Terre et permettant de connaître notre position. Certes, c'est le cas, mais ils nous permettent de connaître bien plus que notre position. Durant cette présentation, nous verrons comment ce système fonctionne, son historique et ses applications.
🗣️ Nous recherchons constamment des nouveaux speakers ! Étudiant•e•s, personnes extérieures, enseignant•e•s ou doctorant•e•s, tout le monde est le•a bienvenu•e.
📝 N'hésitez pas à compléter le formulaire. Si vous souhaitez avoir plus d'informations vous pouvez contacter : juliette.cornu@ulb.be (responsable intervenants smart monday).
🛜 On a un channel sur le discord du CerkInfo. N'hésitez pas à join, posez vos questions et suivre les annonces en lien avec l'URLab ou le smart monday 💜
annoncé ultérieurement
