ⓘ L'encyclopédieя. Le saviez-vous? page 31

Portail: Logique/Le saviez-vous?/Février

La correspondance de Curry-Howard établit le lien très fort qui existe entre calcul et démonstration. En particulier, toute démonstration peut-être vue comme un programme et vice et versa et tout type peut-être vu comme une proposition et vice et ...

Portail: Logique/Le saviez-vous?/Mars

Larticle fondateur de la logique combinatoire signé de Moses Schönfinkel, juif soviétique, na pas été écrit par lui mais, à la suite de la conférence que ce dernier avait donnée, par Heinrich Behmann qui sera plus tard un nazi.

Portail: Logique/Le saviez-vous?/Avril

La logique linéaire inventée par le logicien Jean-Yves Girard en 1986, est un produit de la théorie de la démonstration moderne. Elle résulte dune analyse du comportement des preuves des logiques classique et intuitionniste au travers de la procé ...

Portail: Logique/Le saviez-vous?/Mai

Une conjecture est une proposition mathématique dont on ne sait pas si cest un théorème ou non. Lune des dernières conjectures à "tomber" a été la conjecture de Kepler. Comme sa démonstration na satisfait les mathématiciens quà 99%, ses promoteur ...

Portail: Logique/Le saviez-vous?/Juin

La thèse de Church est un résultat important de logique et de calculabilité qui affirme que toute fonction intuitivement calculable est effectivement calculable au sens formel du terme. Cet énoncé ne peut pas être démontré, car il associe une not ...

Portail: Logique/Le saviez-vous?/Septembre

Quand Gödel présenta pour la première fois son fameux théorème dincomplétude de larithmétique à un séminaire à Königsberg qui rassemblait le gratin des logiciens du moment, y compris Hilbert qui na pas assisté à lexposé, personne ou presque nen a ...

Portail: Logique/Le saviez-vous?/Octobre

Le grand logicien Alfred Tarski avait une méthode très particulière de travailler. Il le faisait la nuit en fumant beaucoup et en buvant de la vodka, en général avec ses étudiants à qui il imposait son horaire et ses méthodes. Cela ne les empêcha ...

Portail: Logique/Le saviez-vous?/Novembre

Le logicien Frank Ramsey et le révérend Michael Ramsey 100 e archevêque de Cantorbéry étaient frères. Ils ne sont pas apparentés avec le basketeur Frank Ramsey.

Portail: Logique/Le saviez-vous?/Décembre

Jean Louis Maxime Van Heijenoort, né à Creil en 1912, fut un pionnier de lhistoire de la logique mathématique. Il fut aussi le secrétaire personnel de Léon Trotsky de 1932 à 1939.

Portail: Optique/ADQ

Aucun article na encore été reconnu comme article de qualité: Aidez-nous à en rédiger! Larticle suivant a été reconnu comme bon article: Verre optique

Portail: Optique/Portails connexes

Portail de l’astronomie Portail de la chimie Portail des mathématiques Portail de la médecine Portail de l’électricité et de l’électronique Portail de l’oeil et de la vue Portail des couleurs Portail de la photographie Portail des sciences des ma ...

Portail: Optique/Présentation

Loptique est un domaine de la physique recouvrant lensemble des phénomènes, sciences et techniques ayant trait à la mesure ou à la génération de la lumière, des couleurs ou plus généralement des photons et des ondes électromagnétiques. Loptique s ...

Abada (patronyme)

Le nom de famille français Abada tire son origine d’un sobriquet. Les noms de famille qui dérivent d’un sobriquet constituent un vaste éventail. Ces noms sont caractérisés par leur grande variété. Cette catégorie englobe plusieurs sources possibl ...

Abadia (patronyme)

Abadia, Badia ou encore Badias viennent du latin abbatia, qui signifie abbaye ou monastère régi par un abbé. Abadia signifie donc un monastère régi par un abbé. Il peut être dorigine basque dont lorigine étymologique du mot est Abadia et qui sign ...

Abate

La famille Abad ou Abate est une famille subsistante de la noblesse espagnole dextraction ancienne de 1176, dorigine florentine et sicilienne, elle est initialement dénommée Abati au XIIe siècle et "Abate" ou "Abbate" à la fin du XIIIe siècle. El ...

Abraham (patronyme)

Abraham est une figure biblique dont le nom est porté non seulement comme prénom mais aussi comme nom de famille. Selon les pays, il est adapté aux syntaxes locales, comme: Avraamovitch en Russie .

Ai (prénom)

