What can I do?
Find
Organisation
In mathematics, and particularly in set theory, category theory, type theory, and the foundations of mathematics, a universe is a collection that contains all the entities one wishes to consider in a ...
Dbpedia
The B-theory of time is the name given to one of two positions regarding the temporal ordering of events in the philosophy of time. B-theorists argue that the flow of time is an illusion, that the pas ...
Dbpedia
The axiom of reducibility was introduced by Bertrand Russell in the early 20th century as part of his ramified theory of types. Russell devised and introduced the axiom in an attempt to manage the con ...
Scientist
John R. Myhill Sr. (11 August 1923 – 15 February 1987) was a British mathematician.
Dbpedia
In mathematics, a singleton, also known as a unit set, is a set with exactly one element. For example, the set {null } is a singleton containing the element null. The term is also used for a 1-tuple ( ...
Dbpedia
Relations are ways in which things, the relata, stand to each other. Relations are in many ways similar to properties in that both characterize the things they apply to. Properties are sometimes treat ...
Dbpedia
In logic, a quantifier is an operator that specifies how many individuals in the domain of discourse satisfy an open formula. For instance, the universal quantifier in the first order formula expresse ...
Dbpedia
In mathematics, logic, and computer science, a type system is a formal system in which every term has a "type" which defines its meaning and the operations that may be performed on it. Type theory is ...
Software
In graph theory, the tensor product G × H of graphs G and H is a graph such that * the vertex set of G × H is the Cartesian product V(G) × V(H); and * vertices (g,h) and (g',h') are adjacent in G × H ...
Building
Self-refuting idea or self-defeating idea is an idea or statement whose falsehood is a logical consequence of the act or situation of holding them to be true. Many ideas are called self-refuting by th ...
Add to Didactalia Arrastra el botón a la barra de marcadores del navegador y comparte tus contenidos preferidos. Más info...