Résultats de la recherche

Il a été popularisé par le mathématicien [[Logique mathématique|logicien]] [[Raymond Smullyan]], qui l'a appelé le ''{{Langue|en|drinking principle} {{refsou|Le logicien [[Jean-Louis Krivine]] présente ce paradoxe dans des écrits informels comme ...

...03}} à [[Oxford]], est un [[astronome]] et [[mathématicien]] [[Royaume-Uni|anglais]]. Ses travaux sont précurseurs de ceux de [[Isaac Newton|Newton]]. Il est [[Catégorie:Mathématicien anglais du XVIIe siècle]] ...

...e chose », il s'agit ici du mot néerlandais « De » qui signifie « The » en anglais, c'est-à-dire « le » (voir [[Particule (onomastique)#Majuscule ou minuscule ...jamais jusque-là.|2=Incomplet et de ce fait incompréhensible - cf article anglais}} ...

...t d'une règle admissible dans l'[[arithmétique de Heyting]]. Plus tard, le logicien [[Harvey Friedman]] a montré que la règle de Markov est une règle admissibl ...tive Mathématiques constructives (Stanford Encyclopedia of philosophy) (en anglais)] ...

...Landen]] (né en [[1719 en science|1719]]), [[mathématicien]] [[Angleterre|anglais]]. ...th]] (né en [[1723 en science|1723]]), [[philosophe]], [[économiste]] et [[logicien]] [[Écosse|écossais]]. ...

...ie des ensembles|théorie axiomatique des ensembles]], certains traduits en anglais et en allemand. [[Catégorie:Logicien français]] ...

...at=pdf |date=25 février 2018}}</ref>{{,}}<ref name=":4">{{Lien web |langue=anglais |auteur=Jean-Yves Girard |titre=Transcendental syntax IV: logic without sys ...12|pages=1860-1883|date=2011}}</ref>{{,}}<ref name=":1">{{Lien web |langue=anglais |auteur=Jean-Yves Girard |titre=Geometry of Interaction VI : a blueprint fo ...

...e la nature [[Autoréférence|autoréférentielle]] de l'énoncé ; le [[Logique|logicien]] [[Frederic Brenton Fitch]] a montré en 1964 que le problème peut être exp ...niques de l'Ingénieur |consulté le=2023-08-21}}</ref>, probablement du nom anglais de ce paradoxe<ref>{{Article|langue=en|prénom1=Timothy Y.|nom1=Chow|titre=T ...

...tique. Les années 1930 ont vu arriver une nouvelle génération de logiciens anglais et américains, notamment [[Alonzo Church]], [[Alan Turing]], [[Stephen Cole ...nt ces notions peuvent être reliées, espérant qu'ainsi la vérité, quête du logicien, puisse être cernée. ...

...[[Roland Fraïssé]] (né en [[1920 en science|1920]]), [[mathématicien]] ([[logicien]]) [[France|français]]. ...eil Bartlett]] (né en [[1932 en science|1932]]), [[chimiste]] [[Angleterre|anglais]]. ...

* [[John Lawson]] : mathématicien anglais, sa dissertation sur l'analyse géométrique des anciens Grecs est dans la dr * [[Pierre de La Ramée]] : logicien et philosophe français. Son œuvre eut une influence fondamentale sur la pen ...

La machine de Krivine a été inventée par le logicien français [[Jean-Louis Krivine]] au début des années 1980. ...re, les noms choisis ici ont l'avantage d'être les mêmes en français et en anglais.</ref> ...

...athbf{HA}^\omega</math> est un [[système formel]]. Il a été inventé par le logicien [[Kurt Gödel]]<ref name=":10">{{Article|langue=de|auteur1=[[Kurt Gödel]]|ti ...ue}</math> (Vrai en anglais) et <math>\operatorname{False}</math> (Faux en anglais), ainsi qu'une construction <math>\operatorname{if}_A u~v~w</math> avec <ma ...

...dstein se termine par 0. Il doit son nom à son auteur, le mathématicien et logicien [[Reuben Goodstein]]. ...'(4) est de l'ordre de {{nobr|10{{exp|120 000 000}}}}<ref>{{Ouvrage|langue=anglais|auteur1=James M. Henle|titre=An Outline of Set Theory|éditeur=|année=|url=h ...

...[[Racine grecque#P|à côté]] du cohérent'', {{Langue|en|paraconsistent}} en anglais) - n'a été employé qu'après [[1976]] par le [[philosophe]] [[Pérou|péruvien ...en anglais «{{langue|en|Logic of paradox}}»), proposée initialement par le logicien argentin {{Lien|langue=en|fr=F. G. Asenjo}} en 1966 et popularisé par Pries ...

...sion du [[lambda-calcul simplement typé]] introduite indépendamment par le logicien [[Jean-Yves Girard]] et par l'informaticien [[John C. Reynolds]]. ...nguages|''Use in programming languages'']] de l'article de la Wikipédia en anglais}} ...

...e certaine portée philosophique vis-à-vis de la calculabilité et est dû au logicien [[Henry Gordon Rice]]. ...are|éditeur=|année=|passage=p. 16|isbn=}}</ref>{{,}}<ref>{{Lien web|langue=Anglais|titre=Cours sur les méthodes formelles par John Rushby|url=http://www.csl.s ...

* Le produit de mélange (en anglais ''shuffle product'') de deux langages rationnels est un langage rationnel ( Le [[Lemme de l'étoile|lemme d'itération]] (en anglais ''pumping lemma'', traduit parfois malheureusement par ''lemme de pompage'' ...

...avec une modalité dite de « prouvabilité »<ref name=":2">{{Lien web|langue=anglais|titre=Kurt Gödel, 2.5.3 Intuitionistic Propositional Logic is Interpretable ...en comprendre la logique classique et ses subtilités. Allant plus loin, le logicien [[Jean-Yves Girard]] a proposé une logique plus faible que la logique intui ...

Les premiers pavages apériodiques apparurent en 1961, lorsque [[Wang Hao (logicien)|Wang Hao]] essaya de déterminer si le {{lien|trad=Domino Problem|problème ...découvertes à partir de 1996<ref name=":0" />{{,}}<ref>{{Lien web|langue = anglais|titre = An aperiodic monotile|auteur1 = David Smith|auteur2 = Joseph Samue ...