Théories et modèles en logique du premier ordre. Exemples II
Théories et modèles en logique du premier ordre.
Exemples II
0. Résumé des épisodes précédents
Une fusée à deux étages :
logique (⇒,∀, ...)
théorie (=,+,×,∈, ...)
Cohérence / contradiction
Complétude / incomplétude
Décidabilité / indécidabilité
Exemples de théories : =,PA, ...
Aujourd’hui :PA indécidable, incomplète, des théories décidables
I. Indécidabilité de l’arithmétique
Il n’existe pas d’algorithme qui décide si une proposition est
démontrable dans l’arithmétique
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
1
/
41
100%
