playground:futur [Sophie Germain-Informatique]

Cette page est en lecture seule. Vous pouvez afficher le texte source, mais ne pourrez pas le modifier. Contactez votre administrateur si vous pensez qu'il s'agit d'une erreur.

<accordion>
<panel title="Nachum Dershowitz (Tel Aviv University): Ada and Computation" subtitle="lundi 28 mars 2016 · 10h30 · Amphi Turing">
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.
</panel>
</accordion>