Résultats de la recherche

...Date|7|juillet|1908}} - {{Date|12|avril|1964}}) est un [[philosophe]] et [[logicien]] [[Pays-Bas|néerlandais]] dont les travaux concernent essentiellement les ...er ouvrage, "méthode des arbres de vérité" et élaborée par [[Roger Martin (logicien)|Roger Martin]]). ...

...n-Yves Girard''', né en [[1947]] à [[Lyon]], est un [[logique mathématique|logicien]] et [[Mathématiques|mathématicien]] contemporain, [[directeur de recherche [[Catégorie:Mathématicien français du XXe siècle]] ...

La terminologie fait référence au logicien [[Thoralf Skolem]] et les fonctions introduites, que l'on peut voir comme d On appelle aussi herbrandisation, du nom du logicien français [[Jacques Herbrand]], la transformation duale de la skolémisation, qui trad ...

...ort en [[1875 en science|1875]]), [[Hydrogéologie|hydrogéologue]] [[France|français]]. ...[[géographe (métier)|géographe]], [[géologue]] et [[naturaliste]] [[France|français]]. ...

...]] : ''Telliamed ou entretiens d'un philosophe indien avec un missionnaire français sur la diminution de la mer, la formation de la terre, l'origine de l'homme ...uis Monge]] (mort en [[1827 en science|1827]]), [[mathématicien]] [[France|français]]. ...

'''Jean-Louis Krivine''', né en [[1939]], est un [[mathématicien]] [[France|français]] spécialisé en [[logique mathématique]]. ...= Pierre-Louis Curien|auteur2= Gilles Pisier|titre= Le prix du rayonnement français 2004: Jean-Louis Krivine|périodique= Gazette des mathématiciens|numéro= 104 ...

}}.</ref> et en français sous le titre ''Introduction à la logique mathématique'' [[Catégorie:Logicien russe]] ...

Le logicien français [[Jean-Louis Krivine]] a fait le rapport entre différents théorèmes mathéma Comme l'a relevé Bernard Lang<ref>{{Article|langue=Français|auteur1=Bernard Lang|titre=Internet libère les logiciels|périodique=La rech ...

...n'est pas la même que celle que l'on peut retrouver dans un nom de famille français de la forme « de quelque chose », il s'agit ici du mot néerlandais « De » q [[Catégorie:Logicien britannique]] ...

...rles Fehrenbach]] (né en [[1914 en science|1914]]), [[astronome]] [[France|français]]. ...né en [[1920 en science|1920]]), [[mathématicien]] ([[logicien]]) [[France|français]]. ...

...}}</ref>}}, dans le ''Cours de calcul différentiel et intégral'' (1868) du Français [[Joseph-Alfred Serret|Alfred Serret]]. Genocchi lui affirme qu'il le savai ...plusieurs erreurs ou inexactitudes parues en particulier dans les ouvrages français de [[Joseph-Alfred Serret|Serret]] ou de [[Camille Jordan (mathématicien)|J ...

Le '''[[paradoxe]] de Hempel''' a été proposé par le logicien allemand [[Carl Gustav Hempel]]<ref name=CH/> dans les années 1940 pour ill Le mathématicien français [[Jean-Paul Delahaye]] propose une explication basée sur les probabilités o ...

...aticus]] : Cours de [[Pierre Hérigone]], vulgarisant l'algèbre nouvelle en français (1634). * [[James Hume]] de Godscroft, mathématicien français d'origine écossaise. Il publie en [[1636]] une algèbre facile inspirée de V ...

...yntaxe transcendantale''' est une conception de la logique proposée par le logicien [[Jean-Yves Girard]] dans une série d'articles<ref name=":0">{{Lien web |la Dans son livre ''Le Point Aveugle''<ref>{{Ouvrage|langue=français|auteur1=Jean-Yves Girard|titre=Le Point Aveugle: Tome 1|éditeur=Hermann|ann ...

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

...nt ces notions peuvent être reliées, espérant qu'ainsi la vérité, quête du logicien, puisse être cernée. ...correspond à <math>(P\vee Q)\wedge \neg(P\wedge Q)</math>, c'est-à-dire en français : soit ''P'', soit ''Q'', mais pas les deux à la fois. Le ou exclusif de '' ...

...ois de [[nivôse]] dans le [[calendrier républicain]] / ''révolutionnaire'' français, officiellement dénommé ''jour du [[chat]]''. ...le président américain [[Franklin Delano Roosevelt|Roosevelt]], le général français [[Charles de Gaulle|De Gaulle]] et le premier ministre britannique [[Winsto ...

...e certaine portée philosophique vis-à-vis de la calculabilité et est dû au logicien [[Henry Gordon Rice]]. ...te]], la [[vérification de modèles]] (model checking<ref>{{Lien web|langue=Français|titre=Cours sur le model checking par Gerard Berry au Collège de France|url ...

...{Lien web|titre=logicien — Wiktionnaire|url=https://fr.wiktionary.org/wiki/logicien|site=fr.wiktionary.org|consulté le=2020-05-25}}.</ref> du {{s-|XIX}} se son Contrairement à un [[langage naturel]], comme le [[français]], la logique du premier ordre est un [[langage formel]]. Cette section don ...

...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 ==== En français ==== ...