Ai Fukuhara, joueuse de tennis de table Ai Kago, actrice, ex-chanteuse-idole japonaise avec les groupes Morning Musume, Mini Moni, W Double You Ai Yazawa, dessinatrice de manga Ai Shibata, championne de natation Ai Shimizu, actrice doubleuse dani ...

Aït Merghad

Les Aït Merghad occupent une portion du versant sud du Haut-Atlas central et oriental, à cheval sur les palmeraies présahariennes et les sommets de la chaîne atlassique. La vallée du Ghéris constitue leur foyer central, mais il la débordent, au s ...

Akahiko

Akahiko est un prénom japonais masculin. Cest aussi un nom de famille, des confusions sont possibles car les kanji employés peuvent être les mêmes.

Akgüloğlu

Akgül est un nom de famille turc composé de ak qui signifie "blanc" et gül qui signifie "rose". Il signifie donc "rose blanche". Akgüloğlu est composé de ak et gül, auxquels s’ajoute le suffixe à valeur patronymique - oğlu qui signifie "fils de", ...

Akio (prénom)

Akio Morita est lun des fondateurs de la compagnie japonaise Sony. Akio Tanaka est un mangaka japonais. Akio Nishizawa est le réalisateur du film danimation Nitaboh. Akio Chiba est un dessinateur de manga japonais. Akio Jissōji est un réalisateur ...

Albrizzi

Le nom italien Albrizzi, équivalent du français Aubry, dorigine germanique provient du nom Alberico. Le suffixe génitif -i indique la descendance. Le nom est dérivé du latin Albericus: roi des elfes. Des variantes existent: Albericci en Corse, Al ...

Aleksa

Aleksa est un prénom serbe de genre masculin dérivé du prénom Alexandre. Aleksa est un prénom très répandu en Serbie notamment grâce au poète Aleksa Šantić en.

Alexis (prénom)

Le prénom français Alexis a pour origine le prénom grec ancien Ἄλεξις / Álexis, signifiant "le secourable", dérivé du verbe ἀλέξειν / aléxein. Curieusement, Alexis est devenu, aux États-Unis et dans plusieurs pays européens, un prénom féminin. Ce ...

Alix (prénom)

Alix est un prénom à lorigine féminin mais qui est désormais épicène. Cest une variante graphique dAlice, également issu du germanique Adaleidis qui a par ailleurs donné la forme savante Adélaïde.

Alliaume

Alliaume est un nom de famille présent dans la région du Nord-Ouest de la France et répandu en Normandie, variante dAlleaume, représentant le nom dorigine germanique Adalhelm, ancien surnom de guerrier. Alliaume est aussi un prénom.

Maison dAllinges

Certains membres ont été châtelains de: Montjoie 1436-1565 ; Châtelet du Crédoz 1445 ; Chaumont 1466-1510 ;

Almeida (patronyme)

Lorigine du patronyme Almeida provient de Al - Maida, signifiant dans le Coran sourate 5 "La Table Servie". En géographie, ce nom signifie "plateau", raison pour laquelle existait à Oran Algérie le plateau dAlmeida. Ce plateau nommé par les Espag ...

Aloïse

Selon les pays, le prénom a ainsi pris différentes formes: Prénoms masculins Pays-Bas: Aloys Pologne: Alojzy France: Aloïs, Aloys, Aloïse, Aloyse Slovénie: Alojz Irlande: Alabhaois Tanzanie / Swahili: Aloyce Brésil: Aloisio Biélorussie: Aloiza Al ...

Amar (patronyme)

Trois possibilités selon les origines nom indien dorigine sanskrite amar "dieu éternel", littéralement "immortel"), notamment dans le cas de Gurû Amar Das "Serviteur de lÉternel" nom méridional, variante dAimar, surtout porté dans les Hautes-Alpe ...

Ami

AMI peut faire référence à: American Megatrends Incorporated, une compagnie informatique produisant des puces. Aeronautica Militare Italiana, la force aérienne italienne depuis 1946 ; AMI Co., Ltd., un éditeur de jeux vidéo japonais ; Association ...

Anaël

Anael est un prénom épicène. En effet, bien quoriginellement masculin, aujourdhui, il est également féminin. Cependant, pour une fille, la graphie Anaelle est généralement préférée.

André (patronyme)

Le patronyme André vient du prénom André. Il est notamment lun des douze apôtres. Ce nom est dorigine grecque Andros = homme, latinisé en Andreas, et signifie viril.

Angeleno

Angeleno ou angelino, est un gentilé utilisé pour parler dun habitant ou de quelque chose relatif à la ville de Los Angeles, en Californie.

