A walk through nonstandard analysis on the paths of A. Robinson. (Balade en analyse non standard sur les traces de A. Robinson.)
Pétry, André (1996)
Bulletin of the Belgian Mathematical Society - Simon Stevin
Similarity:
Pétry, André (1996)
Bulletin of the Belgian Mathematical Society - Simon Stevin
Similarity:
Daniel Lascar (1998)
Revue d'histoire des mathématiques
Similarity:
Je vais traiter, d’un point de vue personnel, la naissance et les premiers développements de la théorie des modèles pendant la période qui s’étend de sa naissance vers 1870, avec les travaux de Peirce, jusqu’au théorème de Morley vers 1965. J’insisterai particulièrement sur l’aspect « algèbre universelle » et j’essaierai de dégager comment la notion de définissabilité a fait évoluer cette théorie jusqu’à une science complexe pouvant apporter de nouvelles idées au reste des mathématiques. ...
Patrick Dehornoy (2002-2003)
Séminaire Bourbaki
Similarity:
Les travaux récents de Woodin ont considérablement renouvelé la théorie des ensembles en lui apportant une intelligibilité globale et en restaurant son unité. Pour la première fois, ses résultats ouvrent une perspective réaliste de résoudre le problème du continu, et, à tout le moins, ils établissent le caractère irréfutablement signifiant et précis de celui-ci.
Emmanuel Isambert (1997)
Annales mathématiques Blaise Pascal
Similarity:
Anne Robadey (2004)
Revue d'histoire des mathématiques
Similarity:
L’analyse de l’article de Poincaré sur les géodésiques fait apparaître qu’il entretient des liens complexes avec les travaux antérieurs de Poincaré en mécanique céleste. Nous montrerons que le problème des géodésiques des surfaces convexes est traité comme un paradigme grâce auquel Poincaré explicite une méthode qui n’était présentée qu’à l’état d’ébauche dans ses ouvrages de mécanique céleste. Cette étude de cas permet ainsi de mettre en évidence l’utilisation par Poincaré d’une technique...
Jean-Luc Dorier (1996)
Revue d'histoire des mathématiques
Similarity:
Cet article examine comment la notion d’espace vectoriel de fonctions s’est peu à peu imposée dans l’analyse entre 1880 et 1930 environ. Malgré certaines approches formelles précoces, les questions linéaires en dimension infinie sont longtemps restées marquées par l’analogie avec la dimension finie, que l’on traitait alors à l’aide des déterminants. Nous regardons comment l’étude de l’équation de Fredholm d’une part, en particulier le travail de Hilbert, et l’émergence de notions topologiques...
Ralf Krömer (2006)
Revue d'histoire des mathématiques
Similarity:
On reconstruit la discussion de Bourbaki sur la théorie des catégories dans les années 1950 ; les sources non publiées qui permettent cette reconstruction font partie des archives Bourbaki en France et du de Samuel Eilenberg, collection récemment redécouverte et depuis incorporée aux archives de la . On étudie surtout la relation entre cette discussion et la participation de Grothendieck au projet Bourbaki. Ses travaux sur l’algèbre homologique et sur la géométrie algébrique étaient...
Maurice Margenstern (1995)
Revue d'histoire des mathématiques
Similarity:
Cet article donne les principales caractéristiques de l’école constructive d’Andrej Andreevich Markov (1903–1979). Après un bref rappel de la situation des mathématiques et de la logique au début du xxe siècle, on évoque rapidement la naissance de l’intuitionnisme et de la théorie des fonctions récursives. On décrit ensuite les objets et les méthodes du constructivisme de Markov. A titre d’exemples on expose les principaux résultats relatifs à l’analyse réelle selon le point de vue de...
Bernard Roy (2009)
RAIRO - Operations Research
Similarity:
Soit une famille de critères conçue pour asseoir un modèle de préférences global sur un ensemble d'actions potentielles (ou alternatives). On se place ici dans une perspective d'aide à la décision et dans l'hypothèse où des dépendances (encore appelées interactions) sont susceptibles d'exister entre certains des critères de . On commence ( Sect. 2.1) par préciser ce que signifie l'affirmation "il existe des dépendances entre certains des critères de " (Déf. 1). On s'intéresse ensuite...