theor of proof
Смотреть что такое "theor of proof" в других словарях:
Signalling theory — Within evolutionary biology, signalling theory refers to a body of theoretical work examining communication between individuals. The central question is when animals with conflicting interests should be expected to communicate honestly .… … Wikipedia
Koinophilia — is a term used in biology, meaning that when sexual creatures seek a mate, they prefer that mate not to have any unusual, peculiar or deviant features. Stated differently, sexual creatures prefer mates with a preponderance of common or average… … Wikipedia
Molecular nanotechnology — Part of a series of articles on Molecular Nanotechnology … Wikipedia
Francisco Antônio Dória — Francisco Antônio de Moraes Accioli Dória (born 1945, Rio de Janeiro, Brazil) is a Brazilian mathematician, philosopher, and noted genealogist. Francisco Antônio Dória received his B.S. in Chemical Engineering from the Federal University at Rio… … Wikipedia
Causal set theory bibliography — Main article: Causal Sets This Causal Set Theory Bibliography is intended to aid causal set research. It gathers together academic papers, books, talks and PhD theses related to causal set theory and is intended to help readers find references… … Wikipedia
Denotational semantics — In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach to formalizing the meanings of programming languages by constructing mathematical objects (called denotations)… … Wikipedia
Many-worlds interpretation — The quantum mechanical Schrödinger s cat paradox according to the many worlds interpretation. In this interpretation every event is a branch point; the cat is both alive and dead, even before the box is opened, but the alive and dead cats are in… … Wikipedia
Post correspondence problem — The Post correspondence problem is an undecidable decision problem that was introduced by Emil Post in 1946.[1] Because it is simpler than the halting problem and the Entscheidungsproblem it is often used in proofs of undecidability. Contents 1… … Wikipedia
Quantum gravity — is the field of theoretical physics attempting to unify quantum mechanics, which describes three of the fundamental forces of nature (electromagnetism, weak interaction, and strong interaction), with general relativity, the theory of the fourth… … Wikipedia
Peter J. Freyd — is an American mathematician, a professor at the University of Pennsylvania, known for work in category theory. Mathematical workFreyd is perhaps best known as the author of the foundational book Abelian Categories: An Introduction to the Theory… … Wikipedia
Modified Newtonian dynamics — MOND redirects here. For other uses, see Mond. In physics, Modified Newtonian dynamics (MOND) is a hypothesis that proposes a modification of Newton s law of gravity to explain the galaxy rotation problem. When the uniform velocity of rotation of … Wikipedia
