Décès de Kenneth Appel

The Tasker Funeral Home confirms that Appel, who was diagnosed with esophageal cancer, died April 19 in hospice care.
Appel was a longtime educator who chaired the University of New Hampshire mathematics department, retiring in 2003.
Before that, he was a faculty member at the University of Illinois at Urbana. In 1976, he and Wolfgang Haken used 1,200 hours of calculations from an IBM computer to prove that a flat map can be colored with just four colors so that contiguous countries have different colors.
Proving the 100-year-old "Four-Color Conjecture" was considered a major intellectual accomplishment.


Read more at: http://phys.org/news/2013-04-kenneth-appel-dies.html#jCp

The Tasker Funeral Home confirms that Appel, who was diagnosed with esophageal cancer, died April 19 in hospice care.
Appel was a longtime educator who chaired the University of New Hampshire mathematics department, retiring in 2003.
Before that, he was a faculty member at the University of Illinois at Urbana. In 1976, he and Wolfgang Haken used 1,200 hours of calculations from an IBM computer to prove that a flat map can be colored with just four colors so that contiguous countries have different colors.
Proving the 100-year-old "Four-Color Conjecture" was considered a major intellectual accomplishment.


Read more at: http://phys.org/news/2013-04-kenneth-appel-dies.html#jCp

The Tasker Funeral Home confirms that Appel, who was diagnosed with esophageal cancer, died April 19 in hospice care.
Appel was a longtime educator who chaired the University of New Hampshire mathematics department, retiring in 2003.
Before that, he was a faculty member at the University of Illinois at Urbana. In 1976, he and Wolfgang Haken used 1,200 hours of calculations from an IBM computer to prove that a flat map can be colored with just four colors so that contiguous countries have different colors.
Proving the 100-year-old "Four-Color Conjecture" was considered a major intellectual accomplishment.


Read more at: http://phys.org/news/2013-04-kenneth-appel-dies.html#jCp

Kenneth Appel est décédé le 19 Avril dernier. Membre du département de mathématiques
de l'université du New Hampshire, il avait pris sa retraite en 2003
Il était auparavant en poste à l'Université de l'Illinois (Urbana). En 1976 il
avait démontré, avec Wolfgang Haken le théorème des quatre couleurs en
utilisant un ordinateur IBM pour venir à bout des derniers cas. Ce théorème dit qu'il suffit de
quatre couleurs pour colorier une carte de telle manière que deux pays voisins ne
soient pas de la même couleur. C'était la  première preuve par ordinateur d'un théorème de mathématiques.
Ce résultat prouvait une conjecture qui avait résisté une centaine d'années.

