MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 96

Associations
LIVRE
Gödel et Hilbert
Par PATRICE PISSAVIN (N81)
Patrice Pissavin
GÖDEL ET HILBERT
L'impact des théorèmes de Gödel de 1931
et apparentés sur le programme de Hilbert
Patrice Pissavin
Éditions Hermann - 392 pages -
novembre 2021
Contribution majeure à la philosophie des mathématiques du
début du siècle précédent, le programme de Hilbert s'est heurté
aux théorèmes d'incomplétude de Gödel. Le présent ouvrage
est d'abord une introduction à la thèse finitiste de Hilbert et aux
limites introduites par les théorèmes de Gödel. La discussion qui
s'ensuit amène à la question plus large de la nature des limitations
associées aux théorèmes « négatifs » : s'agit-il seulement de
restrictions techniques quant à l'aptitude des systèmes formels à
répondre à ce pour quoi ils ont été créés par les mathématiciens,
ou bien ces théorèmes expriment-ils une contrainte beaucoup
plus forte sur la capacité humaine à pratiquer les mathématiques,
voire, d'une manière plus générale, sur l'exercice de la raison ?
Patrice Pissavin, ingénieur de formation, est docteur en philosophie,
spécialiste de logique.
GÖDEL ET HILBERT
L'impact des théorèmes de Gödel de 1931
et apparentés sur le programme de Hilbert
U
979 1 0370 1319 4
n
Glassine
Philosophie
s
L'impact des théorèmes de Gödel de 1931
et apparentés sur le programme de Hilbert
Cet ouvrage de philosophie des mathématiques est
la version publiée d'une thèse de philosophie des
mathématiques soutenue à la Sorbonne il y a deux
par Patrice Pissavin, docteur en philosophie et
spécialiste de logique, pour qui " au-delà de sa
technicité indubitable, est susceptible d'intéresser
la frange des Mineurs qui s'intéresse aux grandes
idées. Ici, les impacts philosophiques des
théorèmes de Gödel de 1931, qui amènent à
des questions sur les limites de la pratique
mathématique (et informatique) elle-même " . 
Un Mineur,
une pierre
Henri Hureau
de Senarmont
(1808-1862)
Peut-on dire que les premières lames
minces de minéraux ont vu le jour dans les
laboratoires de l'École des Mines ? Il serait
difficile de l'affirmer. Mais les travaux de ce
grand scientifique, polytechnicien corps
des mines, sur les propriétés optiques
des minéraux et la collection de lames fines
de minéraux conservée au musée sont
les témoins d'une activité de recherche dont
les résultats ont compté dans l'histoire de
la minéralogie. Un de ses élèves et disciples
se nomme Louis Pasteur.
Il succède, en 1847, à Dufrénoy à la chaire
de minéralogie de l'École. À partir de 1850
Sénarmont s'attache au problème de la
genèse des minéraux contenus dans les
filons métallifères ou concrétionnés.
Il tente, par ses expériences de laboratoire,
de reproduire les phénomènes naturels
et participe à la construction, avec ses
collègues de l'École, de ce qui deviendra
la minéralogie expérimentale. 
Hommage
à Georges
Maistret (N43)
Georges Maistret s'est éteint le 24 décembre, à l'âge
de 100 ans. Il est né le 9 février 1921. Après ses
études à l'École des Mines de Nancy, Georges
Maistret a commencé son métier d'ingénieur en 1946
dans le Pas-de-Calais. De son union avec Marguerite,
née Régnier, sont nés six enfants. Puis, douze
petits-enfants et onze arrière-petits-enfants ont
agrandi la famille.
Puis, la famille s'est installée en Meurthe-et-Moselle,
où Georges a dirigé la Mine de Bazailles et a pu, avec
son épouse, s'adonner au sport.
À la suite des difficultés économiques de l'industrie
métallurgique et minière, l'activité de la mine s'est
MINES_LA REVUE DES INGÉNIEURS
96
trouvée ralentie jusqu'à sa fermeture définitive en
1980. Un crève-cœur pour Georges Maistret de
conduire les travaux liés à cette fermeture, jusqu'au
démontage du chevalement et surtout sa mise à la
retraite prématurée à l'âge de 60 ans.
Georges Maistret a reçu la médaille d'or des Mines en
1982. Durant cette période si difficile, il a créé une
association avec les membres du Rotary-club de
Longwy pour sauvegarder l'ouvrage de Fermont
situé entre Longwy et Longuyon, remettre en service
toutes les installations souterraines, mais également
y constituer un musée militaire. L'association des
Amis de l'ouvrage de Fermont, dont il a été le
#516_JUIN_2022
Patrice Pissavin
DR
GÖDEL ET HILBERT
DR
*
N
L
N
E
S
M
C
L
E
w
A
r
S
.
f
H
w
S
n
I
n
S
w
Q
a
N
U
m
d
E
r
O
i
t
S
e
o
D
-
F
i
h
D
e
.
R
A
*

MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022

Table des matières de la publication MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022

Sommaire
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 1
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 2
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 3
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - Sommaire
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 5
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 6
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 7
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 8
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 9
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 10
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 11
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 12
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 13
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 14
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 15
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 16
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 17
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 18
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 19
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 20
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 21
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 22
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 23
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 24
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 25
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 26
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 27
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 28
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 29
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 30
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 31
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 32
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 33
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 34
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 35
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 36
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 37
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 38
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 39
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 40
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 41
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 42
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 43
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 44
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 45
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 46
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 47
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 48
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 49
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 50
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 51
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 52
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 53
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 54
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 55
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 56
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 57
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 58
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 59
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 60
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 61
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 62
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 63
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 64
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 65
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 66
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 67
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 68
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 69
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 70
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 71
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 72
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 73
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 74
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 75
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 76
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 77
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 78
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 79
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 80
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 81
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 82
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 83
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 84
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 85
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 86
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 87
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 88
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 89
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 90
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 91
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 92
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 93
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 94
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 95
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 96
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 97
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 98
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 99
MINES LA REVUE DES INGÉNIEURS #516 - Juin 2022 - 100
https://www.nxtbook.fr/newpress/Intermines/mines-la-revue-des-ingenieurs-2406-524
https://www.nxtbook.fr/newpress/Intermines/mines-la-revue-des-ingenieurs-2403-523
https://www.nxtbook.fr/newpress/Intermines/mines-la-revue-des-ingenieurs-2312-522
https://www.nxtbook.fr/newpress/Intermines/mines-la-revue-des-ingenieurs-2309-521
https://www.nxtbook.fr/newpress/Intermines/mines-la-revue-des-ingenieurs-2306-520
https://www.nxtbook.fr/newpress/Intermines/mines-la-revue-des-ingenieurs-2303-519
https://www.nxtbook.fr/newpress/Intermines/mines-la-revue-des-ingenieurs-2212-518
https://www.nxtbook.fr/newpress/Intermines/mines-la-revue-des-ingenieurs-2209-517
https://www.nxtbook.fr/newpress/Intermines/mines-la-revue-des-ingenieurs-2206-516
https://www.nxtbook.fr/newpress/Intermines/mines-la-revue-des-ingenieurs-2203-515
https://www.nxtbook.fr/newpress/Intermines/mines-la-revue-des-ingenieurs-2112-514
https://www.nxtbook.fr/newpress/Intermines/mines-la-revue-des-ingenieurs-2109-513
https://www.nxtbook.fr/newpress/Intermines/mines-la-revue-des-ingenieurs-2106-512
https://www.nxtbook.fr/newpress/Intermines/mines-la-revue-des-ingenieurs-2102-511
https://www.nxtbook.fr/newpress/Intermines/mines-la-revue-des-ingenieurs-2011-510
https://www.nxtbook.fr/newpress/Intermines/mines-la-revue-des-ingenieurs-2009-509
https://www.nxtbook.fr/newpress/Intermines/mines-la-revue-des-ingenieurs-2004-508
https://www.nxtbook.fr/newpress/Intermines/mines-la-revue-des-ingenieurs-2002-507
https://www.nxtbook.fr/newpress/Intermines/mines-la-revue-des-ingenieurs-1912-506
https://www.nxtbook.fr/newpress/Intermines/mines-la-revue-des-ingenieurs-1910-505
https://www.nxtbookmedia.com