30 relations: Alex Wilkie, Alexander S. Kechris, Alexandre Razborov, Alfred Tarski, Anand Pillay, Angus Macintyre, Bjarni Jónsson, Boris Zilber, Dana S. Scott, Donald Martin, Ehud Hrushovski, Gregory Hjorth, Harvey Friedman, Hilary Putnam, Howard Jerome Keisler, Jonathan Pila, Julia Knight, Logique mathématique, Menachem Magidor, Michael Rabin, Per Martin-Löf, Ronald Jensen, Solomon Feferman, Stevo Todorčević, Thomas Hales, Université de Californie à Berkeley, W. Hugh Woodin, Willard Van Orman Quine, Yiannis Moschovakis, Zoé Chatzidakis.
Alex Wilkie
Alex James Wilkie est un mathématicien britannique né en 1948 à Northampton.
Nouveau!!: Conférences Tarski et Alex Wilkie · Voir plus »
Alexander S. Kechris
Alexander Sotirios Kechris (en Αλέξανδρος Σωτήριος Κεχρής, né le) est un mathématicien américain d'origine grecque, spécialiste de la théorie des ensembles et de logique mathématique, travaillant au California Institute of Technology.
Nouveau!!: Conférences Tarski et Alexander S. Kechris · Voir plus »
Alexandre Razborov
Alexandre Alexandrovitch Razborov (Алекса́ндр Алекса́ндрович Разбо́ров, né le), connu aussi sous le nom de Sacha Razborov, est un mathématicien et un informaticien théoricien soviétique et russe.
Nouveau!!: Conférences Tarski et Alexandre Razborov · Voir plus »
Alfred Tarski
Alfred Tarski, né Alfred Teitelbaum le à Varsovie et mort le à Berkeley en Californie, est un logicien et un philosophe polonais, un des maîtres de l'école polonaise de logique et l'un des mathématiciens logiciens les plus éminents du, fondateur de la théorie des modèles et de la sémantique formelle.
Nouveau!!: Conférences Tarski et Alfred Tarski · Voir plus »
Anand Pillay
Anand Pillay (né le) est un logicien britannique, qui travaille dans le domaine de la théorie des modèles et de ses applications en algèbre et en théorie des nombres.
Nouveau!!: Conférences Tarski et Anand Pillay · Voir plus »
Angus Macintyre
Angus John Macintyre, né le, est un mathématicien britannique spécialiste de logique et de théorie des modèles, qui travaille aussi en algèbre et en combinatoire.
Nouveau!!: Conférences Tarski et Angus Macintyre · Voir plus »
Bjarni Jónsson
Bjarni Jónsson (1920-2016) est un mathématicien islandais qui travaille dans les champs de la logique, l'algèbre universelle et de la théorie des treillis.
Nouveau!!: Conférences Tarski et Bjarni Jónsson · Voir plus »
Boris Zilber
Boris Zilber (en russe: Борис Иосифович Зильбер), né en 1949 à Tachkent, est un mathématicien britannique d'origine russe qui travaille en logique mathématique et notamment en théorie des modèles.
Nouveau!!: Conférences Tarski et Boris Zilber · Voir plus »
Dana S. Scott
Dana Stewart Scott, né le à Berkeley en Californie, est un mathématicien et informaticien américain.
Nouveau!!: Conférences Tarski et Dana S. Scott · Voir plus »
Donald Martin
Donald Anthony Martin, né le, connu sous le nom Tony Martin, est un mathématicien et philosophe américain qui s'intéresse à la logique mathématique et à la théorie des ensembles.
Nouveau!!: Conférences Tarski et Donald Martin · Voir plus »
Ehud Hrushovski
Ehud Hrushovski (en hébreu: אהוד הרושובסקי), né le, est un mathématicien israélien spécialiste de logique mathématique, et notamment de théorie des modèles.
Nouveau!!: Conférences Tarski et Ehud Hrushovski · Voir plus »
Gregory Hjorth
Gregory (Greg) Hjorth (-) est un professeur australien de mathématiques, maître international d'Échecs (1984) et co-champion du Commonwealth (avec Ian Rogers) en 1983.
Nouveau!!: Conférences Tarski et Gregory Hjorth · Voir plus »
Harvey Friedman
Harvey Friedman (p. 38.) est un mathématicien logicien à l'université d'État de l'Ohio.
Nouveau!!: Conférences Tarski et Harvey Friedman · Voir plus »
Hilary Putnam
Hilary Whitehall Putnam, né le à Chicago, en Illinois, et mort le à Arlington (Massachusetts), est un philosophe américain.
Nouveau!!: Conférences Tarski et Hilary Putnam · Voir plus »
Howard Jerome Keisler
Howard Jerome Keisler (né en 1936) est un mathématicien américain, professeur émérite à l'université du Wisconsin à Madison.
Nouveau!!: Conférences Tarski et Howard Jerome Keisler · Voir plus »
Jonathan Pila
Jonathan Solomon Pila (né en 1962) est un mathématicien australien, lecteur à l'université d'Oxford.
Nouveau!!: Conférences Tarski et Jonathan Pila · Voir plus »
Julia Knight
Julia Knight (née Frandsen) est une mathématicienne américaine spécialisée en logique mathématique, professeure de mathématiques à l'université Notre-Dame-du-Lac.
Nouveau!!: Conférences Tarski et Julia Knight · Voir plus »
Logique mathématique
La logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du, qui s'est donné comme objet l'étude des mathématiques en tant que langage.
Nouveau!!: Conférences Tarski et Logique mathématique · Voir plus »
Menachem Magidor
Menachem Magidor (né en 1946) est un mathématicien israélien qui est spécialiste en logique mathématique, en particulier la théorie des ensembles.
Nouveau!!: Conférences Tarski et Menachem Magidor · Voir plus »
Michael Rabin
Michael Oser Rabin, né le à Breslau en Allemagne, maintenant Wrocław en Pologne) est un informaticien et un logicien israélien. Il a été récipiendaire du prix Turing, la récompense la plus prestigieuse en informatique.
Nouveau!!: Conférences Tarski et Michael Rabin · Voir plus »
Per Martin-Löf
Per Martin-Löf est un logicien, philosophe et mathématicien suédois né en 1942.
Nouveau!!: Conférences Tarski et Per Martin-Löf · Voir plus »
Ronald Jensen
Ronald Björn Jensen (né le) est un mathématicien américain actif en Europe, principalement connu pour son travail en logique mathématique et en théorie des ensembles.
Nouveau!!: Conférences Tarski et Ronald Jensen · Voir plus »
Solomon Feferman
Solomon Feferman (-) est un philosophe et mathématicien américain actif en logique mathématique.
Nouveau!!: Conférences Tarski et Solomon Feferman · Voir plus »
Stevo Todorčević
Stevo Todorčević est un mathématicien canadien-français-serbe né le, l'un des plus grands logiciens du monde et un leader mondial de la théorie des ensembles et de ses applications aux mathématiques pures.
Nouveau!!: Conférences Tarski et Stevo Todorčević · Voir plus »
Thomas Hales
Thomas Callister Hales, né le, est un mathématicien américain.
Nouveau!!: Conférences Tarski et Thomas Hales · Voir plus »
Université de Californie à Berkeley
L'université de Californie à Berkeley (en anglais University of California, Berkeley), aussi appelée UC Berkeley, Berkeley, ou Cal, est une université publique américaine, située à Berkeley en Californie, sur la rive est de la baie de San Francisco.
Nouveau!!: Conférences Tarski et Université de Californie à Berkeley · Voir plus »
W. Hugh Woodin
William Hugh Woodin (né le à Tucson, Arizona) est un mathématicien américain, auteur de travaux importants en logique mathématique et théorie des ensembles.
Nouveau!!: Conférences Tarski et W. Hugh Woodin · Voir plus »
Willard Van Orman Quine
Willard Van Orman Quine, né le à Akron (Ohio et mort le à Boston (Massachusetts), est un philosophe, logicien et universitaire américain, l'un des principaux représentants de la philosophie analytique. Il est titulaire de la chaire Edgar Pierce en tant que professeur de philosophie à l'université Harvard de 1956 à 2000. Quine est l’auteur de nombreux articles, dont notamment Deux dogmes de l'empirisme, article célèbre de 1951 qui remet en cause la distinction entre énoncés analytiques et énoncés synthétiques, et Le Mot et la Chose en 1960, où il propose sa thèse de l'indétermination de la traduction et une critique de la notion de « signification ». L’œuvre de Quine a eu une influence majeure dans les domaines de la philosophie, de la logique, de l'épistémologie et de la sémantique. Son projet d'une « épistémologie naturalisée » a notamment permis d'amorcer un tournant dans la pensée contemporaine.
Nouveau!!: Conférences Tarski et Willard Van Orman Quine · Voir plus »
Yiannis Moschovakis
Yiannis Nicholas Moschovakis (en Γιάννης Μοσχοβάκης; né le à Athènes) est un mathématicien et logicien spécialiste en théorie des ensembles, théorie descriptive des ensembles, et théorie de la récursivité.
Nouveau!!: Conférences Tarski et Yiannis Moschovakis · Voir plus »
Zoé Chatzidakis
Zoé Maria Chatzidakis est une mathématicienne française, directrice de recherche au CNRS (UMR 8553 - École normale supérieure Ulm à Paris), équipe Algèbre et géométrie.
Nouveau!!: Conférences Tarski et Zoé Chatzidakis · Voir plus »