Ce résultat a été prouvé en utilisant la théorie des graphes. Un graphe peut être associé à une
carte (voir le dessin ci-dessus, qui provient du blog http://mathyear2013.blogspot.fr/
et plus précisément d'un article sur le sujet du Prof. Hubbard).  Le théorème revient alors à montrer
qu'un tel graphe peut être coloré avec seulement quatre couleurs de telle manière que deux
sommets reliés directement par une arête ne soient pas de la même couleur.

Catégories et philosophie

Si vous avez apprécié les articles d'Erwan Biland dans
Quadrature sur la théorie des catégories, vous serez peut être
intéressé par les liens entre cette théorie et la philosophie,
à propos de liens , le voici :
http://www.kent.ac.uk/secl/philosophy/jw/reasoning/2013/category/

What Can Category Theory Do For Philosophy?

9-11 July 2013 University of Kent, Canterbury, UK
(location tbc on this map)

Organiser: David Corfield

Une question, un chercheur

Conférence de Laure Saint-Raymond sur l'influence des côtes sur les courants
marins le 31 Mai 2013 20 heures  à l’Institut Henri Poincaré 11 rue Pierre et Marie
Curie, à Paris 5^ème.

La vitesse de la lumière

Pour ceux qui ont apprécié les articles de Mauricio Garay
dans Quadrature sur ce sujet, voici un article de Bernard Guy disponible sur
Hal :

Sur la " vitesse " de la lumière et sa mesure : disparition des étalons d'espace et de temps ; l'étalon de mouvement

http://hal.archives-ouvertes.fr/hal-00814874/

Conférence grand public à la Grande Mosquée de Paris

Conférence à la Grande Mosquée de Paris (salle de conférence)

Samedi 20 avril 2013, 15h

Le traité d'As-Samaw’al (Al-Maghribî) : « L’éblouissant dans l’algèbre » (1149)

اَلْـبَاهِـرُ فِي ٱلْـجَبْـرِ لِلسَّـمَوْءَلِ ٱلْـمَغْـرِبِيِّ

par François Nicolas (Cirphles, ENS-Ulm)

Cette conférence s’adresse à des non-spécialistes.
Elle introduira aux enjeux de pensée propres à ce traité d’algèbre, rédigé au XII° siècle par un génie mathématique de 19 ans.
Elle resituera d'abord ce traité dans la trajectoire d’ensemble d’une algèbre arabe, inventée à Bagdad au IX° siècle puis développée et diversifiée pendant près de 500 ans : un « calcul sur l’inconnu » (prenant le relais du calcul arithmétique sur le connu) ouvre à une « théorie des équations » qui vient enfoncer un coin mathématique entre l’arithmétique des nombres et la géométrie des figures.
Cette nouvelle discipline restera-t-elle alors un nouveau type de calcul, empiriquement vérifiable (une sorte de calcul informatique avant la lettre) ou fera-t-elle émerger une véritable troisième discipline mathématique, autonome et dialoguant à part égale avec ses deux devancières ? Cette nouvelle algèbre pourra-t-elle ainsi se disposer sous la loi proprement mathématique de la démonstration et inventer une démonstration proprement algébrique ?
Dans ce contexte, on précisera les enjeux propres du moment « As-Samaw’al », tant en termes de calcul que de rationalité démonstrative. On illustrera son apport par trois exemples simples :

• les secrets de l’équation -(-1)=+1 où le même signe « - » intervient en deux acceptions discrètement décalées ;
  
• les mystères de la division polynomiale : peut-on ainsi calculer (6x⁸ - 80x⁵ + 20x) / (2x⁵ + 8x⁴ – 9) ?;
  
• les ressources de sa démonstration par induction algébrique plutôt que par déduction géométrique.

Après As-Samaw’al, l’invention algébrique va progressivement se tarir pour ouvrir le temps des manuels récapitulatifs. Il faudra attendre les XVI° et XVII° siècles européens pour que l’invention algébrique ressuscite, sur la base cette fois d'une lettre « x » que la mathématique arabe ignorait.
Au total, on rehaussera cette épopée collective de pensée, cette audace d'un « calcul de la poussière », ce courage de braver les interdits d’Aristote (« On ne peut pas, dans la démonstration, passer d'un genre à un autre : on ne peut pas, par exemple, prouver une proposition géométrique par l'arithmétique. ») pour faire émerger un nouveau continent mathématique (au lieu même de la faille entre géométrie axiomatisée et arithmétique calculatoire) et composer ainsi un univers mathématique unifié (expulsant la théorie musicale de son abri archaïque).
On se réjouira que cette leçon - oser penser et inventer, à rebours d'un développent séparé selon des territoires antiquement cloisonnés ! - nous parvienne en langue arabe.

***

Référence : Al-Bâhir en algèbre d'As-Samaw'al - Édition, notes et introduction par Salah Ahmad et Roshdi Rashed. Imp. de l'Université de Damas (1972)

Anniversaire d'Euler

Il est effectivement né un 15 Avril il y a plus de trois cents ans
comme nous le rappelle Google, dont la page
d'accueil est d'ailleurs fort bien faite avec la Formule exp(i*pi)=-1,
le schéma des ponts de Konigsberg, On y trouve aussi, outre des graphes des
polyèdres, qui nous font bien sur songer
à la caractéristique d'Euler : C=S-A+F (nombre de sommets moins nombre d'arêtes
plus nombre de faces, toujours égale à deux pour les polyèdres convexes).
La suisse évidemment lui a rendu hommage en mettant son éffigie
sur des timbres postes

mais aussi  sur un billet de banque...

 

Conférence à l'Ecole des Mines de Paris