Fundamental groupIn the mathematical field of algebraic topology, the fundamental group of a topological space is the group of the equivalence classes under homotopy of the loops contained in the space. It records information about the basic shape, or holes, of the topological space. The fundamental group is the first and simplest homotopy group. The fundamental group is a homotopy invariant—topological spaces that are homotopy equivalent (or the stronger case of homeomorphic) have isomorphic fundamental groups.
TensorFlowTensorFlow is a free and open-source software library for machine learning and artificial intelligence. It can be used across a range of tasks but has a particular focus on training and inference of deep neural networks. TensorFlow was developed by the Google Brain team for internal Google use in research and production. The initial version was released under the Apache License 2.0 in 2015. Google released the updated version of TensorFlow, named TensorFlow 2.0, in September 2019.
Explainable artificial intelligenceExplainable AI (XAI), also known as Interpretable AI, or Explainable Machine Learning (XML), either refers to an AI system over which it is possible for humans to retain intellectual oversight, or to the methods to achieve this. The main focus is usually on the reasoning behind the decisions or predictions made by the AI which are made more understandable and transparent. XAI counters the "black box" tendency of machine learning, where even the AI's designers cannot explain why it arrived at a specific decision.
Gödel's incompleteness theoremsGödel's incompleteness theorems are two theorems of mathematical logic that are concerned with the limits of in formal axiomatic theories. These results, published by Kurt Gödel in 1931, are important both in mathematical logic and in the philosophy of mathematics. The theorems are widely, but not universally, interpreted as showing that Hilbert's program to find a complete and consistent set of axioms for all mathematics is impossible. The first incompleteness theorem states that no consistent system of axioms whose theorems can be listed by an effective procedure (i.
Byzantine PapacyThe Byzantine Papacy was a period of Byzantine domination of the Roman papacy from 537 to 752, when popes required the approval of the Byzantine Emperor for episcopal consecration, and many popes were chosen from the apocrisiarii (liaisons from the pope to the emperor) or the inhabitants of Byzantine-ruled Greece, Syria, or Sicily. Justinian I reconquered the Italian peninsula in the Gothic War (535–554) and appointed the next three popes, a practice that would be continued by his successors and later be delegated to the Exarchate of Ravenna.
Étale fundamental groupThe étale or algebraic fundamental group is an analogue in algebraic geometry, for schemes, of the usual fundamental group of topological spaces. In algebraic topology, the fundamental group of a pointed topological space is defined as the group of homotopy classes of loops based at . This definition works well for spaces such as real and complex manifolds, but gives undesirable results for an algebraic variety with the Zariski topology.
Byzantine silkByzantine silk is silk woven in the Byzantine Empire (Byzantium) from about the fourth century until the Fall of Constantinople in 1453. The Byzantine capital of Constantinople was the first significant silk-weaving center in Europe. Silk was one of the most important commodities in the Byzantine economy, used by the state both as a means of payment and of diplomacy. Raw silk was bought from China and made up into fine fabrics that commanded high prices throughout the world.
Conceptual modelA conceptual model is a representation of a system. It consists of concepts used to help people know, understand, or simulate a subject the model represents. In contrast, a physical model focuses on a physical object such as a toy model that may be assembled and made to work like the object it represents. The term may refer to models that are formed after a conceptualization or generalization process. Conceptual models are often abstractions of things in the real world, whether physical or social.
PoisoningPoisoning is the harmful effect that occurs when too much of a poison, or substance that is harmful to the body, has been taken. Poisons can be swallowed, inhaled, injected or absorbed through the skin. Poisoning is not to be confused with envenomation. Acute poisoning is exposure to a poison on one occasion or during a short period of time. Symptoms develop in close relation to the degree of exposure. Absorption of a poison is necessary for systemic poisoning (that is, in the blood throughout the body).
Fundamental groupoidIn algebraic topology, the fundamental groupoid is a certain topological invariant of a topological space. It can be viewed as an extension of the more widely-known fundamental group; as such, it captures information about the homotopy type of a topological space. In terms of , the fundamental groupoid is a certain functor from the category of topological spaces to the category of groupoids. Let X be a topological space. Consider the equivalence relation on continuous paths in X in which two continuous paths are equivalent if they are homotopic with fixed endpoints.
