Displaying similar documents to “Giving lectures on nonstandard analysis. (Lire l'analyse non standard.)”

Perspective historique sur les rapports entre la théorie des modèles et l’algèbre. Un point de vue tendancieux

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. ...

Progrès récents sur l’hypothèse du continu

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.

Exploration d’un mode d’écriture de la généralité : l’article de Poincaré sur les lignes géodésiques des surfaces convexes (1905)

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...

Genèse des premiers espaces vectoriels de fonctions

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...

La «machine de Grothendieck» se fonde-t-elle seulement sur des vocables métamathématiques ? Bourbaki et les catégories au cours des années cinquante

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...

L’école constructive de Markov

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...

À propos de la signification des dépendances entre critères : quelle place et quels modes de prise en compte pour l'aide à la décision ?

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...