EvolutionismEvolutionism is a term used (often derogatorily) to denote the theory of evolution. Its exact meaning has changed over time as the study of evolution has progressed. In the 19th century, it was used to describe the belief that organisms deliberately improved themselves through progressive inherited change (orthogenesis). The teleological belief went on to include cultural evolution and social evolution. In the 1970s, the term "Neo-Evolutionism" was used to describe the idea that "human beings sought to preserve a familiar style of life unless change was forced on them by factors that were beyond their control.
Algebraic data typeIn computer programming, especially functional programming and type theory, an algebraic data type (ADT) is a kind of composite type, i.e., a type formed by combining other types. Two common classes of algebraic types are product types (i.e., tuples and records) and sum types (i.e., tagged or disjoint unions, coproduct types or variant types). The values of a product type typically contain several values, called fields. All values of that type have the same combination of field types.
Dependent typeIn computer science and logic, a dependent type is a type whose definition depends on a value. It is an overlapping feature of type theory and type systems. In intuitionistic type theory, dependent types are used to encode logic's quantifiers like "for all" and "there exists". In functional programming languages like Agda, ATS, Coq, F*, Epigram, and Idris, dependent types help reduce bugs by enabling the programmer to assign types that further restrain the set of possible implementations.
Type theoryIn mathematics, logic, and computer science, a type theory is the formal presentation of a specific type system, and in general, type theory is the academic study of type systems. Some type theories serve as alternatives to set theory as a foundation of mathematics. Two influential type theories that were proposed as foundations are Alonzo Church's typed λ-calculus and Per Martin-Löf's intuitionistic type theory. Most computerized proof-writing systems use a type theory for their foundation, a common one is Thierry Coquand's Calculus of Inductive Constructions.
HydroxyapatiteHydroxyapatite (HA), is a naturally occurring mineral form of calcium apatite with the formula , but it is usually written to denote that the crystal unit cell comprises two entities. Hydroxylapatite is the hydroxyl endmember of the complex apatite group. The ion can be replaced by fluoride, chloride, producing fluorapatite or chlorapatite. It crystallizes in the hexagonal crystal system. Pure hydroxylapatite powder is white. Naturally occurring apatites can, however, also have brown, yellow, or green colorations, comparable to the discolorations of dental fluorosis.
ApatiteApatite is a group of phosphate minerals, usually hydroxyapatite, fluorapatite and chlorapatite, with high concentrations of OH−, F− and Cl− ion, respectively, in the crystal. The formula of the admixture of the three most common endmembers is written as Ca10(PO4)6(OH,F,Cl)2, and the crystal unit cell formulae of the individual minerals are written as Ca10(PO4)6(OH)2, Ca10(PO4)6F2 and Ca10(PO4)6Cl2.
ArcheanThe Archean Eon (ɑrˈkiːən , also spelled Archaean or Archæan), in older sources sometimes called the Archaeozoic, is the second of the four geologic eons of Earth's history, preceded by the Hadean eon and followed by the Proterozoic. The Archean represents the time period from (millions of years ago). The Late Heavy Bombardment is hypothesized to overlap with the beginning of the Archean. The Huronian glaciation occurred at the end of the eon.
Fumed silicaFumed silica (CAS number 112945-52-5), also known as pyrogenic silica because it is produced in a flame, consists of microscopic droplets of amorphous silica fused into branched, chainlike, three-dimensional secondary particles which then agglomerate into tertiary particles. The resulting powder has an extremely low bulk density and high surface area. Its three-dimensional structure results in viscosity-increasing, thixotropic behavior when used as a thickener or reinforcing filler.
Theistic evolutionTheistic evolution (also known as theistic evolutionism or God-guided evolution) is a view that God acts and creates through laws of nature. It posits that the concept of God is compatible with the findings of modern science, including evolution. Theistic evolution is not in itself a scientific theory, but includes a range of views about how science relates to religious beliefs and the extent to which God intervenes. It rejects the strict creationist doctrines of special creation, but can include beliefs such as creation of the human soul.
Diversity indexA diversity index is a quantitative measure that reflects how many different types (such as species) there are in a dataset (a community), and that can simultaneously take into account the phylogenetic relations among the individuals distributed among those types, such as richness, divergence or evenness. These indices are statistical representations of biodiversity in different aspects (richness, evenness, and dominance).
LagerstätteA Lagerstätte (ˈlaːɡɐˌʃtɛtə, from Lager 'storage, lair' Stätte 'place'; plural Lagerstätten) or fossil bed is a sedimentary deposit that exhibits extraordinary fossils with exceptional preservation—sometimes including preserved soft tissues. These formations may have resulted from carcass burial in an anoxic environment with minimal bacteria, thus delaying the decomposition of both gross and fine biological features until long after a durable impression was created in the surrounding matrix.
Sociocultural evolutionSociocultural evolution, sociocultural evolutionism or social evolution are theories of sociobiology and cultural evolution that describe how societies and culture change over time. Whereas sociocultural development traces processes that tend to increase the complexity of a society or culture, sociocultural evolution also considers process that can lead to decreases in complexity (degeneration) or that can produce variation or proliferation without any seemingly significant changes in complexity (cladogenesis).
