Olivier MUZEREAU

Professeur agrégé de mathématiques au collège Texeira-Da-Motta, La Possession (Réunion)


Articles de cet auteur

mardi 21 juin 2016
par  Olivier MUZEREAU

Faut-il démontrer pour savoir ?

Faut-il démontrer pour savoir ? Tel fut le sujet 2 de philosophie proposé aux élèves de la filière scientifique le mercredi 15 Juin 2016. Nous réfléchissons ici au sens précis que peut avoir une telle question pour un mathématicien en analysant l’acte de démontrer à travers trois de ses grands moments. Sont ainsi précisées par leur mise en perspective les approches grecque, cartésienne et moderne.

lundi 1er février 2016
par  Olivier MUZEREAU

La réflexion chez le mathématicien

Étude du rapport du mathématicien à ses propres concepts et au réel qu’il cherche à mathématiser. Le rôle des axiomes et les questions ontologiques sur la nature des entités mathématiques sont appréhendés au travers des travaux de Gilles Dowek et Suzanne Bachelard.

vendredi 18 septembre 2015
par  Alain BUSSER , Olivier MUZEREAU , Stéphane GOMBAUD

Recension du livre « La logique » de Gilles Dowek

Petit mais dense ouvrage de vulgarisation mathématique exposant les insuffisances et paradoxes qu’a dû affronter la logique au cours des siècles pour aboutir à son état actuel.

lundi 13 avril 2015
par  Olivier MUZEREAU

Anatomie de la construction d’un énoncé mathématique indécidable

Kurt Gödel a su construire un énoncé mathématique concernant les nombres entiers qui est vrai, mais qui ne peut être mécaniquement déduit en partant des axiomes de base et en utilisant les règles d’inférences classiques de l’arithmétique. En nous inspirant du travail éclairant de Raymond Smulyann, nous présentons ici, analogies et exemples à l’appui, quelques-uns des schèmes permettant de construire cet énoncé vrai et indémontrable.


Envoyer un message

Annonces

Prochains rendez-vous de l’IREM

Séminaire EDIM-IREM

- Mercredi 6 juin, 14h-18h, campus du Tampon, amphi 120 B


Brèves

Un questionnaire pour le Pi day

mardi 3 avril

Testez vos connaissances sur le nombre Pi à l’aide de ce questionnaire proposé par Patrick Boissière et ses collègues d’Amérique du Nord. Un défi ludique en 30 questions à proposer aussi à vos élèves.

Nouveau record de nombre premier

mercredi 10 janvier

Depuis fin 2017, le plus grand nombre premier connu est 277 232 917-1, il s’agit donc d’un nombre de Mersenne. Son écriture décimale comprend plus de 23 millions de chiffres. On notera que cela signifie que 77 232 917 est lui-même un nombre premier (résultat de Fermat).

Notation au bac

lundi 11 décembre 2017

Une nouvelle notation sera pratiquée à partir de la session 2018 pour les algorithmes au bac. Elle est décrite avec de nombreux exemples, ici.

Décès de Roger Mohr

mardi 27 juin 2017

On sait bien que Nicolas Bourbaki n’était pas le nom d’une personne mais le pseudonyme d’un groupe. L’équivalent en informatique théorique est Claude Livercy, auteur de la théorie des programmes. Roger Mohr était un des membres de Claude Livercy.

Scratch2017BDX

mardi 13 juin 2017

Colloque Scratch Bordeaux 2017 : du 17 au 21 juillet, en l’honneur du 50e anniversaire de Logo et du 10e anniversaire de Scratch. Consulter le programme. La Réunion y sera notamment représentée par Nathalie Carrié.

Sur le Web : Scratch2017BDX

Comprendre la logique Shadok

dimanche 30 avril 2017

Le meilleur cours de maths Shadok jamais réalisé...
Vidéo succulente ajoutée sur la canal des archives de l’INA le 26 avril 2017.

DGPad à Limoges

mercredi 19 avril 2017

L’IREM de Limoges a réussi à inscrire au P.A.F. une journée de présentation de DGPad ; la tortue y a eu un franc succès. Voici le compte-rendu. Il y a des ressources à réinvestir en classe, n’hésitez pas à y puiser !

Navadra

lundi 10 avril 2017

Navadra est un jeu vidéo pour redonner le plaisir de faire des maths aux collégiens. Dans ce jeu pédagogique sur navigateur, le joueur incarne un avatar de son choix qui se réveille sur une île magique peuplée de monstres. Il devra s’entraîner pour devenir plus puissant et pouvoir se défendre contre ces monstres à l’aide de formules mathématiques.

Sur le Web : Navadra

Décès de Kenneth Arrow

mercredi 15 mars 2017

La vedette de la théorie du choix social, bien connue de nos lecteurs, est décédée récemment, à l’âge respectable de 95 ans.

Décès de Raymond Smullyan

mercredi 15 mars 2017

Le logicien Raymon Smullyan est décédé en février 2017, à l’âge respectable de 97 ans : Il avait eu Alonzo Church comme professeur ! Pour en savoir plus, voir cet article

Statistiques

Dernière mise à jour

lundi 18 juin 2018

Publication

792 Articles
Aucun album photo
136 Brèves
11 Sites Web
137 Auteurs

Visites

161 aujourd'hui
962 hier
2409028 depuis le début
35 visiteurs actuellement connectés