搜索结果: 1-8 共查到“哲学 Computation”相关记录8条 . 查询时间(0.071 秒)
Brownian Computation is Thermodynamically Irreversible
Brownian computation entropy fluctuations thermodynamics of computation
2016/6/15
Brownian computers are supposed to illustrate how logically reversible mathematical operations can be computed by physical processes that are thermodynamically reversible or nearly so. In fact, they a...
The End of the Thermodynamics of Computation:A No Go Result
entropy fluctuations Landauer's Principle thermodynamics of computation
2016/6/15
The thermodynamics of computation assumes that computational processes at the molecular level can be brought arbitrarily close to thermodynamic reversibility; and that thermodynamic entropy creation i...
Quantum Hypercomputation - Hype or Computation?
Quantum computing Hypercomputation Church-Turing Thesis
2008/4/22
A recent attempt to compute a (recursion--theoretic) non--computable function using the quantum adiabatic algorithm is criticized and found wanting. Quantum algorithms may outperform classical algorit...
Explaining computation without semantics: keeping it simple
computation causal properties semantic properties
2008/4/11
This paper deals with the question how computation is best individuated.
1. The semantic view of computation: computation is best individuated by its semantic properties. On this view, there's no ...
According to the received view of computation, there is no computation without representation. In other words, computational states are individuated, at least in part, by their content. I propose an a...
Cellular Automata (CA) based simulations are widely used in a great variety of domains, fromstatistical physics to social science. They allow for spectacular displays and numerical predictions. Are th...
From their first beginnings in ancient Greece and India, logic and the study of language have been closely entwined. Logic takes its source in the process of reasoning; language is the basic means for...
The Centre for Logic, Language and Computation was established in February 2001. CLLC consists of people from mathematics, computer science, philosophy and linguistics.
Mathematics and computer scien...