Title :

Theoretical Computer Science: Computability, Decidability and Logic

Author(s) :

Bournez, Olivier [Auteur]
Laboratoire d'informatique de l'École polytechnique [Palaiseau] [LIX]
Dowek, Gilles [Auteur]
Deduction modulo, interopérabilité et démonstration automatique [DEDUCTEAM]
Gilleron, Rémi [Auteur]
Machine Learning in Information Networks [MAGNET]
Grigorieff, Serge [Auteur]
Institut de Recherche en Informatique Fondamentale [IRIF (UMR_8243)]
Marion, Jean-Yves [Auteur]
Carbone [CARBONE]
Perdrix, Simon [Auteur]
Designing the Future of Computational Models [MOCQUA]
TISON, SOPHIE [Auteur]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]

Book title :

A Guided Tour of Artificial Intelligence Research - Volume III: Interfaces and Applications of Artificial Intelligence (10.1007/978-3-030-06170-8)

Publisher :

Springer International Publishing

Publication place :

Cham

Publication date :

2020

HAL domain(s) :

Informatique [cs]

English abstract : [en]

This chapter deals with a question in the very core of IA: what can be computed by a machine? An agreement has been reached on the answer brought by Alan Turing in 1936. Indeed, all other proposed approaches have led to ...
Show more >This chapter deals with a question in the very core of IA: what can be computed by a machine? An agreement has been reached on the answer brought by Alan Turing in 1936. Indeed, all other proposed approaches have led to exactly the same answer. Thus, there is a mathematical model of what can be done by a machine. And this has allowed to prove surprising results which feed the reflection on intelligence and machines.Show less >

Language :

Anglais

Audience :

Internationale

Popular science :

Non

Collections :

• Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189

Source :

Harvested from HAL