Théorie mathématique de l infini
|
|
- Dominique Pinard
- il y a 7 ans
- Total affichages :
Transcription
1 Théorie mathématique de l infini Boban Velickovic Equipe de Logique Université de Paris Diderot Horizon Maths EADS, 29 novembre 2010
2 Outline 1 Introduction 2 Une brève histoire de l infini 3 Travaux de Cantor 4 Problèmes indécidables
3 Outline 1 Introduction 2 Une brève histoire de l infini 3 Travaux de Cantor 4 Problèmes indécidables
4 Introduction L infini : sans conteste l une des notions les plus etranges, les plus fécondes voire les plus dangereuses que l humanité ait inventée. Dès l Antiquité, les philosophes ont vu qu en surgissaient d étranges paradoxes. Les cosmologistes aussi s interrogent sur l Univers, en particulier depuis la théorie de la relativité. L Univers est-il fini ou infini? Va-t-il durer infiniment? Les artistes y voyaient une source d inspiration inépuisable. Les théologiens y voyaient un attribut de Dieu et interdisaient même d en parler.
5 Introduction L infini : sans conteste l une des notions les plus etranges, les plus fécondes voire les plus dangereuses que l humanité ait inventée. Dès l Antiquité, les philosophes ont vu qu en surgissaient d étranges paradoxes. Les cosmologistes aussi s interrogent sur l Univers, en particulier depuis la théorie de la relativité. L Univers est-il fini ou infini? Va-t-il durer infiniment? Les artistes y voyaient une source d inspiration inépuisable. Les théologiens y voyaient un attribut de Dieu et interdisaient même d en parler.
6 Introduction L infini : sans conteste l une des notions les plus etranges, les plus fécondes voire les plus dangereuses que l humanité ait inventée. Dès l Antiquité, les philosophes ont vu qu en surgissaient d étranges paradoxes. Les cosmologistes aussi s interrogent sur l Univers, en particulier depuis la théorie de la relativité. L Univers est-il fini ou infini? Va-t-il durer infiniment? Les artistes y voyaient une source d inspiration inépuisable. Les théologiens y voyaient un attribut de Dieu et interdisaient même d en parler.
7 Introduction L infini : sans conteste l une des notions les plus etranges, les plus fécondes voire les plus dangereuses que l humanité ait inventée. Dès l Antiquité, les philosophes ont vu qu en surgissaient d étranges paradoxes. Les cosmologistes aussi s interrogent sur l Univers, en particulier depuis la théorie de la relativité. L Univers est-il fini ou infini? Va-t-il durer infiniment? Les artistes y voyaient une source d inspiration inépuisable. Les théologiens y voyaient un attribut de Dieu et interdisaient même d en parler.
8 Introduction L infini : sans conteste l une des notions les plus etranges, les plus fécondes voire les plus dangereuses que l humanité ait inventée. Dès l Antiquité, les philosophes ont vu qu en surgissaient d étranges paradoxes. Les cosmologistes aussi s interrogent sur l Univers, en particulier depuis la théorie de la relativité. L Univers est-il fini ou infini? Va-t-il durer infiniment? Les artistes y voyaient une source d inspiration inépuisable. Les théologiens y voyaient un attribut de Dieu et interdisaient même d en parler.
9 De nombreux mathématiciens refusaient d admettre l existence de l infini en mathématiques. Les développements récents leur donnent tort. Même si l on s intéresse aux objets finis, c-à-d nombres entiers, pour résoudre certaines questions on est obligé de se tourner vers l infini. L infini déchaine toutes les passions, querelles voire guerres fratricides entre les mathématiciens. Parfois, il mène à la folie ses propres inventeurs.
10 De nombreux mathématiciens refusaient d admettre l existence de l infini en mathématiques. Les développements récents leur donnent tort. Même si l on s intéresse aux objets finis, c-à-d nombres entiers, pour résoudre certaines questions on est obligé de se tourner vers l infini. L infini déchaine toutes les passions, querelles voire guerres fratricides entre les mathématiciens. Parfois, il mène à la folie ses propres inventeurs.
11 Outline 1 Introduction 2 Une brève histoire de l infini 3 Travaux de Cantor 4 Problèmes indécidables
12 Une brève histoire de l infini Zenon de l Elée (né vers -495, et mort vers 430 av. J.-C.), disciple de Parménides. Posa une série de paradoxes concernant le mouvement et la nature de l infini.
13 Paradoxe d Achille et de la tortue La course entre Achille et la tortue. La tortue part avec 1km d avance. Achille court 10 fois plus vite que la tortue. Au moment où Achille atteint le point où elle se trouvait, la tortue a fait du chemin. Chaque fois que Achille passe par le point où se trouvait la tortue celle-ci, pendant ce temps, progresse... Achille ne rattrapera jamais la tortue!
14 Paradoxe d Achille et de la tortue La course entre Achille et la tortue. La tortue part avec 1km d avance. Achille court 10 fois plus vite que la tortue. Au moment où Achille atteint le point où elle se trouvait, la tortue a fait du chemin. Chaque fois que Achille passe par le point où se trouvait la tortue celle-ci, pendant ce temps, progresse... Achille ne rattrapera jamais la tortue!
15 Paradoxe d Achille et de la tortue La course entre Achille et la tortue. La tortue part avec 1km d avance. Achille court 10 fois plus vite que la tortue. Au moment où Achille atteint le point où elle se trouvait, la tortue a fait du chemin. Chaque fois que Achille passe par le point où se trouvait la tortue celle-ci, pendant ce temps, progresse... Achille ne rattrapera jamais la tortue!
16 Paradoxe d Achille et de la tortue La course entre Achille et la tortue. La tortue part avec 1km d avance. Achille court 10 fois plus vite que la tortue. Au moment où Achille atteint le point où elle se trouvait, la tortue a fait du chemin. Chaque fois que Achille passe par le point où se trouvait la tortue celle-ci, pendant ce temps, progresse... Achille ne rattrapera jamais la tortue!
17 Paradoxe d Achille et de la tortue La course entre Achille et la tortue. La tortue part avec 1km d avance. Achille court 10 fois plus vite que la tortue. Au moment où Achille atteint le point où elle se trouvait, la tortue a fait du chemin. Chaque fois que Achille passe par le point où se trouvait la tortue celle-ci, pendant ce temps, progresse... Achille ne rattrapera jamais la tortue!
18 Paradoxe d Achille et de la tortue La course entre Achille et la tortue. La tortue part avec 1km d avance. Achille court 10 fois plus vite que la tortue. Au moment où Achille atteint le point où elle se trouvait, la tortue a fait du chemin. Chaque fois que Achille passe par le point où se trouvait la tortue celle-ci, pendant ce temps, progresse... Achille ne rattrapera jamais la tortue!
19 Paradoxe d Achille et de la tortue Il a fallu environ 20 siècles à l humanité pour résoudre ce paradoxe!
20 Paradoxe d Achille et de la tortue Il a fallu environ 20 siècles à l humanité pour résoudre ce paradoxe!
21 Galileo Galilée Galilée ( ) remarqua qu il y a autant de nombres entiers que de nombres carrés car on peut les faire correspondre un à un (1 avec 1, 2 avec 4, 3 avec 9...) alors que les nombres entiers contiennent strictement les nombres carrés.
22 Galileo Galilée Galilée ( ) remarqua qu il y a autant de nombres entiers que de nombres carrés car on peut les faire correspondre un à un (1 avec 1, 2 avec 4, 3 avec 9...) alors que les nombres entiers contiennent strictement les nombres carrés.
23 Hôtel de Hilbert On imagine un hôtel ayant une infinité de chambres toutes occupées. Un client arrive ; on met le client 1 en chambre 2, le 2 en 3, etc. La chambre 1 devenue libre est donnée au nouveau client. Arrive une infinité de clients ; on met le client 1 en chambre 2, 2 en 4, 3 en 6, etc. Les chambres impaires deviennent libres pour les nouveaux venus.
24 Hôtel de Hilbert On imagine un hôtel ayant une infinité de chambres toutes occupées. Un client arrive ; on met le client 1 en chambre 2, le 2 en 3, etc. La chambre 1 devenue libre est donnée au nouveau client. Arrive une infinité de clients ; on met le client 1 en chambre 2, 2 en 4, 3 en 6, etc. Les chambres impaires deviennent libres pour les nouveaux venus.
25 Hôtel de Hilbert On imagine un hôtel ayant une infinité de chambres toutes occupées. Un client arrive ; on met le client 1 en chambre 2, le 2 en 3, etc. La chambre 1 devenue libre est donnée au nouveau client. Arrive une infinité de clients ; on met le client 1 en chambre 2, 2 en 4, 3 en 6, etc. Les chambres impaires deviennent libres pour les nouveaux venus.
26 Hôtel de Hilbert On imagine un hôtel ayant une infinité de chambres toutes occupées. Un client arrive ; on met le client 1 en chambre 2, le 2 en 3, etc. La chambre 1 devenue libre est donnée au nouveau client. Arrive une infinité de clients ; on met le client 1 en chambre 2, 2 en 4, 3 en 6, etc. Les chambres impaires deviennent libres pour les nouveaux venus.
27 Outline 1 Introduction 2 Une brève histoire de l infini 3 Travaux de Cantor 4 Problèmes indécidables
28 Travaux de Cantor Dans la deuxième partie du XIXème siècle le mathématicien allemand Georg Cantor posa les bases de la théorie des ensembles. Il définit les nombres cardinaux, les nombres ordinaux et leur arithmétique.
29 Travaux de Cantor Dans la deuxième partie du XIXème siècle le mathématicien allemand Georg Cantor posa les bases de la théorie des ensembles. Il définit les nombres cardinaux, les nombres ordinaux et leur arithmétique.
30 Les travaux de Cantor ont provoqué beaucoup de polémiques.
31 Définition Soit X et Y ensembles. On écrit X Y s il existe une injection od X dans Y. On écrit X Y s il existe une bijection entre X et Y.
32 Théorème (Cantor - Bernstein) Supposons que X Y et Y X. Alors X Y. Proposition X est infini ssi X X {x}, pour n importe quel x X. Définition X est dénombrable si X N.
33 Théorème (Cantor - Bernstein) Supposons que X Y et Y X. Alors X Y. Proposition X est infini ssi X X {x}, pour n importe quel x X. Définition X est dénombrable si X N.
34 Théorème (Cantor - Bernstein) Supposons que X Y et Y X. Alors X Y. Proposition X est infini ssi X X {x}, pour n importe quel x X. Définition X est dénombrable si X N.
35 Théorème (Cantor) L ensemble Q des rationnels est dénombrable. Démonstration.
36 Remarque De façon similaire on montre que si A n est dénombrable, pour tout n, alors n A n est dénombrable aussi. Au fait, A n A, pour tout ensemble infini A et entier n 1. Cependant, il existe des ensembles qui ne sont pas dénombrable. Théorème (Cantor) L ensemble des réels R est non dénombrable.
37 Remarque De façon similaire on montre que si A n est dénombrable, pour tout n, alors n A n est dénombrable aussi. Au fait, A n A, pour tout ensemble infini A et entier n 1. Cependant, il existe des ensembles qui ne sont pas dénombrable. Théorème (Cantor) L ensemble des réels R est non dénombrable.
38 Remarque De façon similaire on montre que si A n est dénombrable, pour tout n, alors n A n est dénombrable aussi. Au fait, A n A, pour tout ensemble infini A et entier n 1. Cependant, il existe des ensembles qui ne sont pas dénombrable. Théorème (Cantor) L ensemble des réels R est non dénombrable.
39 On en déduit que x r n, pour tout n. Donc [0, 1] n est pas dénombrable. Démonstration. On considère une partie dénombrable de [0, 1] énumérée à l aide d une suite r = (r 1, r 2, r 3,...). Chaque terme de cette suite a une écriture décimale avec une infinité de chiffres après la virgule. On construit maintenant un nombre réel x dans [0, 1] en changeant le n-ième chiffre après la virgule de r n.
40 l Ecole française Les découvertes de Cantor ont permis à trois mathématiciens français, Emile Borel, Henri Lebesgue et René Baire de développer la théorie des fonctions, notamment l intégrale de Lebesgue, qui est la base de l analyse fonctionnelle moderne.
41 Outline 1 Introduction 2 Une brève histoire de l infini 3 Travaux de Cantor 4 Problèmes indécidables
42 l Hypothèse du Continu Hypothèse du Continu (HC) Soit X un ensemble infini de réels. Alors soit X N soit X R. Cantor a travaillé sur ce problème jusqu à la fin de sa vie sans le résoudre. C était le premier problème sur la célèbre liste de 23 problèmes ouverts en mathématiques proposés par Hilbert au Congrès International de Mathématiques à Paris en 1900.
43 l Hypothèse du Continu Hypothèse du Continu (HC) Soit X un ensemble infini de réels. Alors soit X N soit X R. Cantor a travaillé sur ce problème jusqu à la fin de sa vie sans le résoudre. C était le premier problème sur la célèbre liste de 23 problèmes ouverts en mathématiques proposés par Hilbert au Congrès International de Mathématiques à Paris en 1900.
44 l Hypothèse du Continu Hypothèse du Continu (HC) Soit X un ensemble infini de réels. Alors soit X N soit X R. Cantor a travaillé sur ce problème jusqu à la fin de sa vie sans le résoudre. C était le premier problème sur la célèbre liste de 23 problèmes ouverts en mathématiques proposés par Hilbert au Congrès International de Mathématiques à Paris en 1900.
45 Crise de fondements Vers la fin du XIXe siècle et au début du XXe siècle les maths traversent une crise de fondements provoquée par la découverte de plusieurs paradoxes logiques. Paradoxe de Russell Soit X l ensembles de tous les ensembles x tel que x x. Alors X X si et seleument si X X! Paradoxe de Berry Soit n le plus petit entier naturel non descriptible par une expression de vingt mots ou moins. On vient de décrire n par une expression de moins de vingt mots!
46 Crise de fondements Vers la fin du XIXe siècle et au début du XXe siècle les maths traversent une crise de fondements provoquée par la découverte de plusieurs paradoxes logiques. Paradoxe de Russell Soit X l ensembles de tous les ensembles x tel que x x. Alors X X si et seleument si X X! Paradoxe de Berry Soit n le plus petit entier naturel non descriptible par une expression de vingt mots ou moins. On vient de décrire n par une expression de moins de vingt mots!
47 Crise de fondements Vers la fin du XIXe siècle et au début du XXe siècle les maths traversent une crise de fondements provoquée par la découverte de plusieurs paradoxes logiques. Paradoxe de Russell Soit X l ensembles de tous les ensembles x tel que x x. Alors X X si et seleument si X X! Paradoxe de Berry Soit n le plus petit entier naturel non descriptible par une expression de vingt mots ou moins. On vient de décrire n par une expression de moins de vingt mots!
48
49 Alors, les logiciens tentent de formaliser les mathématiques sur des bases solides. Parmi les systèmes proposés, la théorie de Zermelo Fraenkel avec l Axiome du Choix, ZFC, chronologiquement une des premières, reste la plus prisée au XXIe siècle. Les logiciens ont montré qu on peut développer toutes les mathématiques dans la théorie ZFC. Alors la question devient. Question La théorie ZFC décide-t-elle l Hypothèse du Continu?
50 Alors, les logiciens tentent de formaliser les mathématiques sur des bases solides. Parmi les systèmes proposés, la théorie de Zermelo Fraenkel avec l Axiome du Choix, ZFC, chronologiquement une des premières, reste la plus prisée au XXIe siècle. Les logiciens ont montré qu on peut développer toutes les mathématiques dans la théorie ZFC. Alors la question devient. Question La théorie ZFC décide-t-elle l Hypothèse du Continu?
51 Alors, les logiciens tentent de formaliser les mathématiques sur des bases solides. Parmi les systèmes proposés, la théorie de Zermelo Fraenkel avec l Axiome du Choix, ZFC, chronologiquement une des premières, reste la plus prisée au XXIe siècle. Les logiciens ont montré qu on peut développer toutes les mathématiques dans la théorie ZFC. Alors la question devient. Question La théorie ZFC décide-t-elle l Hypothèse du Continu?
52 Cohérence de l Hypothèse du Continu Théorème (Kurt Gödel, 1940) Si la théorie ZF est cohérente, alors la théorie ZFC + HC l est aussi.
53 Cohérence de l Hypothèse du Continu Théorème (Kurt Gödel, 1940) Si la théorie ZF est cohérente, alors la théorie ZFC + HC l est aussi.
54 Indépendence de l Hypothèse du Continu Théorème (Paul Cohen, 1963) Si la théorie ZF est cohérente, alors la théorie ZFC + HC l est aussi.
55 Indépendence de l Hypothèse du Continu Théorème (Paul Cohen, 1963) Si la théorie ZF est cohérente, alors la théorie ZFC + HC l est aussi.
56 La méthode de Cohen dites de forcing est particulièrement puissantes et a permis de montrer l indépendence de nombreux autres problèmes en mathématiques. La théorie ZFC est clairement insuffisante pour répondre à toutes les questions naturelles qu on peut poser. Pour rendre la situation encore plus désesperée on a un autre célèbre théorème de Gödel. Théorème (Théorème de l incompletude, Gödel, 1931) Toute théorie mathématiques T qui est cohérente, finiment présentable et suffisamment riche pour développer l arithmétique est incomplète, c-à-d : il existe un énoncé ϕ tel que T ne démontre ni ϕ ni ϕ.
57 La méthode de Cohen dites de forcing est particulièrement puissantes et a permis de montrer l indépendence de nombreux autres problèmes en mathématiques. La théorie ZFC est clairement insuffisante pour répondre à toutes les questions naturelles qu on peut poser. Pour rendre la situation encore plus désesperée on a un autre célèbre théorème de Gödel. Théorème (Théorème de l incompletude, Gödel, 1931) Toute théorie mathématiques T qui est cohérente, finiment présentable et suffisamment riche pour développer l arithmétique est incomplète, c-à-d : il existe un énoncé ϕ tel que T ne démontre ni ϕ ni ϕ.
58 La méthode de Cohen dites de forcing est particulièrement puissantes et a permis de montrer l indépendence de nombreux autres problèmes en mathématiques. La théorie ZFC est clairement insuffisante pour répondre à toutes les questions naturelles qu on peut poser. Pour rendre la situation encore plus désesperée on a un autre célèbre théorème de Gödel. Théorème (Théorème de l incompletude, Gödel, 1931) Toute théorie mathématiques T qui est cohérente, finiment présentable et suffisamment riche pour développer l arithmétique est incomplète, c-à-d : il existe un énoncé ϕ tel que T ne démontre ni ϕ ni ϕ.
59 Ordinaux Les ordinaux sont l extension naturelle des nombres entiers. Définition 1 Un bon ordre sur un ensemble X est un ordre total < sur X tel que tout sous ensembles non vide de X contienne un élément minimal. 2 Un ordinal est un ensemble α transitif (c-à-d : si x y α alors x α) bien ordonné par.
60 Ordinaux Les ordinaux sont l extension naturelle des nombres entiers. Définition 1 Un bon ordre sur un ensemble X est un ordre total < sur X tel que tout sous ensembles non vide de X contienne un élément minimal. 2 Un ordinal est un ensemble α transitif (c-à-d : si x y α alors x α) bien ordonné par.
61 Ordinaux Les ordinaux sont l extension naturelle des nombres entiers. Définition 1 Un bon ordre sur un ensemble X est un ordre total < sur X tel que tout sous ensembles non vide de X contienne un élément minimal. 2 Un ordinal est un ensemble α transitif (c-à-d : si x y α alors x α) bien ordonné par.
62 Nous avons : 0 =, 1 = {0} = { }, 2 = {0, 1} = {, { }}, 3 = {0, 1, 2} = {, { }, {, { }}},... ω = {0, 1, 2, 3,...}, ω + 1 = {0, 1, 2, 3,..., ω},... ω 2 = ω + ω = {0, 1, 2, 3,..., ω, ω + 1, ω + 2, ω + 3,...},... ω 2 = {0, 1,..., ω, ω + 1,..., ω 2, ω 2 + 1,..., ω n, ω n + 1,...},...
63 Définition 1 Le successeur d un ordinal α est l ordinal α + 1 = α {α}. 2 Un ordinal est limite s il est > 0 et n a pas de prédécesseur. Le premier ordinal limite est ω. Définition Un cardinal est un ordinal α tel que α β, pour tout β α Remarque 1 Tous les entiers sont des cardinaux, ainsi que ω. Les ordinaux ω + 1, ω + 2,..., ω 2,..., ne sont pas des cardinaux. 2 Le premier cardinal > ω est noté ω 1 ou ℵ 1, le second ω 2 ou ℵ 2, etc.
64 Définition 1 Le successeur d un ordinal α est l ordinal α + 1 = α {α}. 2 Un ordinal est limite s il est > 0 et n a pas de prédécesseur. Le premier ordinal limite est ω. Définition Un cardinal est un ordinal α tel que α β, pour tout β α Remarque 1 Tous les entiers sont des cardinaux, ainsi que ω. Les ordinaux ω + 1, ω + 2,..., ω 2,..., ne sont pas des cardinaux. 2 Le premier cardinal > ω est noté ω 1 ou ℵ 1, le second ω 2 ou ℵ 2, etc.
65 Définition 1 Le successeur d un ordinal α est l ordinal α + 1 = α {α}. 2 Un ordinal est limite s il est > 0 et n a pas de prédécesseur. Le premier ordinal limite est ω. Définition Un cardinal est un ordinal α tel que α β, pour tout β α Remarque 1 Tous les entiers sont des cardinaux, ainsi que ω. Les ordinaux ω + 1, ω + 2,..., ω 2,..., ne sont pas des cardinaux. 2 Le premier cardinal > ω est noté ω 1 ou ℵ 1, le second ω 2 ou ℵ 2, etc.
66 Définition 1 Le successeur d un ordinal α est l ordinal α + 1 = α {α}. 2 Un ordinal est limite s il est > 0 et n a pas de prédécesseur. Le premier ordinal limite est ω. Définition Un cardinal est un ordinal α tel que α β, pour tout β α Remarque 1 Tous les entiers sont des cardinaux, ainsi que ω. Les ordinaux ω + 1, ω + 2,..., ω 2,..., ne sont pas des cardinaux. 2 Le premier cardinal > ω est noté ω 1 ou ℵ 1, le second ω 2 ou ℵ 2, etc.
67 Définition 1 Le successeur d un ordinal α est l ordinal α + 1 = α {α}. 2 Un ordinal est limite s il est > 0 et n a pas de prédécesseur. Le premier ordinal limite est ω. Définition Un cardinal est un ordinal α tel que α β, pour tout β α Remarque 1 Tous les entiers sont des cardinaux, ainsi que ω. Les ordinaux ω + 1, ω + 2,..., ω 2,..., ne sont pas des cardinaux. 2 Le premier cardinal > ω est noté ω 1 ou ℵ 1, le second ω 2 ou ℵ 2, etc.
68 La Hiérarchie Cumulative On définit la hiérarchie cumulative. V 0 =, V ξ+1 = P(V ξ ), pour tout ordinal ξ, où P(X) est l ensemble des parties de X, V λ = ξ<λ V ξ, pour tout ordinal limite λ, V = ξ ORD V α. La théorie ZFC formalise les propriétés intuitives de V.
69 La Hiérarchie Cumulative On définit la hiérarchie cumulative. V 0 =, V ξ+1 = P(V ξ ), pour tout ordinal ξ, où P(X) est l ensemble des parties de X, V λ = ξ<λ V ξ, pour tout ordinal limite λ, V = ξ ORD V α. La théorie ZFC formalise les propriétés intuitives de V.
70 La Hiérarchie Cumulative On définit la hiérarchie cumulative. V 0 =, V ξ+1 = P(V ξ ), pour tout ordinal ξ, où P(X) est l ensemble des parties de X, V λ = ξ<λ V ξ, pour tout ordinal limite λ, V = ξ ORD V α. La théorie ZFC formalise les propriétés intuitives de V.
71 La Hiérarchie Cumulative On définit la hiérarchie cumulative. V 0 =, V ξ+1 = P(V ξ ), pour tout ordinal ξ, où P(X) est l ensemble des parties de X, V λ = ξ<λ V ξ, pour tout ordinal limite λ, V = ξ ORD V α. La théorie ZFC formalise les propriétés intuitives de V.
72 La Hiérarchie Cumulative On définit la hiérarchie cumulative. V 0 =, V ξ+1 = P(V ξ ), pour tout ordinal ξ, où P(X) est l ensemble des parties de X, V λ = ξ<λ V ξ, pour tout ordinal limite λ, V = ξ ORD V α. La théorie ZFC formalise les propriétés intuitives de V.
73 La Hiérarchie Cumulative On définit la hiérarchie cumulative. V 0 =, V ξ+1 = P(V ξ ), pour tout ordinal ξ, où P(X) est l ensemble des parties de X, V λ = ξ<λ V ξ, pour tout ordinal limite λ, V = ξ ORD V α. La théorie ZFC formalise les propriétés intuitives de V.
74 La Hiérarchie Cumulative
75 Programme de Gödel Programme de Gödel : chercher de nouveaux axiomes pour compléter les axiomes de ZFC. Intuitivement : tout ensemble qui peut exister existe déjà. Deux types de nouveaux axiomes : Axiomes de grands cardinaux : l univers de théorie des ensembles est grand. Axiomes de forcing : l univers de théorie des ensembles est large.
76 Programme de Gödel Programme de Gödel : chercher de nouveaux axiomes pour compléter les axiomes de ZFC. Intuitivement : tout ensemble qui peut exister existe déjà. Deux types de nouveaux axiomes : Axiomes de grands cardinaux : l univers de théorie des ensembles est grand. Axiomes de forcing : l univers de théorie des ensembles est large.
77 Programme de Gödel Programme de Gödel : chercher de nouveaux axiomes pour compléter les axiomes de ZFC. Intuitivement : tout ensemble qui peut exister existe déjà. Deux types de nouveaux axiomes : Axiomes de grands cardinaux : l univers de théorie des ensembles est grand. Axiomes de forcing : l univers de théorie des ensembles est large.
78 Programme de Gödel Programme de Gödel : chercher de nouveaux axiomes pour compléter les axiomes de ZFC. Intuitivement : tout ensemble qui peut exister existe déjà. Deux types de nouveaux axiomes : Axiomes de grands cardinaux : l univers de théorie des ensembles est grand. Axiomes de forcing : l univers de théorie des ensembles est large.
79 Les axiomes de grands cardinaux donnent une théorie très riche et satisfaisante, mais ils ne décident pas l Hypothèse du Continu. Les axiomes de forcing entrainent que l Hypothèse du Continu est fausse, en fait ils entrainent que R ℵ 2, c-à-d : le cardinal des réels est le second cardinal non dénombrable.
80 Les axiomes de grands cardinaux donnent une théorie très riche et satisfaisante, mais ils ne décident pas l Hypothèse du Continu. Les axiomes de forcing entrainent que l Hypothèse du Continu est fausse, en fait ils entrainent que R ℵ 2, c-à-d : le cardinal des réels est le second cardinal non dénombrable.
81
82 Merci!
Glossaire des nombres
Glossaire des nombres Numérisation et sens du nombre (4-6) Imprimeur de la Reine pour l'ontario, 008 Nombre : Objet mathématique qui représente une valeur numérique. Le chiffre est le symbole utilisé pour
Plus en détailCalculabilité Cours 3 : Problèmes non-calculables. http://www.irisa.fr/lande/pichardie/l3/log/
Calculabilité Cours 3 : Problèmes non-calculables http://www.irisa.fr/lande/pichardie/l3/log/ Problèmes et classes de décidabilité Problèmes et classes de décidabilité Nous nous intéressons aux problèmes
Plus en détailLogique. Plan du chapitre
Logique Ce chapitre est assez abstrait en première lecture, mais est (avec le chapitre suivant «Ensembles») probablement le plus important de l année car il est à la base de tous les raisonnements usuels
Plus en détailCHAPITRE IV. L axiome du choix
CHAPITRE IV L axiome du choix Résumé. L axiome du choix AC affirme qu il est légitime de construire des objets mathématiques en répétant un nombre infini de fois l opération de choisir un élément dans
Plus en détailPetit lexique de calcul à l usage des élèves de sixième et de cinquième par M. PARCABE, professeur au collège Alain FOURNIER de BORDEAUX, mars 2007
Petit lexique de calcul à l usage des élèves de sixième et de cinquième par M. PARCABE, professeur au collège Alain FOURNIER de BORDEAUX, mars 2007 page 1 / 10 abscisse addition additionner ajouter appliquer
Plus en détailChapitre 2. Eléments pour comprendre un énoncé
Chapitre 2 Eléments pour comprendre un énoncé Ce chapitre est consacré à la compréhension d un énoncé. Pour démontrer un énoncé donné, il faut se reporter au chapitre suivant. Les tables de vérité données
Plus en détailSOCLE COMMUN - La Compétence 3 Les principaux éléments de mathématiques et la culture scientifique et technologique
SOCLE COMMUN - La Compétence 3 Les principaux éléments de mathématiques et la culture scientifique et technologique DOMAINE P3.C3.D1. Pratiquer une démarche scientifique et technologique, résoudre des
Plus en détailSur certaines séries entières particulières
ACTA ARITHMETICA XCII. 2) Sur certaines séries entières particulières par Hubert Delange Orsay). Introduction. Dans un exposé à la Conférence Internationale de Théorie des Nombres organisée à Zakopane
Plus en détailRéalisabilité et extraction de programmes
Mercredi 9 mars 2005 Extraction de programme: qu'est-ce que c'est? Extraire à partir d'une preuve un entier x N tel que A(x). π x N A(x) (un témoin) (En fait, on n'extrait pas un entier, mais un programme
Plus en détail6. Les différents types de démonstrations
LES DIFFÉRENTS TYPES DE DÉMONSTRATIONS 33 6. Les différents types de démonstrations 6.1. Un peu de logique En mathématiques, une démonstration est un raisonnement qui permet, à partir de certains axiomes,
Plus en détailSéminaire BOURBAKI Mars 2003+ 55ème année, 2002-2003, n o 915. par Patrick DEHORNOY
Séminaire BOURBAKI Mars 2003+ 55ème année, 2002-2003, n o 915 PROGRÈS RÉCENTS SUR L HYPOTHÈSE DU CONTINU [d après Woodin] par Patrick DEHORNOY Une profusion de résultats conceptuellement profonds et techniquement
Plus en détailAlgèbre binaire et Circuits logiques (2007-2008)
Université Mohammed V Faculté des Sciences Département de Mathématiques et Informatique Filière : SMI Algèbre binaire et Circuits logiques (27-28) Prof. Abdelhakim El Imrani Plan. Algèbre de Boole 2. Circuits
Plus en détailLe chiffre est le signe, le nombre est la valeur.
Extrait de cours de maths de 6e Chapitre 1 : Les nombres et les opérations I) Chiffre et nombre 1.1 La numération décimale En mathématique, un chiffre est un signe utilisé pour l'écriture des nombres.
Plus en détail1 Définition et premières propriétés des congruences
Université Paris 13, Institut Galilée Département de Mathématiques Licence 2ème année Informatique 2013-2014 Cours de Mathématiques pour l Informatique Des nombres aux structures Sylviane R. Schwer Leçon
Plus en détailImage d un intervalle par une fonction continue
DOCUMENT 27 Image d un intervalle par une fonction continue La continuité d une fonction en un point est une propriété locale : une fonction est continue en un point x 0 si et seulement si sa restriction
Plus en détailProbabilités conditionnelles Exercices corrigés
Terminale S Probabilités conditionnelles Exercices corrigés Exercice : (solution Une compagnie d assurance automobile fait un bilan des frais d intervention, parmi ses dossiers d accidents de la circulation.
Plus en détailLa construction du nombre en petite section
La construction du nombre en petite section Éléments d analyse d Pistes pédagogiquesp 1 La résolution de problèmes, premier domaine de difficultés des élèves. Le calcul mental, deuxième domaine des difficultés
Plus en détailLa persistance des nombres
regards logique & calcul La persistance des nombres Quand on multiplie les chiffres d un nombre entier, on trouve un autre nombre entier, et l on peut recommencer. Combien de fois? Onze fois au plus...
Plus en détailProblématique / Problématiser / Problématisation / Problème
Problématique / Problématiser / Problématisation / PROBLÉMATIQUE : UN GROUPEMENT DE DÉFINITIONS. «Art, science de poser les problèmes. Voir questionnement. Ensemble de problèmes dont les éléments sont
Plus en détailInformatique Machines à calculer en théorie et en pratique
Licence Physique-Chimie Histoire des Sciences Informatique Machines à calculer en théorie et en pratique Notes de Cours 1 Introduction Étymologie En Allemagne (1957) le terme «Informatik» est créé par
Plus en détailFORD C-MAX + FORD GRAND C-MAX CMAX_Main_Cover_2013_V3.indd 1-3 22/08/2012 15:12
1 2 3 4 5 6 7 8 9 10 12,999,976 km 9,136,765 km 1,276,765 km 499,892 km 245,066 km 112,907 km 36,765 km 24,159 km 7899 km 2408 km 76 km 12 14 16 1 12 7 3 1 6 2 5 4 3 11 9 10 8 18 20 21 22 23 24 26 28 30
Plus en détailCORRIGE LES NOMBRES DECIMAUX RELATIFS. «Réfléchir avant d agir!»
Corrigé Cours de Mr JULES v3.3 Classe de Quatrième Contrat 1 Page 1 sur 13 CORRIGE LES NOMBRES DECIMAUX RELATIFS. «Réfléchir avant d agir!» «Correction en rouge et italique.» I. Les nombres décimaux relatifs.
Plus en détailTemps forts départementaux. Le calcul au cycle 2 Technique opératoire La soustraction
Temps forts départementaux Le calcul au cycle 2 Technique opératoire La soustraction Calcul au cycle 2 La soustraction fait partie du champ opératoire additif D un point de vue strictement mathématique,
Plus en détailRaisonnement par récurrence Suites numériques
Chapitre 1 Raisonnement par récurrence Suites numériques Terminale S Ce que dit le programme : CONTENUS CAPACITÉS ATTENDUES COMMENTAIRES Raisonnement par récurrence. Limite finie ou infinie d une suite.
Plus en détailAC AB. A B C x 1. x + 1. d où. Avec un calcul vu au lycée, on démontre que cette solution admet deux solutions dont une seule nous intéresse : x =
LE NOMBRE D OR Présentation et calcul du nombre d or Euclide avait trouvé un moyen de partager en deu un segment selon en «etrême et moyenne raison» Soit un segment [AB]. Le partage d Euclide consiste
Plus en détailIntroduction à l étude des Corps Finis
Introduction à l étude des Corps Finis Robert Rolland (Résumé) 1 Introduction La structure de corps fini intervient dans divers domaines des mathématiques, en particulier dans la théorie de Galois sur
Plus en détailDOCM 2013 http://docm.math.ca/ Solutions officielles. 1 2 10 + 1 2 9 + 1 2 8 = n 2 10.
A1 Trouvez l entier positif n qui satisfait l équation suivante: Solution 1 2 10 + 1 2 9 + 1 2 8 = n 2 10. En additionnant les termes du côté gauche de l équation en les mettant sur le même dénominateur
Plus en détailExercices Alternatifs. Quelqu un aurait-il vu passer un polynôme?
Exercices Alternatifs Quelqu un aurait-il vu passer un polynôme? c 2004 Frédéric Le Roux, François Béguin (copyleft LDL : Licence pour Documents Libres). Sources et figures: polynome-lagrange/. Version
Plus en détailExercices Alternatifs. Quelqu un aurait-il vu passer un polynôme?
Exercices Alternatifs Quelqu un aurait-il vu passer un polynôme? c 2004 Frédéric Le Roux, François Béguin (copyleft LDL : Licence pour Documents Libres). Sources et figures: polynome-lagrange/. Version
Plus en détailChères collègues, chers collègues,
Chères collègues, chers collègues, Les IREM ont été créés en 1969 avec les missions suivantes : - mener des recherches sur l enseignement des mathématiques ; - contribuer à la formation initiale et continue
Plus en détailO, i, ) ln x. (ln x)2
EXERCICE 5 points Commun à tous les candidats Le plan complee est muni d un repère orthonormal O, i, j Étude d une fonction f On considère la fonction f définie sur l intervalle ]0; + [ par : f = ln On
Plus en détailEXERCICES DE REVISIONS MATHEMATIQUES CM2
EXERCICES DE REVISIONS MATHEMATIQUES CM2 NOMBRES ET CALCUL Exercices FRACTIONS Nommer les fractions simples et décimales en utilisant le vocabulaire : 3 R1 demi, tiers, quart, dixième, centième. Utiliser
Plus en détailManuel d utilisation 26 juin 2011. 1 Tâche à effectuer : écrire un algorithme 2
éducalgo Manuel d utilisation 26 juin 2011 Table des matières 1 Tâche à effectuer : écrire un algorithme 2 2 Comment écrire un algorithme? 3 2.1 Avec quoi écrit-on? Avec les boutons d écriture........
Plus en détail* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable T : pour travailler et mémoriser le cours
Exo7 Continuité (étude globale). Diverses fonctions Exercices de Jean-Louis Rouget. Retrouver aussi cette fiche sur www.maths-france.fr * très facile ** facile *** difficulté moyenne **** difficile *****
Plus en détailLes devoirs en Première STMG
Les devoirs en Première STMG O. Lader Table des matières Devoir sur table 1 : Proportions et inclusions....................... 2 Devoir sur table 1 : Proportions et inclusions (corrigé)..................
Plus en détailCompter à Babylone. L écriture des nombres
Compter à Babylone d après l article de Christine Proust «Le calcul sexagésimal en Mésopotamie : enseignement dans les écoles de scribes» disponible sur http://www.dma.ens.fr/culturemath/ Les mathématiciens
Plus en détailChapitre 2 Le problème de l unicité des solutions
Université Joseph Fourier UE MAT 127 Mathématiques année 2011-2012 Chapitre 2 Le problème de l unicité des solutions Ce que nous verrons dans ce chapitre : un exemple d équation différentielle y = f(y)
Plus en détailDate : 18.11.2013 Tangram en carré page
Date : 18.11.2013 Tangram en carré page Titre : Tangram en carré Numéro de la dernière page : 14 Degrés : 1 e 4 e du Collège Durée : 90 minutes Résumé : Le jeu de Tangram (appelé en chinois les sept planches
Plus en détailArithmétique binaire. Chapitre. 5.1 Notions. 5.1.1 Bit. 5.1.2 Mot
Chapitre 5 Arithmétique binaire L es codes sont manipulés au quotidien sans qu on s en rende compte, et leur compréhension est quasi instinctive. Le seul fait de lire fait appel au codage alphabétique,
Plus en détailFondements de l informatique Logique, modèles, et calculs
Fondements de l informatique Logique, modèles, et calculs Cours INF423 de l Ecole Polytechnique Olivier Bournez Version du 20 septembre 2013 2 Table des matières 1 Introduction 9 1.1 Concepts mathématiques........................
Plus en détailLa mesure de Lebesgue sur la droite réelle
Chapitre 1 La mesure de Lebesgue sur la droite réelle 1.1 Ensemble mesurable au sens de Lebesgue 1.1.1 Mesure extérieure Définition 1.1.1. Un intervalle est une partie convexe de R. L ensemble vide et
Plus en détail"Calcul et hyper-calcul"
"Calcul et hyper-calcul" Mémoire de Master 2 (LoPHISS) Université de Paris 1 (Panthéon-Sorbonne) par Héctor Zenil Chávez Sous la direction de M. Jacques Dubucs 20 octobre 2006 2 Table des matières 1 Introduction
Plus en détailCOMPTE-RENDU «MATHS EN JEANS» LYCEE OZENNE Groupe 1 : Comment faire une carte juste de la Terre?
Claire FORGACZ Marion GALLART Hasnia GOUDJILI COMPTERENDU «MATHS EN JEANS» LYCEE OZENNE Groupe 1 : Comment faire une carte juste de la Terre? Si l on se pose la question de savoir comment on peut faire
Plus en détailFactorisation d entiers (première partie)
Factorisation d entiers ÉCOLE DE THEORIE DES NOMBRES 0 Factorisation d entiers (première partie) Francesco Pappalardi Théorie des nombres et algorithmique 22 novembre, Bamako (Mali) Factorisation d entiers
Plus en détailFONCTION EXPONENTIELLE ( ) 2 = 0.
FONCTION EXPONENTIELLE I. Définition Théorème : Il eiste une unique fonction f dérivable sur R telle que f ' = f et f (0) =. Démonstration de l'unicité (eigible BAC) : L'eistence est admise - Démontrons
Plus en détailLogique binaire. Aujourd'hui, l'algèbre de Boole trouve de nombreuses applications en informatique et dans la conception des circuits électroniques.
Logique binaire I. L'algèbre de Boole L'algèbre de Boole est la partie des mathématiques, de la logique et de l'électronique qui s'intéresse aux opérations et aux fonctions sur les variables logiques.
Plus en détailTOUT CE QU IL FAUT SAVOIR POUR LE BREVET
TOUT E QU IL FUT SVOIR POUR LE REVET NUMERIQUE / FONTIONS eci n est qu un rappel de tout ce qu il faut savoir en maths pour le brevet. I- Opérations sur les nombres et les fractions : Les priorités par
Plus en détailProblèmes de Mathématiques Filtres et ultrafiltres
Énoncé Soit E un ensemble non vide. On dit qu un sous-ensemble F de P(E) est un filtre sur E si (P 0 ) F. (P 1 ) (X, Y ) F 2, X Y F. (P 2 ) X F, Y P(E) : X Y Y F. (P 3 ) / F. Première Partie 1. Que dire
Plus en détailEteindre. les. lumières MATH EN JEAN 2013-2014. Mme BACHOC. Elèves de seconde, première et terminale scientifiques :
MTH EN JEN 2013-2014 Elèves de seconde, première et terminale scientifiques : Lycée Michel Montaigne : HERITEL ôme T S POLLOZE Hélène 1 S SOK Sophie 1 S Eteindre Lycée Sud Médoc : ROSIO Gauthier 2 nd PELGE
Plus en détailFONDEMENTS DES MATHÉMATIQUES
FONDEMENTS DES MATHÉMATIQUES AYBERK ZEYTİN 1. DIVISIBILITÉ Comment on peut écrire un entier naturel comme un produit des petits entiers? Cette question a une infinitude d interconnexions entre les nombres
Plus en détailExprimer ce coefficient de proportionnalité sous forme de pourcentage : 3,5 %
23 CALCUL DE L INTÉRÊT Tau d intérêt Paul et Rémi ont reçu pour Noël, respectivement, 20 et 80. Ils placent cet argent dans une banque, au même tau. Au bout d une année, ce placement leur rapportera une
Plus en détailLeçon 01 Exercices d'entraînement
Leçon 01 Exercices d'entraînement Exercice 1 Etudier la convergence des suites ci-dessous définies par leur terme général: 1)u n = 2n3-5n + 1 n 2 + 3 2)u n = 2n2-7n - 5 -n 5-1 4)u n = lnn2 n+1 5)u n =
Plus en détailQUI VEUT JOUER AVEC MOI?
QUI VEUT JOUER AVEC MOI? Michel Rigo (Université de Liège) http://www.discmath.ulg.ac.be/ JOUER SÉRIEUSEMENT, POURQUOI? Jeux coopératifs : marché boursier, économie, émergence de réseaux sociaux,... Mise
Plus en détailMATHÉMATIQUES. Les préalables pour l algèbre MAT-P020-1 DÉFINITION DU DOMAINE D EXAMEN
MATHÉMATIQUES Les préalables pour l algèbre MAT-P020-1 DÉFINITION DU DOMAINE D EXAMEN Mars 2001 MATHÉMATIQUES Les préalables pour l algèbre MAT-P020-1 DÉFINITION DU DOMAINE D EXAMEN Mars 2001 Direction
Plus en détailChapitre 3. Quelques fonctions usuelles. 1 Fonctions logarithme et exponentielle. 1.1 La fonction logarithme
Chapitre 3 Quelques fonctions usuelles 1 Fonctions logarithme et eponentielle 1.1 La fonction logarithme Définition 1.1 La fonction 7! 1/ est continue sur ]0, +1[. Elle admet donc des primitives sur cet
Plus en détailLa fonction exponentielle
DERNIÈRE IMPRESSION LE 2 novembre 204 à :07 La fonction exponentielle Table des matières La fonction exponentielle 2. Définition et théorèmes.......................... 2.2 Approche graphique de la fonction
Plus en détailBureau N301 (Nautile) benjamin@leroy-beaulieu.ch
Pre-MBA Statistics Seances #1 à #5 : Benjamin Leroy-Beaulieu Bureau N301 (Nautile) benjamin@leroy-beaulieu.ch Mise à niveau statistique Seance #1 : 11 octobre Dénombrement et calculs de sommes 2 QUESTIONS
Plus en détailSites web éducatifs et ressources en mathématiques
Sites web éducatifs et ressources en mathématiques Exercices en ligne pour le primaire Calcul mental élémentaire : http://www.csaffluents.qc.ca/wlamen/tables-sous.html Problèmes de soustraction/addition
Plus en détailRésolution d équations non linéaires
Analyse Numérique Résolution d équations non linéaires Said EL HAJJI et Touria GHEMIRES Université Mohammed V - Agdal. Faculté des Sciences Département de Mathématiques. Laboratoire de Mathématiques, Informatique
Plus en détailI. Ensemble de définition d'une fonction
Chapitre 2 Généralités sur les fonctions Fonctions de références et fonctions associées Ce que dit le programme : Étude de fonctions Fonctions de référence x x et x x Connaître les variations de ces deux
Plus en détailLes fonction affines
Les fonction affines EXERCICE 1 : Voir le cours EXERCICE 2 : Optimisation 1) Traduire, pour une semaine de location, chaque formule par une écriture de la forme (où x désigne le nombre de kilomètres parcourus
Plus en détailReprésentation des Nombres
Chapitre 5 Représentation des Nombres 5. Representation des entiers 5.. Principe des représentations en base b Base L entier écrit 344 correspond a 3 mille + 4 cent + dix + 4. Plus généralement a n a n...
Plus en détailChaînes de Markov au lycée
Journées APMEP Metz Atelier P1-32 du dimanche 28 octobre 2012 Louis-Marie BONNEVAL Chaînes de Markov au lycée Andreï Markov (1856-1922) , série S Problème 1 Bonus et malus en assurance automobile Un contrat
Plus en détailLe système d évaluation par contrat de confiance (EPCC) *
André ANTIBI Le système d évaluation par contrat de confiance (EPCC) * * extrait du livre «LES NOTES : LA FIN DU CAUCHEMAR» ou «Comment supprimer la constante macabre» 1 Nous proposons un système d évaluation
Plus en détailPLAN NOTATIONS UTILISÉES
PLAN COURS 3 AGRÉGATION ORDINALE Master IAD DMDC PATRICE PERNY LIP6 Université Paris 6 1 2 2/29 NOTATIONS UTILISÉES I) O A : ordres complets sur A P A : Préordres sur A (complets ou partiels) PC A : Préordres
Plus en détailSuites numériques 3. 1 Convergence et limite d une suite
Suites numériques 3 1 Convergence et limite d une suite Nous savons que les termes de certaines suites s approchent de plus en plus d une certaine valeur quand n augmente : par exemple, les nombres u n
Plus en détailDéveloppement décimal d un réel
4 Développement décimal d un réel On rappelle que le corps R des nombres réels est archimédien, ce qui permet d y définir la fonction partie entière. En utilisant cette partie entière on verra dans ce
Plus en détailCIRCULAIRE CONJOINTE. Ministère de l éducation nationale. la défense. du patrimoine et des archives
CIRCULAIRE CONJOINTE Ministère de l éducation nationale Ministère de la défense Ministère de l éducation nationale Direction de l enseignement scolaire Ministère de la défense Direction de la mémoire,
Plus en détailUne forme générale de la conjecture abc
Une forme générale de la conjecture abc Nicolas Billerey avec l aide de Manuel Pégourié-Gonnard 6 août 2009 Dans [Lan99a], M Langevin montre que la conjecture abc est équivalente à la conjecture suivante
Plus en détailCorps des nombres complexes, J Paul Tsasa
Corps des nombres complexes, J Paul Tsasa One Pager Février 2013 Vol. 5 Num. 011 Copyright Laréq 2013 http://www.lareq.com Corps des Nombres Complexes Définitions, Règles de Calcul et Théorèmes «Les idiots
Plus en détailCorrection du Baccalauréat S Amérique du Nord mai 2007
Correction du Baccalauréat S Amérique du Nord mai 7 EXERCICE points. Le plan (P) a une pour équation cartésienne : x+y z+ =. Les coordonnées de H vérifient cette équation donc H appartient à (P) et A n
Plus en détailBac Blanc Terminale ES - Février 2011 Épreuve de Mathématiques (durée 3 heures)
Bac Blanc Terminale ES - Février 2011 Épreuve de Mathématiques (durée 3 heures) Eercice 1 (5 points) pour les candidats n ayant pas choisi la spécialité MATH Le tableau suivant donne l évolution du chiffre
Plus en détailLes nombres entiers. Durée suggérée: 3 semaines
Les nombres entiers Durée suggérée: 3 semaines Aperçu du module Orientation et contexte Pourquoi est-ce important? Dans le présent module, les élèves multiplieront et diviseront des nombres entiers concrètement,
Plus en détailArchitecture matérielle des systèmes informatiques
Architecture matérielle des systèmes informatiques IDEC, Renens. Version novembre 2003. Avertissement : ce support de cours n est pas destiné à l autoformation et doit impérativement être complété par
Plus en détailI. Cas de l équiprobabilité
I. Cas de l équiprobabilité Enoncé : On lance deux dés. L un est noir et l autre est blanc. Calculer les probabilités suivantes : A «Obtenir exactement un as» «Obtenir au moins un as» C «Obtenir au plus
Plus en détailRECUEIL DE LEGISLATION. A N 224 4 novembre 2011. S o m m a i r e RÉGIME TEMPORAIRE: GARANTIE DE L ÉTAT
MEMORIAL Journal Officiel du Grand-Duché de Luxembourg 3859 MEMORIAL Amtsblatt des Großherzogtums Luxemburg RECUEIL DE LEGISLATION A N 224 4 novembre 2011 S o m m a i r e RÉGIME TEMPORAIRE: GARANTIE DE
Plus en détailPrécision d un résultat et calculs d incertitudes
Précision d un résultat et calculs d incertitudes PSI* 2012-2013 Lycée Chaptal 3 Table des matières Table des matières 1. Présentation d un résultat numérique................................ 4 1.1 Notations.........................................................
Plus en détailEcrire Savoir rédiger une réponse claire à une question
Champ Compétence Ecrire Savoir rédiger une réponse claire à une question Séance 1 : prise de conscience de la notion de réponse claire Etape 1 Proposer un document comportant des réponses "brutes", sans
Plus en détailB = A = B = A = B = A = B = A = Recopier sur la copie chaque expression numérique et la réponse exacte. Réponse A Réponse B Réponse C Solution
Q.C.M. Recopier sur la copie chaque expression numérique et la réponse exacte. Réponse A Réponse B Réponse C Solution Exercice 1 On considère les trois nombres A, B et C : 2 x (60 5 x 4 ²) (8 15) Calculer
Plus en détailUtilisation des tableaux sémantiques dans les logiques de description
Utilisation des tableaux sémantiques dans les logiques de description IFT6281 Web Sémantique Jacques Bergeron Département d informatique et de recherche opérationnelle Université de Montréal bergerja@iro.umontreal.ca
Plus en détailF1C1/ Analyse. El Hadji Malick DIA
F1C1/ Analyse Présenté par : El Hadji Malick DIA dia.elmalick1@gmail.com Description sommaire du cours Porte sur l analyse réelle propose des outils de travail sur des éléments de topologie élémentaire
Plus en détailPeut-on imiter le hasard?
168 Nicole Vogel Depuis que statistiques et probabilités ont pris une large place dans les programmes de mathématiques, on nous propose souvent de petites expériences pour tester notre perception du hasard
Plus en détailAtelier de l Espace de Structure et réactions Nucléaires Théorique 12-16 Janvier 2015
Sous-détermination, incomplétude, incommensurabilité : la pensée des limites V. Bontems Centre de Saclay, Laboratoire des Recherches sur les Sciences de la Matière, F-91191 Gif-sur-Yvette, France T. Duguet
Plus en détailProgrammation linéaire
1 Programmation linéaire 1. Le problème, un exemple. 2. Le cas b = 0 3. Théorème de dualité 4. L algorithme du simplexe 5. Problèmes équivalents 6. Complexité de l Algorithme 2 Position du problème Soit
Plus en détailP1 : Corrigés des exercices
P1 : Corrigés des exercices I Exercices du I I.2.a. Poker : Ω est ( l ensemble ) des parties à 5 éléments de l ensemble E des 52 cartes. Cardinal : 5 I.2.b. Bridge : Ω est ( l ensemble ) des parties à
Plus en détailRenaissance Nancy 2013
Renaissance Nancy 2013 Règlement de l Appel à projet Création vidéo (diffusion sur le principe de mapping architectural) à l occasion des «Moments d invention» Place Charles III à Nancy du 24 mai 2013
Plus en détailNOM : Prénom : Date de naissance : Ecole : CM2 Palier 2
NOM : Prénom : Date de naissance : Ecole : CM2 Palier 2 Résultats aux évaluations nationales CM2 Annexe 1 Résultats de l élève Compétence validée Lire / Ecrire / Vocabulaire / Grammaire / Orthographe /
Plus en détail1/24. I passer d un problème exprimé en français à la réalisation d un. I expressions arithmétiques. I structures de contrôle (tests, boucles)
1/4 Objectif de ce cours /4 Objectifs de ce cours Introduction au langage C - Cours Girardot/Roelens Septembre 013 Du problème au programme I passer d un problème exprimé en français à la réalisation d
Plus en détailExo7. Calculs de déterminants. Fiche corrigée par Arnaud Bodin. Exercice 1 Calculer les déterminants des matrices suivantes : Exercice 2.
Eo7 Calculs de déterminants Fiche corrigée par Arnaud Bodin Eercice Calculer les déterminants des matrices suivantes : Correction Vidéo ( ) 0 6 7 3 4 5 8 4 5 6 0 3 4 5 5 6 7 0 3 5 4 3 0 3 0 0 3 0 0 0 3
Plus en détailNombres premiers. Comment reconnaître un nombre premier? Mais...
Introduction Nombres premiers Nombres premiers Rutger Noot IRMA Université de Strasbourg et CNRS Le 19 janvier 2011 IREM Strasbourg Definition Un nombre premier est un entier naturel p > 1 ayant exactement
Plus en détailIV- Comment fonctionne un ordinateur?
1 IV- Comment fonctionne un ordinateur? L ordinateur est une alliance du hardware (le matériel) et du software (les logiciels). Jusqu à présent, nous avons surtout vu l aspect «matériel», avec les interactions
Plus en détailCarl-Louis-Ferdinand von Lindemann (1852-1939)
Par Boris Gourévitch "L'univers de Pi" http://go.to/pi314 sai1042@ensai.fr Alors ça, c'est fort... Tranches de vie Autour de Carl-Louis-Ferdinand von Lindemann (1852-1939) est transcendant!!! Carl Louis
Plus en détail108y= 1 où x et y sont des entiers
Polynésie Juin 202 Série S Exercice Partie A On considère l équation ( ) relatifs E :x y= où x et y sont des entiers Vérifier que le couple ( ;3 ) est solution de cette équation 2 Déterminer l ensemble
Plus en détailFonctions homographiques
Seconde-Fonctions homographiques-cours Mai 0 Fonctions homographiques Introduction Voir le TP Géogébra. La fonction inverse. Définition Considérons la fonction f définie par f() =. Alors :. f est définie
Plus en détail1 Première section: La construction générale
AMALGAMATIONS DE CLASSES DE SOUS-GROUPES D UN GROUPE ABÉLIEN. SOUS-GROUPES ESSENTIEL-PURS. Călugăreanu Grigore comunicare prezentată la Conferinţa de grupuri abeliene şi module de la Padova, iunie 1994
Plus en détailASR1 TD7 : Un microprocesseur RISC 16 bits
{Â Ö Ñ º ØÖ Ý,È ØÖ ºÄÓ Ù,Æ ÓÐ ºÎ ÝÖ Ø¹ ÖÚ ÐÐÓÒ} Ò ¹ÐÝÓÒº Ö ØØÔ»»Ô Ö Óº Ò ¹ÐÝÓÒº Ö» Ö Ñ º ØÖ Ý»¼ Ö½» ASR1 TD7 : Un microprocesseur RISC 16 bits 13, 20 et 27 novembre 2006 Présentation générale On choisit
Plus en détailPARTICIPER À UNE VENTE AUX ENCHÈRES D ŒUVRES D ART
Activités éducatives pour les élèves de 10 à 11 ans PARTICIPER À UNE VENTE AUX ENCHÈRES D ŒUVRES D ART NIVEAU : PRIMAIRE GROUPE D ÂGE : ÉLÈVES DE 10 À 11 ANS SOMMAIRE DE L ACTIVITÉ Les élèves observent
Plus en détailSynthèse «Le Plus Grand Produit»
Introduction et Objectifs Synthèse «Le Plus Grand Produit» Le document suivant est extrait d un ensemble de ressources plus vastes construites par un groupe de recherche INRP-IREM-IUFM-LEPS. La problématique
Plus en détailTSTI 2D CH X : Exemples de lois à densité 1
TSTI 2D CH X : Exemples de lois à densité I Loi uniforme sur ab ; ) Introduction Dans cette activité, on s intéresse à la modélisation du tirage au hasard d un nombre réel de l intervalle [0 ;], chacun
Plus en détailBACCALAUREAT GENERAL MATHÉMATIQUES
BACCALAUREAT GENERAL FEVRIER 2014 MATHÉMATIQUES SERIE : ES Durée de l épreuve : 3 heures Coefficient : 5 (ES), 4 (L) 7(spe ES) Les calculatrices électroniques de poche sont autorisées, conformement à la
Plus en détail