Résultats de la recherche

|légende = Sy David Friedman en juillet 2007}} ...athématicien logicien]] américain qui travaille en logique mathématique et en théorie des ensembles. ...

...me de correspondance de Post]]<ref name="Post46"> {{article|langue=en|lang=en|année = 1946|auteur = E. L. Post| url=http://www.ams.org/bull/1946-52-04/S0 Il a également publié en 1921 une étude exhaustive des [[clone (mathématiques)|clones]] des algèbres ...

{{Ébauche|mathématicien|personnalité française}} ...39]], est un [[mathématicien]] [[France|français]] spécialisé en [[logique mathématique]]. ...

...s aussi la philosophie et la psychologie et en 1935 il obtient un doctorat en philosophie. ...et il contribua activement à faire reconnaître au niveau international la logique au sein des disciplines académiques. ...

| domaines = [[Mathématiques discrètes]], [[cybernétique]] [[logique mathématique]] ...), spécialiste en [[mathématiques discrètes]], [[cybernétique]], [[logique mathématique]], lauréat du [[prix Lénine]] (1966). ...

...ntemporain, [[directeur de recherche au CNRS]] (émérite) au département de logique de la programmation de l'institut de mathématiques de [[Luminy]] (devenu l' Il a reçu la [[médaille d'argent du CNRS]] en 1983. Depuis 1994, il est correspondant de l'[[Académie des sciences (Franc ...

...nce|3=1947}}, est une mathématicienne américaine, spécialiste de [[logique mathématique]]. Elle est professeure agrégée émérite de mathématiques à l'[[université L Leggett est la [[Rédacteur en chef|rédactrice en chef]] du bulletin d'information de l'[[Association for Women in Mathematic ...

...n]] américain qui a travaillé en [[théorie axiomatique des ensembles]], et en [[fondements des mathématiques]]. ...éplacer en chaise roulante ; il se retire en éméritat en 2004, et il meurt en 2011 d'un crise cardiaque<ref name="LA">Jean A. Larson, [https://arxiv.org/ ...

...1823}} - {{date de décès|29|décembre|1891}}) est un [[mathématicien]] et [[logique|logicien]] [[Allemagne|allemand]]. Persuadé que l'[[arithmétique]] et l'[[a Cela met Kronecker en opposition avec certains développements mathématiques de [[Georg Cantor]], ...

...en]] [[Israël|israélien]] qui est spécialiste en [[logique mathématique]], en particulier la [[théorie des ensembles]]. Il a reçu son [[Philosophiæ doctor|doctorat]] en 1973 à l'université hébraïque. Sa thèse, ''On Super Compact Cardinals'', a ...

...pe]], principalement connu pour son travail en [[logique mathématique]] et en [[théorie des ensembles]]. ...ord]], et l'[[université Humboldt de Berlin]], jusqu'à prendre sa retraite en 2001. Il réside actuellement à [[Berlin]]. ...

...si ce n'est le père fondateur, de la [[théorie de l'information]]. Il est en 1956 l'un des organisateurs de la [[conférence de Dartmouth]], considérée c ...uvert){{refsou}}. Il obtient un doctorat ([[PhD]]) en mathématiques au MIT en 1940<ref name="mactutor" />. ...

...nic Institute|fr=institut polytechnique Ivanovo-Voznesensk}}<ref name=ig>{{En}}V.I. Igoshin, ''[https://iopscience.iop.org/article/10.1070/RM1996v051n03A ...totalement ordonnés]] qui fut finalement démontré [[Indépendance (logique mathématique)|indépendant]] des [[Théorie des ensembles de Zermelo-Fraenkel|axiomes usue ...

...lds-PIMS]] en 2012<br/>prix Shoenfield en 2013<br>prix Gödel conférenciers en 2016 ...vo Todorcevic]</ref>. Il est titulaire d'une chaire de recherche du Canada en mathématiques à l'Université de Toronto<ref>[https://www.math.toronto.edu/c ...

| date de naissance = {{Date de naissance|7|février|1883|en science}} | date de décès = {{Date de décès|21|décembre|1960||||en science}} ...

| légende = <center>J. Bernoulli, peint en 1687</center><center>par [[Famille Bernoulli|son frère Nicolas (1662-1716)] ...'Jakob Bernoulli''' (27 décembre [[1654 en science|1654]] - 16 août [[1705 en science|1705]]) est un [[mathématicien]] et [[physicien]] [[suisse]] (né et ...

...amment sur la notion de tiers inclus. Cette logique générale, englobant la logique classique comme un cas particulier, vise à rendre compte du devenir tri-pol ...relation. En [[1926]], il publie un livre de poèmes, ''Dehors...''(Stock). En [[1929]], il épouse Georgette Ghica. ...

| légende = Marcel-Paul Schützenberger en 1972. | diplôme = Docteur d'État en mathématiques, docteur en médecine ...

| alt = Jean Bénabou en 2015. | légende = Jean Bénabou à Paris, en 2015. ...

{{titre en italique}} '''''Science et Méthode''''' est un livre d'[[Henri Poincaré]] publié en [[1908]]<ref>{{Lien web|titre=Notice bibliographique dans le catalogue géné ...