Accès plus rapide que le navigateur!
46 relations: Académie des sciences (France), École normale primaire, École normale supérieure de Lyon, Calcul des séquents, Centre national de la recherche scientifique, Correspondance de Curry-Howard, Dag Prawitz, Diplôme national de doctorat, Diplôme national de master, Directeur de recherche au CNRS, Directeur de thèse, Ernest Nagel, Essence (philosophie), Existence, Fondements des mathématiques, Georg Kreisel, Informatique, James R. Newman, Jean-Louis Krivine, Joachim Lambek, Kurt Gödel, Licence de mathématiques, Linguistique, Logique, Logique d'ordre supérieur, Logique linéaire, Logique mathématique, Luminy, Lyon, Marseille, Mathématiques, Médaille d'argent du CNRS, Monsieur Homais, Nombre ordinal, Parfait (grammaire), Philosophie, Pour la science, Réseau de preuves, Ressource (informatique), Sciences et Avenir, Système F, Théorèmes d'incomplétude de Gödel, Théorie des catégories, Théorie des types, Université Paris-Diderot, 1947.
Académie des sciences (France)
L’Académie des sciences, nommée l'Académie royale des sciences lors de sa création en 1666, est l'une des cinq académies regroupées au sein de l'Institut de France.
Nouveau!!: Jean-Yves Girard et Académie des sciences (France) · Voir plus »
École normale primaire
Une école normale primaire était un établissement chargé de former les instituteurs et institutrices en France, de 1808 à 1991.
Nouveau!!: Jean-Yves Girard et École normale primaire · Voir plus »
École normale supérieure de Lyon
L'École normale supérieure de Lyon (ou ENS de Lyon) est une grande école scientifique et littéraire française, l'une des quatre écoles normales supérieures.
Nouveau!!: Jean-Yves Girard et École normale supérieure de Lyon · Voir plus »
Calcul des séquents
En logique mathématique et plus précisément en théorie de la démonstration, le calcul des séquents est un système de déduction créé par Gerhard Gentzen.
Nouveau!!: Jean-Yves Girard et Calcul des séquents · Voir plus »
Centre national de la recherche scientifique
Le Centre national de la recherche scientifique, plus connu sous son sigle CNRS, est le plus grand organisme public français de recherche scientifique.
Nouveau!!: Jean-Yves Girard et Centre national de la recherche scientifique · Voir plus »
Correspondance de Curry-Howard
La correspondance de Curry-Howard, appelée également isomorphisme de Curry-de Bruijn-Howard, correspondance preuve/programme ou correspondance formule/type, est une série de résultats à la frontière entre la logique mathématique, l'informatique théorique et la théorie de la calculabilité.
Nouveau!!: Jean-Yves Girard et Correspondance de Curry-Howard · Voir plus »
Dag Prawitz
Dag Prawitz, né le, est un philosophe et logicien suédois.
Nouveau!!: Jean-Yves Girard et Dag Prawitz · Voir plus »
Diplôme national de doctorat
Le diplôme national de doctorat (DND) est le plus élevé des quatre grades universitaires en France.
Nouveau!!: Jean-Yves Girard et Diplôme national de doctorat · Voir plus »
Diplôme national de master
Le diplôme national de master français, parfois désigné par le sigle DNM, est délivré par un établissement public d'enseignement supérieur comme une université, deux ans après l’obtention du diplôme national de licence.
Nouveau!!: Jean-Yves Girard et Diplôme national de master · Voir plus »
Directeur de recherche au CNRS
Le corps des directeurs de recherche au CNRS (Centre national de la recherche scientifique) est, avec celui des chargés de recherche au CNRS, un des deux corps de fonctionnaires chercheurs du CNRS.
Nouveau!!: Jean-Yves Girard et Directeur de recherche au CNRS · Voir plus »
Directeur de thèse
Un directeur de thèse ou une directrice de thèse est une personne, généralement chercheuse ou enseignante-chercheuse, qui supervise le travail d'un doctorant.
Nouveau!!: Jean-Yves Girard et Directeur de thèse · Voir plus »
Ernest Nagel
Ernest Nagel (né le à Nové Mesto nad Váhom en royaume de Hongrie et mort le à New York, États-Unis) est un philosophe des sciences, spécialiste de physique.
Nouveau!!: Jean-Yves Girard et Ernest Nagel · Voir plus »
Essence (philosophie)
L'essence (du latin essentia, du verbe esse, être, traduction du grec ousia) désigne en métaphysique, sa nature, par distinction d'avec l'existence, qui est « l'acte d'exister » et d'avec l'accident, qui est ce qui appartient à la chose de manière contingente.
Nouveau!!: Jean-Yves Girard et Essence (philosophie) · Voir plus »
Existence
Le terme d'existence en soi est ambigu, il recouvre de multiples sens.
Nouveau!!: Jean-Yves Girard et Existence · Voir plus »
Fondements des mathématiques
Les fondements des mathématiques sont les principes de la philosophie des mathématiques sur lesquels est établie cette science.
Nouveau!!: Jean-Yves Girard et Fondements des mathématiques · Voir plus »
Georg Kreisel
Georg Kreisel (né le à Graz et mort le à Salzbourg) est un logicien des mathématiques d'origine autrichienne qui a étudié et travaillé au Royaume-Uni et aux États-Unis.
Nouveau!!: Jean-Yves Girard et Georg Kreisel · Voir plus »
Informatique
bibliothèque d'Art et d'Archéologie de Genève (2017). L'informatique est un domaine d'activité scientifique, technique, et industriel concernant le traitement automatique de l'information numérique par l'exécution de programmes informatiques hébergés par des dispositifs électriques-électroniques: des systèmes embarqués, des ordinateurs, des robots, des automates Ces champs d'application peuvent être séparés en deux branches.
Nouveau!!: Jean-Yves Girard et Informatique · Voir plus »
James R. Newman
James Roy Newman (1907-1966) est un mathématicien et historien des mathématiques américain.
Nouveau!!: Jean-Yves Girard et James R. Newman · Voir plus »
Jean-Louis Krivine
Jean-Louis Krivine, né en 1939, est un mathématicien français spécialisé en logique mathématique.
Nouveau!!: Jean-Yves Girard et Jean-Louis Krivine · Voir plus »
Joachim Lambek
Joachim Lambek (à Leipzig -) est un mathématicien canadien.
Nouveau!!: Jean-Yves Girard et Joachim Lambek · Voir plus »
Kurt Gödel
Kurt Gödel, né le à Brünn et mort le à Princeton (New Jersey), est un logicien et mathématicien autrichien naturalisé américain.
Nouveau!!: Jean-Yves Girard et Kurt Gödel · Voir plus »
Licence de mathématiques
En France, la licence en mathématiques est un diplôme validant les trois premières années universitaires.
Nouveau!!: Jean-Yves Girard et Licence de mathématiques · Voir plus »
Linguistique
La linguistique est une discipline scientifique s’intéressant à l’étude du langage.
Nouveau!!: Jean-Yves Girard et Linguistique · Voir plus »
Logique
La logique — du grec logikê, qui est un terme dérivé de lógos signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte.
Nouveau!!: Jean-Yves Girard et Logique · Voir plus »
Logique d'ordre supérieur
Les logiques d'ordre supérieur (en anglais, higher-order logic ou HOL) sont des logiques formelles permettant d'utiliser des variables qui réfèrent à des fonctions ou à des prédicats.
Nouveau!!: Jean-Yves Girard et Logique d'ordre supérieur · Voir plus »
Logique linéaire
date.
Nouveau!!: Jean-Yves Girard et Logique linéaire · 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!!: Jean-Yves Girard et Logique mathématique · Voir plus »
Luminy
Luminy vu du Mont PugetLuminy est un quartier de Marseille, adjacent au quartier du Redon.
Nouveau!!: Jean-Yves Girard et Luminy · Voir plus »
Lyon
Lyon (prononcé ou) est une commune française située dans le quart sud-est de la France, au confluent du Rhône et de la Saône.
Nouveau!!: Jean-Yves Girard et Lyon · Voir plus »
Marseille
MarseillePrononcé avec l'accent marseillais et en en français standard.
Nouveau!!: Jean-Yves Girard et Marseille · Voir plus »
Mathématiques
Les mathématiques (ou la mathématique) sont un ensemble de connaissances abstraites résultant de raisonnements logiques appliqués à des objets divers tels que les ensembles mathématiques, les nombres, les formes, les structures, les transformations; ainsi qu'aux relations et opérations mathématiques qui existent entre ces objets.
Nouveau!!: Jean-Yves Girard et Mathématiques · Voir plus »
Médaille d'argent du CNRS
La médaille d'argent du CNRS est une récompense scientifique décernée tous les ans en science à une quinzaine de chercheurs par le Centre national de la recherche scientifique (CNRS).
Nouveau!!: Jean-Yves Girard et Médaille d'argent du CNRS · Voir plus »
Monsieur Homais
Monsieur Homais est un personnage de fiction créé par Gustave Flaubert dans son roman Madame Bovary, paru en 1857.
Nouveau!!: Jean-Yves Girard et Monsieur Homais · Voir plus »
Nombre ordinal
Spirale représentant les nombres ordinaux inférieurs à ωω. En mathématiques, on appelle nombre ordinal un objet permettant de caractériser le type d'ordre d'un ensemble bien ordonné quelconque, tout comme en linguistique, les mots premier, deuxième, troisième, quatrième, etc.
Nouveau!!: Jean-Yves Girard et Nombre ordinal · Voir plus »
Parfait (grammaire)
Dans la grammaire de certaines langues, le terme parfait, du latin perfectum « accompli », dénomme seul une forme verbale temporelle de passé ou entre dans des syntagmes et des mots composés qui dénomment d'autres formes de passé.
Nouveau!!: Jean-Yves Girard et Parfait (grammaire) · Voir plus »
Philosophie
La philosophie, du grec ancien (composé de, « aimer », et de, « sagesse, savoir »), signifiant littéralement « amour du savoir » et communément « amour de la sagesse », est une démarche qui vise à une compréhension du monde et de la vie par une réflexion rationnelle et critique.
Nouveau!!: Jean-Yves Girard et Philosophie · Voir plus »
Pour la science
Pour la science est une revue mensuelle de vulgarisation scientifique française fondée en 1977.
Nouveau!!: Jean-Yves Girard et Pour la science · Voir plus »
Réseau de preuves
Les réseaux de preuves, inventés par le logicien Jean-Yves Girard en 1986 dans le cadre de la logique linéaire, sont un outil de démonstration formel pour cette même logique (c'est-à-dire une alternative aux séquents qui sont aussi employés en logique classique et intuitionniste).
Nouveau!!: Jean-Yves Girard et Réseau de preuves · Voir plus »
Ressource (informatique)
En informatique, les ressources sont des composants, matériels ou logiciels, connectés à un ordinateur.
Nouveau!!: Jean-Yves Girard et Ressource (informatique) · Voir plus »
Sciences et Avenir
Sciences et Avenir - La Recherche est un magazine mensuel français de vulgarisation scientifique créé en 1947.
Nouveau!!: Jean-Yves Girard et Sciences et Avenir · Voir plus »
Système F
Le est un formalisme logique qui permet d'exprimer de façon très riche et très rigoureuse des fonctions et d'y démontrer formellement des propriétés difficiles.
Nouveau!!: Jean-Yves Girard et Système F · Voir plus »
Théorèmes d'incomplétude de Gödel
Les théorèmes d'incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, publiés par Kurt Gödel en 1931 dans son article (« Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés »).
Nouveau!!: Jean-Yves Girard et Théorèmes d'incomplétude de Gödel · Voir plus »
Théorie des catégories
La théorie des catégories est l'étude des structures mathématiques et de leurs relations.
Nouveau!!: Jean-Yves Girard et Théorie des catégories · Voir plus »
Théorie des types
En mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques.
Nouveau!!: Jean-Yves Girard et Théorie des types · Voir plus »
Université Paris-Diderot
L'université Paris-DiderotNom d'usage dont s'est doté l'établissement par délibération de son conseil d'administration.
Nouveau!!: Jean-Yves Girard et Université Paris-Diderot · Voir plus »
1947
L'année 1947 est une année commune qui commence un mercredi.
Nouveau!!: Jean-Yves Girard et 1947 · Voir plus »
