Logique combinatoireEn logique mathématique, la logique combinatoire est une théorie logique introduite par Moses Schönfinkel en 1920 lors d'une conférence et développée dès 1929 par Haskell Brooks Curry pour supprimer le besoin de variables en mathématiques, pour formaliser rigoureusement la notion de fonction et pour minimiser le nombre d'opérateurs nécessaires pour définir le calcul des prédicats à la suite de Henry M. Sheffer. Plus récemment, elle a été utilisée en informatique comme modèle théorique de calcul et comme base pour la conception de langages de programmation fonctionnels.
Karl MarxKarl Marx ( ; en allemand : ), né le à Trèves dans le grand-duché du Bas-Rhin et mort le à Londres, est un philosophe, économiste, historien, sociologue, journaliste, théoricien de la révolution, socialiste et communiste prussien. Il est connu pour sa conception matérialiste de l'histoire, son analyse des rouages du capitalisme et de la lutte des classes, et pour son activité révolutionnaire au sein du mouvement ouvrier. Il a notamment été un des membres dirigeants de l'Association internationale des travailleurs (Première Internationale).
PostminimalismeLe postminimalisme est un terme utilisé dans divers domaines artistiques pour un travail qui est influencé par, ou tente d'aller au-delà l'esthétique du minimalisme. L'expression est utilisée spécifiquement en relation avec la musique et les arts visuels, mais peut se référer à n'importe quel domaine utilisant le minimalisme comme point de référence critique. En musique, le « post-minimalisme » fait référence à la musique qui suit la musique minimaliste. Le terme est inventé par Robert Pincus-Witten en 1971.
Informatique théoriquevignette|Une représentation artistique d'une machine de Turing. Les machines de Turing sont un modèle de calcul. L'informatique théorique est l'étude des fondements logiques et mathématiques de l'informatique. C'est une branche de la science informatique et la science formelle. Plus généralement, le terme est utilisé pour désigner des domaines ou sous-domaines de recherche centrés sur des vérités universelles (axiomes) en rapport avec l'informatique.
Kappa calculusIn mathematical logic, , and computer science, kappa calculus is a formal system for defining first-order functions. Unlike lambda calculus, kappa calculus has no higher-order functions; its functions are not first class objects. Kappa-calculus can be regarded as "a reformulation of the first-order fragment of typed lambda calculus". Because its functions are not first-class objects, evaluation of kappa calculus expressions does not require closures. The definition below has been adapted from the diagrams on pages 205 and 207 of Hasegawa.
Vérification de modèlesthumb|308x308px|Principe du model checking. En informatique, la vérification de modèles, ou model checking en anglais, est le problème suivant : vérifier si le modèle d'un système (souvent informatique ou électronique) satisfait une propriété. Par exemple, on souhaite vérifier qu'un programme ne se bloque pas, qu'une variable n'est jamais nulle, etc. Généralement, la propriété est écrite dans un langage, souvent en logique temporelle. La vérification est généralement faite de manière automatique.
Matérialisme historiqueLa conception matérialiste de l'histoire, appelée plus tard matérialisme historique, est une philosophie de l'histoire formulée au milieu du par Karl Marx et Friedrich Engels et selon laquelle les événements historiques sont déterminés non pas par des idées mais par des rapports sociaux (plus particulièrement les liens entre classes sociales) et par l'impact de l'évolution des moyens de production sur les mentalités. Elle se réfère par conséquent à des situations réellement vécues par les humains (d'où l'usage de l'adjectif « matérialiste »).
Physique théoriquevignette|Discussion entre physiciens théoriciens à l'École de physique des Houches. La physique théorique est la branche de la physique qui étudie l’aspect théorique des lois physiques et en développe le formalisme mathématique. C'est dans ce domaine que l'on crée les théories, les équations et les constantes en rapport avec la physique. Elle constitue un champ d'études intermédiaire entre la physique expérimentale et les mathématiques, et a souvent contribué au développement de l’une comme de l’autre.
Abstraction (philosophie)L’abstraction est l'opération mentale, de l'esprit par laquelle les propriétés générales, universelles et nécessaires d'un objet sont distinguées de ses propriétés particulières et contingentes. Par cette opération, notre pensée prend une distance par rapport à l'expérience sensible et forme l'ensemble de nos idées qui seront consignées dans le langage. L'opération d'abstraction permet de distinguer entre l'abstrait et le concret. Ceux-ci forment une opposition conceptuelle fondamentale en philosophie.
Architecturevignette|upright=1.2|La cathédrale Saint-Pierre de Beauvais, , toute en pierre de taille, est l’exemple le plus aérien et dématérialisé de l'architecture gothique qui atteint là ses limites techniques. vignette|upright=1.2|La coupole du Panthéon, construit dans l'Antiquité romaine au début du , est restée de loin la plus large coupole du monde durant de nombreux siècles. Elle ne sera égalée qu'au par le dôme de la cathédrale de Florence qui marque de ce fait le début de la Renaissance, pour n'être dépassée qu'à partir du par les dômes contemporains.