Anicet (prénom)

Près de 1945 personnes ont été prénommées Anicet au XX e siècle en France, parmi lesquelles 123 sont des filles. Le pic au cours de ce siècle a été relevé en 1948 avec 41 personnes ayant reçu ce prénom.

Anne

Anne est un nom propre dorigine hébraïque, surtout utilisé comme prénom. Anne est un prénom épicène aujourdhui en majorité féminin. Sa fête principale est le 26 juillet.

Anonymat

L anonymat est la qualité de ce qui est sans nom ou sans renommée, cest-à-dire létat dune personne ou dune chose: dont on ignore le nom, lidentité Littré: "garder lanonyme" est "faire un secret de son nom" qui nest pas connue ou célèbre Littré: u ...

Anthonioz

Anthonioz est un nom de famille, dérivant d Antoine, Anthoine, du latin Antonius - "celui qui fait face", "qui se dresse face à ses adversaires" -, que lon trouve principalement en Haute-Savoie, avec pour unique origine le col des Gets reliant le ...

Aoki (prénom)

Aoki est un économiste japonais ayant pensé les types dentreprises comme différentes façon de répartir les tâches selon différents types de hiérarchies.

Aouissi

Le nom de famille Aouissi fait référence aux "Banou Aïssa", descendants d Aïssa Ibn Mohamed El Cherifi El Idrissi, "Aouissi" étant un diminutif pour le désigner, signifiant "petit Aïssa". Il serait lui-même descendant du prophète Mahomet.

Apodo

L’ apodo fait souvent référence à la ville d’origine du matador. Ainsi, El Cordobés "Le Cordouan", El Chiclanero "originaire de Chiclana". Parfois, l’ apodo fait référence, non à la ville, mais au quartier d’origine. Ainsi le quartier sévillan de ...

Araújo

Araújo, Araujo ou Arauxo est un nom de famille dorigine galicienne et portugaise. Le nom de famille Araujo prend ses origines du lieu où un templier du nom de Don Rodrigo Anes, issu dune lignée de croisés et de nobles français, a été récompensé p ...

Arıcıoğlu

Arı est un prénom turc qui signifie "pur, chaste, immaculé, innocent". Le vocable arı est un substantif turc qui signifie "abeille". Arı est également un nom de famille et un toponyme turc. Le vocable arıcı est un substantif turc composé de arı e ...

Asselin (patronyme)

Asselin est un ancien anthroponyme germanique, devenu nom de baptême. Il est dérivé du surnom germanique Aszo, lui-même hypocoristique du thème Adal, noble. On lécrivait jadis également Ascelin Taille de Paris, 1292. Cest un nom surtout picard et ...

Astruc (patronyme)

Cest un nom relativement rare dans les pays francophones. Environ 3 800 personnes le portent en France, cest le 1 571 e nom en termes de fréquence. En France il était fréquent principalement dans le Comtat Venaissin au Moyen Âge. Au début du XX e ...

Famille Ayed

Parmi ses membres notables figurent: Abdelaziz Ayed, fellaga et gouverneur Ridha Ayed?-2011, universitaire, homme politique et dirigeant sportif, Ahmed Ayed, notable de Ksar Hellal dont la maison abrite le premier congrès du Néo-Destour en 1934 p ...

Azami

Azami Kiryu est personnage secondaire du jeu vidéo dhorreur Fatal Frame. Azami est un personnage du Gekigalmanga historique Lone Wolf and Cub. Azami est aussi le nom de lépouse et le nom de larme que porte le personnage Gen-An Shiranui du jeu vid ...

Azusa (prénom)

Azusa Noa est un romancier japonais. Azusa Kobayashi 小林梓 est une chanteuse et mannequin japonaise. Azusa Nakajima 中島梓 est le pseudonyme de Kaoru Kurimoto 栗本薫, une romancière japonaise. Azusa Matsuzawa est un ancien membre du groupe de J- ...

Ba (nom de famille)

Ibrahim Ba 1973-, footballeur français Omar Ba 1982-, écrivain sénégalais Sangaré Niamoto Ba 1955-, femme politique malienne Hamchétou Maïga-Ba 1978-, basketteuse malienne Adame Ba Konaré 1947-, historienne malienne Khalifa Elhadj Ba 1985-, footb ...

Famille Baccouche

Son fondateur, Mohamed Baccouche 1833-1896, originaire de Béni Khiar, descend dune famille darboriculteurs installée à Béni Khiar après avoir quitté lAndalousie au XVII e siècle. Il occupe des fonctions importantes à la cour beylicale dans la deu ...