Internet Philosphy-Gottfried Wilhelm Leibniz (1646-1716) Metaphysics
There are reasons why this article is being put up, and again, developing a little history to the "line up Lee Smolin prepared" is an important step in discerning why he may have gone down a certain route for comparative relations in terms of "against symmetry."
Click on link Against symmetry (Paris, June 06)
I have no one telling me this, just that any argument had to have it's "foundational logic of approach" and learning to interpret why someone did something, is sometimes just as important as the science they currently pursued, or adopted, in light of other models and methods. It does not necessarily make them right. Just that they are delving in model apprehension and devising the reasons why the model they choose to use, "is" the desired one, from their current philosophical development and understanding.
So they have to present their logic.
The Identity of Indiscernibles
The Identity of Indiscernibles (hereafter called the Principle) is usually formulated as follows: if, for every property F, object x has F if and only if object y has F, then x is identical to y. Or in the notation of symbolic logic:
F(Fx ↔ Fy) → x=y
This formulation of the Principle is equivalent to the Dissimilarity of the Diverse as McTaggart called it, namely: if x and y are distinct then there is at least one property that x has and y does not, or vice versa.
The converse of the Principle, x=y → ∀F(Fx ↔ Fy), is called the Indiscernibility of Identicals. Sometimes the conjunction of both principles, rather than the Principle by itself, is known as Leibniz's Law.
It is almost if the computerize world is to be developed further, "this logic" had to be based on some philosophical approach? Had to be derived from some developmental model beyond the scope of "the approach to quantum gravity" that it had it's basis designed in the area of research, a university could be exploiting itself?
In 1671 Gottfried Wilhelm von Leibniz (1646-1716) invented a calculating machine which was a major advance in mechanical calculating. The Leibniz calculator incorporated a new mechanical feature, the stepped drum — a cylinder bearing nine teeth of different lengths which increase in equal amounts around the drum. Although the Leibniz calculator was not developed for commercial production, the stepped drum principle survived for 300 years and was used in many later calculating systems.
This is not to say the developmental program disavows current research in all areas to be considered. Just that it's approach is based on "some method" that is not easily discernible even to the vast array of scientists current working in so many research fields.
Why Quantum Computers?
On the atomic scale matter obeys the rules of quantum mechanics, which are quite different from the classical rules that determine the properties of conventional logic gates. So if computers are to become smaller in the future, new, quantum technology must replace or supplement what we have now. The point is, however, that quantum technology can offer much more than cramming more and more bits to silicon and multiplying the clock--speed of microprocessors. It can support entirely new kind of computation with qualitatively new algorithms based on quantum principles!
Increasing complexity makes it very hard to describe complex systems and imagine if your were going from the top down, what constituent descriptors of reality we would have to manufacture, if we wanted to speak about all those forms and the complexity that makes up these forms?
Moore's law is the empirical observation that the complexity of integrated circuits, with respect to minimum component cost, doubles every 24 months.