Les démonstrations et les algorithmes - Introduction à la...

Main
Mathematics - Logic
Les démonstrations et les algorithmes -...

Les démonstrations et les algorithmes - Introduction à la logique et à la calculabilité

Name: Les démonstrations et les algorithmes - Introduction à la logique et à la calculabilité
ISBN: 9782730215695

Gilles Dowek

0 / 0

0 comments

Quanto ti piace questo libro?

Qual è la qualità del file?

Scarica il libro per la valutazione della qualità

Qual è la qualità dei file scaricati?

Tour à tour branche de la philosophie, des mathématiques et de l'informatique, la logique a pour objet d'étude les méthodes qui permettent d'établir qu'un énoncé est vrai, tels le raisonnement et le calcul.Ce livre est une introduction aux concepts fondamentaux de la logique contemporaine - ceux de démonstration, de fonction calculable, de modèle et d'ensemble. Il présente une série de résultats tant négatifs que positifs - le théorème d'indécidabilité de Church, le théorème d'incomplétude de Gödel, le théorème de semi-décidabilité de la démontrabilité, ... - qui ont profondément changé notre conception du raisonnement, du calcul et, finalement, de la vérité elle-même.

Categorie:

Mathematics - Logic

Anno:

2010

Casa editrice:

Ecole Polytechnique

Lingua:

french

Pagine:

193

ISBN 10:

2730215697