4 citations · 9 across the 9 of their papers we have counts for
Showing 2012Show all
3 papers · 1 filter
cs.IT2012
Introducing the Computable Universe
Hector Zenil
Some contemporary views of the universe assume information and computation to be key in understanding and explaining the basic structure underpinning physical reality. We introduce…
cs.CC2012
Some Computational Aspects of Essential Properties of Evolution and Life
Hector Zenil, James A. R. Marshall
While evolution has inspired algorithmic methods of heuristic optimisation, little has been done in the way of using concepts of computation to advance our understanding of salient…
math.LO2012
Très courte enquête sur l'extension non-triviale de la logique de propositions à la logique du premier et deuxième ordre
Hector Zenil
The formal construction of the second-order logic or predicate calculus essentially adds quantifiers to propositional logic. Why second-order logic cannot be reduced to that of the…