fondements des mathématiques Flashcards

(14 cards)

1
Q

1- Énoncer les éléments problématiques menant à la crise des fondements des mathématiques

A

Nombres irrationnels
Nombres imaginaires
Axiomes
Infini
Théories des ensembles et ses paradoxes

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

nombres irrationnels

A
  • montre commesurabilité est fausse
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

nombres imaginaires

A
  • étudier nouvel ensemble de nombres
  • manque de compréhension = pas vouloir l’étudier
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

axiomes

A
  • incertains et incomplets
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

infini

A
  • contredit euclide
  • pas claire
  • montrer dans les paradoxes de Zénon
  • Aristote supporte infini potentiel
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

Cohèrence

A

système est cohérent = aucune contradiction ne peut être démontrée à partir de ses axiomes.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

Complètude

A

Un système est complet si toute proposition vraie dans ce système peut être démontrée à partir de ses axiomes

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

Géo euclidienne

A

longtemps considéré comme cohérente et complète, jusqu’à découverte de modifier 5e axiome.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

Géo non-euclidienne

A

géo alternatives cohérentes (ex : hyperbolique et elliptique) existe si modifier 5e axiome

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

-Arithmétique

A

puissant pour exprimer des calculs complexes, mais c’est justement là que les limites mises en lumière par Gödel s’appliquent

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

Complétude de Godel

A

énoncé est vrai = existe démonstration formelle de l’énoncé avec axiomes du système

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

Incomplétude de Godel

A

Un tel système ne peut pas démontrer sa propre cohérence à partir de ses propres axiomes

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

Décrire la sortie de crise

A
  • Axiomatisation → nouvelle théorie des ensembles + définitions infinies + formalisation des quantités infiniment petite
  • Gödel pose des limites
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

Théories des ensembles et ses paradoxes

A
  • ∅ solution parfaites (contient paradoxes)
  • Ex: paradoxes et théories de Russel et Cantor
How well did you know this?
1
Not at all
2
3
4
5
Perfectly