Accueil / flux-evenements / Ada and Computation

Ada and Computation

28 jan 2016 10:30 - 12:00
Amphi Turing
Bâtiment Sophie Germain
Université Paris-Diderot
8 place Aurélie Nemours
75013 Paris
FacebookTwitter

Intervention à l'occasion de la session inaugurale du séminaire du Laboratoire IRIF.

Abstract

Ada Lovelace (born 200 years ago) wrote presciently about digital numerical calculations. She expressed its features poetically: "We may say most aptly that [Babbage's] Analytical Engine weaves algebraical patterns just as the Jacquard loom weaves flowers and leaves." Ada explained the generality of digital computation, saying that "the engine can arrange and combine its numerical quantities exactly as if they were letters or any other general symbols." We will discuss some of the expected and unexpected consequences of alternate representations of computational data. On the other hand, Ada wrote that "the  engine [is] the material expression of any indefinite function of any degree of generality and complexity. "This we now know was overstating her case. We will discuss the formalization of the notion of effective computation and its consequences vis-a-vis computability and complexity of computation.

 

Machine Learning Tools for Historical Documents
01 octobre 2015 - 30 juin 2016
30 juin 2016
485
28 Jan 2016 12:00
Nachum Dershowitz
Non
2504
Conférences, interventions et entretiens
Paris
Époque contemporaine (1789-...)
Monde ou sans région
Humanités numériques