Sujet : Logique mathématique

Pourquoi démontrer ce qui est évident?

1 février 2008

Par André Ross

Yannick remet en question l’exigence de démontrer des « propriétés » qui lui semblent évidentes. Yannick Bonjour Alexandra. J’aimerais que tu…

Lire plus

Preuves sans mots

Par Jean-Paul Delahaye

Les premières phrases des Éléments de mathématique de Nicolas Bourbaki sont catégoriques: « Depuis les Grecs, qui dit mathématiques dit démonstration;…

Lire plus

Voyez-vous ce que je vois?

Par Frédéric Gourdeau

Entre la preuve visuelle et le paradoxe, il n’y a parfois qu’un petit pas … qu’il vaut mieux ne pas…

Lire plus

Savez-vous empiler des oranges?

Par André Ross

Comment ranger des oranges dans une boîte afin d’en disposer le plus possible? La question de la disposition des sphères…

Lire plus

Preuves et certitudes

Par Jean-Paul Delahaye

Depuis la parution des Éléments de mathématique de Nicolas Bourbaki, l’ordinateur a fait son apparition dans l’univers mathématique. Il sert…

Lire plus

Preuves par récurrence

Par André Ross

Annick veut savoir ce qu’est une preuve par récurrence. Annick Bonjour Alexandra. J’ai lu qu’il y a une méthode de…

Lire plus

Envolées intersidérales…à destination terrestre!

1 février 2007

Par Bernard R. Hodgson

Le calcul de certaines suites de nombres peut parfois provoquer des envolées numériques au comportement étonnant, qui semblent filer vers…

Lire plus

Apprendre à parler à des machines: Annick et Yannick font enquête

Par Jean-Lou de Carufel

Intrigués par le message d’erreur de leur calculatrice, Annick et Yannick décident de consulter le célèbre robot Johnny-5 qui, après…

Lire plus