منابع مشابه
Elimination with a Motive
I present a tactic, BasicElim, for Type Theory based proof systems to apply elimination rules in a reenement setting. Applicable rules are parametric in their conclusion, expressing the leverage hypotheses ~ x yield on any ~ x we choose. represents the motive for an elimination: BasicElim's job is to construct a suited to the goal at hand. If these ~ x inhabit an instance of 's domain, I adopt ...
متن کاملWhat is a Motive?
Grothendieck introduced the notion of a “motif” in a letter to Serre in 1964. Later he wrote that, among the objects he had been privileged to discover, they were the most charged with mystery and formed perhaps the most powerful instrument of discovery.1 In this talk, I shall explain what motives are, and why Grothendieck valued them so highly. These are my notes for a “popular” talk in the ‘W...
متن کاملProbability as a Physical Motive
Recent theoretical progress in nonequilibrium thermodynamics, linking the physical principle of Maximum Entropy Production (“MEP”) to the information-theoretical “MaxEnt” principle of scientific inference, together with conjectures from theoretical physics that there may be no fundamental causal laws but only probabilities for physical processes, and from evolutionary theory that biological sys...
متن کاملA Study of Motive Processing
We outline a design based theory of motive processing and attention, including: multiple motivators operating asynchronously, with limited knowledge, processing abilities and time to respond. Attentional mechanisms address these limits using processes diiering in complexity and resource requirements, in order to select which motivators to attend to, how to attend to them, how to achieve those a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature Reviews Molecular Cell Biology
سال: 2001
ISSN: 1471-0072,1471-0080
DOI: 10.1038/35052000