Gaston Bachelard

Gaston Bachelard
(1884-1962)
A lire :
"La formation de l'esprit scientifique",  Librairie philosophique J. Vrin, 1938, 1972
" La psychanalyse du feu", Idées, Gallimard

---

- " Qui est enseigné doit enseigner. Une instruction qu'on reçoit sans la transmettre forme des esprits sans dynamique, sans auto-critique. Dans les disciplines scientifiques surtout, une telle instruction fige en dogmatisme une connaissance qui devrait être une impulsion pour une démarche inventive. Et surtout, elle manque à donner l'expérience psychologique de l'erreur humaine. (...) Comme seule utilité défendable des "compositions" scolaires, j'imagine... Le premier de la classe reçoit comme récompense, la joie de donner des répétitions au second, le second au troisième et ainsi de suite jusqu'au point où les erreurs deviennent vraiment trop massives. "
- " Un concept est devenu scientifique dans la proportion où il est devenu technique, où il est accompagné d'une technique de réalisation. On sent donc bien que le problème de la pensée scientifique moderne est, de nouveau, un problème philosophique intermédiaire. Comme aux temps d'Abélard, nous voudrions nous fixer nous-même dans une position moyenne, entre les réalistes et le nominalistes, entre les positivistes et les formalistes, entre les partisans des faits et les partisans des signes. C'est donc de tous côtés que nous offrons à la critique. " p. 61
- " Une culture bloquée sur un temps scolaire est la négation même de la culture scientifique. Il n'y a de science que par une Ecole permanente. C'est cette école que la science doit fonder. Alors les intérêts sociaux seront définitivement inversés : la Société sera faite pour l'Ecole et non pas l'Ecole pour la Société" p. 252
- "Pour un esprit scientifique, toute connaissance est une réponse à une question"
Ceux qui vous vendent des bases de connaissances, se trompent sur ce qu'est une connaissance !
- " Rien ne va de soi. Rien n'est donné*. Tout est construit."
- " Toute désignation d'un phénomène connu par un nom savant apporte une satisfaction à une pensée paresseuse. "

La deuxième conférence sur Teaching B

aura lieu le 8 juin 2009 à la Cité des Congrès de Nantes
http://teachingbconference.blogspot.com/

Conscience et Mécanisme

http://iridia.ulb.ac.be/~marchal/bxlthesis/consciencemecanisme.html

Thèse Bruno Marchal, 1994

Un site pour les b a ba sur les ensembles et relations

ICI

TThe Long, Dismal History of Software Project Failure

http://www.codinghorror.com/blog/archives/000588.html

TThe Long, Dismal History of Software Project Failure

http://www.codinghorror.com/blog/archives/000588.html

Retraite ...mais ça continue !

L'auteur de ce bloc-notes part en retraite...mais continuera à alimenter ce bloc-notes.

Aléa jacta est (dé, datum, donnée, information)

Alea, en latin, signifie "dé" ou "jeu de dés", par extension désignait le sort, le hasard, etc.
Le latin tardif lui a préféré datum, "ce qui est donné". (Orlando de Rudder, Aperto libro, Larousse, ISBN : 2-03-330023-4)

Une donnée est une information. En probabilité, on parle d'événements (aléatoires). Si avant de tirer une boule de l'urne, on sait qu'elle sera noire, ce n'est pas un événement, ce n'est pas une donnée, ce n'est pas une information. L'information, c'est ce qui réduit l'incertitude (voir aussi le concept de "bien économique"). Voir les "scoops". Si je conserve la donnée, c'est que, pour moi, à la mémoire faiblarde, ce que j'ai inscrit dans le fichier, est une information (voila d'ailleurs pourquoi je vais la chercher). Le jour où mon nom sera pour moi une info ce ne sera pas bon signe pour mon entourage !

L'axiome du choix

Dans le polycopié vous avez la présentation des axiomes de la théorie des ensembles et ceux retenus par B.
Parmi les axiomes, il y a l'axiome du choix.
Il dit que si on dispose d'un ensemble d'ensembles non vides et disjoints deux à deux, par exemple l'ensemble des groupes de première année (je rappelle qu'un étudiant ne peut être membre de plus d'un groupe), alors on peut constituer un ensemble en prenant un élément dans chacun des ensembles.
Ca paraît étonnant de devoir avoir un tel axiome.
On trouvait étonnant aussi de devoir avoir l'axiome des parallèles ...
On en a eu besoin quand on s'est rendu compte qu'avec les autres axiomes, on ne pouvait prouver qu'on pouvait bien constituer ...
Alors on a proposé l'axiome du choix. C'est Ernst Zermelo qui l'a introduit en 1904.
Paul Cohen a prouvé en 1963 qu'il est impossible de déduire l'axiome du choix des autres axiomes.

Teaching the B method, the blog

The B method : from research to teaching,
Conference,
Nantes,
France

Cité Internationale des Congrès
June 16, 2008

Blog here :

http://teachingbconference.blogspot.com/

Une application de B

Des pages d'information sur le système KVS de la SNCF, pour ceux qui aiment les trains.
Une des premières application de la méthode B.

20 ans déjà

En rangeant mes papiers (il faut bien partir en retraite), et en remplissant ma poubelle, je retrouve une lettre de la direction des systèmes de signalisation de GEC Alsthom datée d'octobre 91.

Extraits :

• "GEC Alsthom a commencé à utiliser la méthode B en 1987, pour respécifier, en vue de certification, le système SACEM installé sur la ligne A du RER à Paris, et en service depuis septembre 1988. Ce système a permis d'accroître le débit de la ligne, l'intervalle entre trains étant réduit de 2 min 30 à 2 min, en améliorant la sécurité.

• Nous l'utilisons actuellement pour la réalisation du logiciel de contrôle de vitesse appelé KVS, destiné à la SNCF. (...)"