Logique

La logique est un terrain de rencontre entre profs de mathématiques, de grec et de philosophie.


Articles publiés dans cette rubrique

samedi 29 octobre 2011
par  Nathalie CARRIÉ

Stage de logique par René Cori

Notes prises par Nathalie Carrié pendant le stage de logique animé par René Cori à la Réunion les 3 et 4 décembre 2009.

samedi 11 avril 2015
par  Alain BUSSER

Le jeu de logique de Lewis Carroll

Ressources du stage de logique mené le 10 avril 2015 : comment résoudre « mécaniquement » des syllogismes.

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.

mercredi 27 mai 2015
par  Alain BUSSER

Construction de la logique propositionnelle dans le λ-calcul

Comment Church et Kleene représentent le calcul propositionnel avec des fonctions, juste des fonctions et rien d’autre.

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.

mardi 5 décembre 2017
par  Alain BUSSER

Implication et causalité

Résumé d’interventions sur la distinction entre implication et causalité, dont certaines sont d’ailleurs antérieures à l’apparition de cette question dans le programme de seconde.

samedi 6 avril 2013
par  Alain BUSSER

Introduction à la logique épistémique avec le Rallye 2013

L’exercice 5 du Rallye mathématiques 2013 de la Réunion, portait sur la logique épistémique. Il servira donc de prétexte à introduire celle-ci

mardi 20 octobre 2009
par  Alain BUSSER

Les diagrammes d’Euler-Venn

Dans cet article on va voir (c’est le cas de le dire) en quoi l’infographie peut rendre visuelles les opérations booléennes.

jeudi 26 novembre 2009
par  Alain BUSSER

Logique temporelle

Où des propositions sont vraies mais pas tout le temps.

lundi 7 décembre 2009
par  Alain BUSSER

Les ordinateurs sont-ils logiques ? 1 : Logique propositionnelle

Narrations d’exploration logique de la fonction « CanProve » de Yacas