Je montre que le projet de Whitehead, dans l'Universal Algebra, est de montrer que l'algèbre de Grassmann permet de rendre compte des géométries non euclidiennes classiques (hyperbolique et elliptique) -- ce que Grassmann lui-même, écrivant avant l'émergence des nouvelles géométries n'avaient pas réalisé. L'enjeu est philosophiquement important: il indique que, pour Whitehead, déjà à cette époque, la recherche de la plus grande généralité (les recherches algébriques de Grassmann) rejoint les préoccupations les plus concrètes (les travaux sur la théorie de l'espace)
Publication de l'IREM de Montpellier - production du groupe Mathématiques et PhilosophieCes différen...
Cet article a pour objectif de réinsérer les analyses que Russell consacre à la géométrie dans le co...
La Géométrie a subi dans le cours de ce siècle une révolution profonde. Pour la première fois depuis...
Je montre que le projet de Whitehead, dans l'Universal Algebra, est de montrer que l'algèbre de Gras...
La Théorie de l'Extension de Hermann Grassmann joue un rôle inclassable dans l'histoire de l'algèbre...
Nous allons dans ce papier comparer l’algèbre de la logique exposée par Schröder dans les leçons sur...
Grassmann n'est pas le premier à créer un nouveau calcul : Möbius, Bellavitis, Cauchy, et bien d'aut...
La grassmannienne Gr(k,n), qui est l’un des objets étudiés dans le domaine de la géométrie algébriq...
Publication de l'IREM de Montpellier - production du groupe Mathématiques et PhilosophieCe document ...
Dans cette thèse, nous examinons comment un assistant de preuve peut être utilise pour étudier les f...
Dans cette thèse, nous examinons comment un assistant de preuve peut être utilise pour étudier les f...
Publication de l'IREM de Montpellier - production du groupe Mathématiques et PhilosophieCe document ...
Publication de l'IREM de Montpellier - production du groupe Mathématiques et PhilosophieCe document ...
Publication de l'IREM de Montpellier - production du groupe Mathématiques et PhilosophieCe document ...
Publication de l'IREM de Montpellier - production du groupe Mathématiques et PhilosophieCes différen...
Publication de l'IREM de Montpellier - production du groupe Mathématiques et PhilosophieCes différen...
Cet article a pour objectif de réinsérer les analyses que Russell consacre à la géométrie dans le co...
La Géométrie a subi dans le cours de ce siècle une révolution profonde. Pour la première fois depuis...
Je montre que le projet de Whitehead, dans l'Universal Algebra, est de montrer que l'algèbre de Gras...
La Théorie de l'Extension de Hermann Grassmann joue un rôle inclassable dans l'histoire de l'algèbre...
Nous allons dans ce papier comparer l’algèbre de la logique exposée par Schröder dans les leçons sur...
Grassmann n'est pas le premier à créer un nouveau calcul : Möbius, Bellavitis, Cauchy, et bien d'aut...
La grassmannienne Gr(k,n), qui est l’un des objets étudiés dans le domaine de la géométrie algébriq...
Publication de l'IREM de Montpellier - production du groupe Mathématiques et PhilosophieCe document ...
Dans cette thèse, nous examinons comment un assistant de preuve peut être utilise pour étudier les f...
Dans cette thèse, nous examinons comment un assistant de preuve peut être utilise pour étudier les f...
Publication de l'IREM de Montpellier - production du groupe Mathématiques et PhilosophieCe document ...
Publication de l'IREM de Montpellier - production du groupe Mathématiques et PhilosophieCe document ...
Publication de l'IREM de Montpellier - production du groupe Mathématiques et PhilosophieCe document ...
Publication de l'IREM de Montpellier - production du groupe Mathématiques et PhilosophieCes différen...
Publication de l'IREM de Montpellier - production du groupe Mathématiques et PhilosophieCes différen...
Cet article a pour objectif de réinsérer les analyses que Russell consacre à la géométrie dans le co...
La Géométrie a subi dans le cours de ce siècle une révolution profonde. Pour la première fois depuis...