La page de logique de pion.ch

Paradoxes favoris (favourite paradoxes)

Si certains considèrent les paradoxes logiques comme des empêcheurs de raisonner en rond et n'ont de cesse de les avoir "résolus", fût-ce par des arguments tirés par les cheveux, je trouve que les paradoxes sont les meilleurs révélateurs de notre manière de raisonner.
Pour résumer le fond de ma pensée et plagier Pierre Desproges à la fois: une logique sans paradoxe, c'est comme un poisson sans bicyclette.

Preuves mathématiques (mathematical proofs)

Les mathématiques seraient si agréables si on n'avait pas sans cesse besoin de se fatiguer à trouver des preuves à nos jolis théorèmes. Heureusement qu'il existe quelques méthodes éprouvées pour faciliter la tâche du mathématicien.
Cette liste de méthodes circule depuis longtemps parmi les mathématiciens sous sa forme anglaise, mais en voici enfin une traduction en français.

Petits problèmes (puzzles)

Quelques devinettes assez simples dont la plupart sont de grands classiques.

Liens

Une petite collections de sites logiques.