Paul Martin
- 353
- 0
Well, if you don't think my ideas are nonsensical, then I don't think you will change my mind. As for complexity, I don't think my ideas are any more complex than yours. In fact, I don't think our views of cosmogony and cosmology are very far apart after all.moving finger said:Paul - I don’t claim that your ideas are nonsensical – they constitute (imho) just unnecessarily complex assumptions. Your ideas seem to wrap up a lot of complexity within their assumptions; complexity which I believe is emergent rather than primordial.
Our assumptions seem to be nearly the same: We both assume that the ultimate origin of reality was extremely simple. We both assume that all of reality came to be what it is by a process of relatively gradual evolutionary change. We both assume that consciousness is an emergent phenomenon resulting from this evolution. We both assume that the physical universe is evolving according to some precise laws of physics, of which we have discovered some very close approximations so far.moving finger said:My philosophy is based on making the simplest and smallest number of assumptions possible, and deriving complexity as emergent phenomena from these simple assumptions. One such emergent phenomenon (imho) is consciousness. Consciousness is an exceedingly complex phenomenon, and knowledge is predicated on consciousness – your theory posits that this complexity is somehow “built-in” to the boundary conditions of our universe; my theory posits that the boundary conditions are exceedingly simple, and that both consciousness and knowledge emerge as natural but complex phenomena when the circumstances are right.
We both believe that the complexity is emergent and not primordial.
The only difference in our views seems to be that I think the emergence of consciousness occurred prior to the Big Bang, and you think it happened (at least) sometime during the biological evolution on earth. In the big picture, I don't think that is much of a difference.
In thinking about the relative advantages and disadvantages of each of our views, it seems to me that my view has only one disadvantage: It is dangerously close to positing a "God" (shudder). But, as I have pointed out many times, this incomplete, imperfect, evolving, learning, limited, finite, error-prone, albeit powerful PC is not recognizable as anyone's description of God since Homer. I think it shouldn't be tagged with this label nor be burdened by "God's" baggage.
As for advantages, it easily explains the Hard Problem (which I know you deny) and it easily explains the otherwise highly improbable initial conditions for the Big Bang. It also, IMHO, explains many mysteries associated with humans.
I admit that my scheme is more complex to the extent that it is more comprehensive and extensive (it extends well prior to the BB). But this same complaint (if you could call it that) would also apply to Newton's extension and refinements to Kepler, and Einstein's extensions and refinements to Newton. It seems the more we know, the more complex things get. We just need to get used to complexity and accept it.
I think we see exactly eye-to-eye on this problem.moving finger said:The problem is, I have no idea how one can generate an infinite set of integers (ie a set with infinite cardinality) using this procedure. Do you? (see below)
I don't know whether you looked at my thread from almost two years ago at https://www.physicsforums.com/showthread.php?t=49732 but I was essentially arguing the same thing with the same people and was also told (gently) that I was an ignoramus and needed to go back to school. That was when I decided to study Foundations, and I still plan to do so some day.moving finger said:I had a long battle with the Maths geniuses on this forum a couple of years ago, in which I was basically told that I was an ignoramus for suggesting such a thing as an infinite integer –
When I finish taking that course, I will be able to answer you better. But, for now, I'll just give you my impressions which may be wrong.moving finger said:Axiom of Choice, or Axiom of Infinity?
In my view, you have to account for the existence of an infinite number of integers if you are going to depend on the infinite set in any of your arguments. The Axiom of Infinity (which according to Wikipedia seems to be included in ZF theory) allows for the definition and thus existence of the infinite set. But I have the same problem that you seem to have in that the mere acceptance of the axiom doesn't explain "how one can generate an infinite set of integers (ie a set with infinite cardinality) using this procedure."
In my studies, it was explained that the Axiom of Choice allowed some mechanism for producing the infinite set of integers, and the ZFC axiomatic system is formed by appending the Axiom of Choice (the "C") to the ZF theory. (I don't know whether the Axiom of Infinity is still included in ZFC theory or not. But it doesn't matter at my level of knowledge anyway. I am just giving impressions here.)
My position, and the one I will try to defend when I take a Foundations course, is that we should develop an axiomatic system in which each and every primitive, axiom, and definition is explicitly expressed, either by the mathematician, or by a machine. I would disallow mathematical induction, because the process can't be carried out indefinitely by any known processor, human or machine, and unless it can, no infinite set can be defined.
My position is similar to Leopold Kronecker's in his opposition to Georg Cantor in that we would both deny the definition of sets of infinite cardinality. But I differ with him in one important respect. Kronecker held that the integers come from God and all the rest is the work of humans. I deny that there is any God who gave us an infinite set of integers. (PC giving us a huge but finite set, though, is a possiblity that I consider.)
We may disagree here. I think the consequences of accepting infinity are fatal. I'm not sure about self-referentiality (Long ago when I read GEB I thought so, but now I'm not so sure. I need to take that course in Foundations.)moving finger said:Russell’s paradox is not a consequence of infinity, it is a consequence of unrestrained self-referentiality. THIS is why I said that legislating against infinity does not make the problem go away.
But they do. See below.moving finger said:You say that the PC “does mathematics”, but then so do most humans. But humans do not create the laws of mathematics by “doing mathematics”.
First of all, let me make sure you understand that when we talk about PC "doing mathematics" here, we don't mean PC in its primordial state. Instead it goes on much later after considerable mental capabilities have evolved but still before the Big Bang.moving finger said:Allow me to re-phrase the question. Given the choice by the PC to be consistent, did the laws of mathematics then follow as a necessary consequence of this (independently of the PCs wishes)? Or are the laws of mathematics contingent (the PC created the laws, and could have created different laws of mathematics if it had so wished)?
Next, there are many complex parts to "doing mathematics": There is the deductive process of proving propositions to be consistent within some system. There are some choices to be made in terms of which propositions are pursued, but for any particular proposition, its truth or falsity is a necessary consequence of the laws of that system.
But prior to that, there is the establishment of the "theory" or system itself, which consists of the primitives, the axioms, and some definitions. These are arbitrarily chosen, and different choices yield different theories or systems. These are not necessary consequences of anything and can be freely chosen.
But prior to that, there is the choice of rules of logic to be used in the manipulation of propositions and even expressing propositions. As Loseyourname has just taught some of us who weren't sure, there are several, or many, choices for the rules of logic (two-valued, many valued, etc). These too, seem not to be necessary consequences of anything and thus can be freely chosen.
But prior to that, there must be some equivalent of a natural language in which to express the choices made in the establishment of a mathematical system. People do mathematics in many different natural languages, so these seem to be arbitrary. Although it seems that the choice of natural language shouldn't affect the outcome of the mathematical system, who knows what kind of mathematics an extraterrestrial would really develop?)
And prior to that, there must be some minimal mental ability in order to even make sense of the above. After all parrots can become fairly proficient in language, but I doubt that they can develop axiomatic systems.
So, now, to your specific questions.
No. The PC could still express whims and wishes in the choice of logic to use and then in the choice of primitives and axioms. (PC might choose ZF or maybe ZFC or some other.) The laws of mathematics follow from these arbitrary choices. I think the analogy of chess applies exactly here.moving finger said:Given the choice by the PC to be consistent, did the laws of mathematics then follow as a necessary consequence of this (independently of the PCs wishes)?
No. The laws of mathematics are contingent on the logic system chosen and on the primitives and axioms chosen.moving finger said:The analogy fails because the rules of chess are contingent, not necessary – they could have been different. But the laws of mathematics are not contingent, they are necessary.
Yes. PC could have chosen a different logic system, and within that system, PC could have chosen from among many different sets of primitives and axioms. Many (but of course not infinitely many) different mathematical systems are possible.moving finger said:Or are the laws of mathematics contingent (the PC created the laws, and could have created different laws of mathematics if it had so wished)?
We are quite fond of our mathematical system of analysis which contains the infinite set of real and imaginary numbers. It turns out that all (as far as I know) of our laws of physics fall within this system. (Loseyourname may be correct that QM does not need anything outside this system.) Dr. Dick, IMHO, has confirmed that our physical universe is built upon this familiar mathematical system since he deduces his result from its axioms and his result embodies the laws of physics.
In my view, however, which seems to resonate with some of what you wrote, the notion of infinite sets leads to contradictions and the axioms should be revised to disallow them. Whether this means dropping the Axiom of Choice, or the Axiom of Infinity, or some other I don't know. But I have sketched out a proposal for what I call Practical Numbers which are all finite. This is exactly the same set of numbers which each and every person or machine has ever used, or ever will use, to do any calculation whatsoever. Even the people who have computed the first trillion decimal digits of Pi have only produced a finite rational number and they only used finite rational numbers in all their calculations. Integers are naturally limited by virtue of the capability of the machine being used, or by the time, determination, will, and supply of paper and ink of a human calculator. The math I propose would be grainy, but then again, our universe seems to be grainy. But I digress.
In Dick's formal development, 'explanation' is a definition he makes within the system of mathematical analysis. He starts with the assumption of that mathematical system which includes all the real and imaginary numbers as well as the notion of mapping, not to mention all the theorems that have been derived over the past several hundred years. IMHO he has proved a new theorem in that system and he has chosen his definitions so that they end up being ismomrphic to familiar entities.moving finger said:Understood. But even in his [Dick's] formal development, it seems to me that an explanation is a mapping (a series of vectors if you like) which provides a translation from one set of points in his 3D space, to another set of points in the same space. Whether the points are more fundamental than the vectors which map between them, or vice versa, is arguable.
Mental activity of which the thinker can claim to be consciously aware.moving finger said:I think we need to agree on a definition of “thought”. What do you mean by “thought”?
Here I must be careful to avoid a mistake you taught me about. When we claim that "something exists", we might have in mind something primordial which accounts for everything else, or we might have in mind something that accounts for our present sense of the world. In our respective views of the evolution of reality, I think we agree that in the primordial state, any notion of 'thought' is far to complex to have existed. My attempts at reducing thought to its fundamental, and even primordial, essence have led me to use the notion of "the ability to know", or "the ability to realize", or the "receptive principle" as described by Gregg Rosenberg. So when I claim that "thought happens", I am referring to the present complex state of reality. When I claim that "there is something and not nothing", I am similarly referring to the present complex state of reality. In that context, I propose that the two claims are the same.
Have to stop. Warm regards,
Paul