It isn’t answering the question of how you’d tell a computer how to be a mind, and that’s the question I keep looking at this stuff with.
There are many ways to answer that question. I have a flowchart and formulae. The opposite of that would be something to the effect of having the source code. I’m not sure why you expect me to have that. Was it something I said?
I thought I’ve given you links to my actual work, but I can’t find them. Did I forget? Hmm...
If you dislike metaphysics, only the latter is for you. I can’t paste the content, because the formatting on this website apparently does not permit html formulae. Wait a second, it does permit formulae, but only LaTeX. I know LaTeX, but the formulae aren’t in that format right now. I should maybe convert them.
You won’t understand the flowchart if you don’t want to discuss metaphysics. I don’t think I can prove that something, of which you don’t know what it is, could be useful to you. You would have to know what it is and judge for yourself. If you don’t want to know, it’s ok.
I am currently not sure why you would want to discuss this thing at all, given that you do not seem quite interested of the formalisms, but you do not seem interested of metaphysics either. You seem to expect me to explain this stuff to you in terms of something that is familiar to you, yet you don’t seem very interested to have a discussion where I would actually do that. If you don’t know why you are having this discussion, maybe you would like to do something else?
There are quite probably others in LessWrong who would be interested of this, because there has been prior discussion of CTMU. People interested in fringe theories, unfortunately, are not always the brightest of the lot, and I respect your abilities to casually namedrop a bunch of things I will probably spend days thinking about.
But I don’t know why you wrote so much about billions of years, babies, human cultural evolution, 100 megabytes and such. I am troubled by the thought that you might think I’m some loony hippie who actually needs a recap on those things. I am not yet feeling very comfortable in this forum because I perceive myself as vulnerable to being misrepresented as some sort of a fool by people who don’t understand what I’m doing.
I’m not trying to change LessWrong. But if this forum has people criticizing the CTMU without having a clue of what it is, then I attain a certain feeling of entitlement. You can’t just go badmouthing people and their theories and not expect any consequences if you are mistaken. You don’t need to defend yourself either, because I’m here to tell you what recursive metaphysical theories such as the CTMU are about, or recommend you to shut up about the CTMU if you are not interested of metaphysics. I’m not here to bloat my ego by portraying other people as fools with witty rhetoric, and if you Google about the CTMU, you’ll find a lot of people doing precisely that to the CTMU, and you will understand why I fear that I, too, could be treated in such a way.
I’m mostly writing this stuff trying to explain what my mindset, which I guess to be somewhat coincident with the general LW one, is like, and where it seems to run into problems with trying to understand these theories. My question about the assumptions is basically poking at something like “what’s the informal explanation of why this is a good way to approach figuring out reality”, which isn’t really an easy thing to answer. I’m mostly writing about my own viewpoint instead of addressing the metaphysical theory, since it’s easy to write about stuff I already understand, and a lot harder to to try to understand something coming from a different tradition and make meaningful comments about it. Sorry if this feels like dismissing your stuff.
The reason I went on about the complexity of the DNA and the brain is that this is stuff that wasn’t really known before the mid-20th century. Most of modern philosophy was being done when people had some idea that the process of life is essentially mechanical and not magical, but no real idea on just how complex the mechanism is. People could still get away with assuming that intelligent thought is not that formally complex around the time of Russell and Wittgenstein, until it started dawning just what a massive hairball of a mess human intelligence working in the real world is after the 1950s. Still, most philosophy seems to be following the same mode of investigation as Wittgenstein or Kant did, despite the sudden unfortunate appearance of a bookshelf full of volumes written by insane aliens between the realm of human thought and basic logic discovered by molecular biologists and cognitive scientists.
I’m not expecting people to rewrite the 100 000 pages of complexity into human mathematics, but I’m always aware that it needs to be dealt with somehow. For one thing, it’s a reason to pay more attention to empiricism than philosophy has traditionally done. As in, actually do empirical stuff, not just go “ah, yes, empiricism is indeed a thing, it goes in that slot in the theory”. You can’t understand raw DNA much, but you can poke people with sticks, see what they do, and get some clues on what’s going on with them.
For another thing, being aware of the evolutionary history of humans and the current physical constraints of human cognition and DNA can guide making an actual theory of mind from the ground up. The kludged up and sorta-working naturally evolved version might be equal to 100 000 pages of math, which is quite a lot, but also tells us that we should be able to get where we want without having to write 1 000 000 000 pages of math. A straight-up mysterian could just go, yeah, the human intelligence might be infinitely complex and you’ll never come up with the formal theory. Before we knew about DNA, we would have had a harder time coming up with a counterargument.
I keep going on about the basic science stuff, since I have the feeling that the LW style of approaching things basically starts from mid-20th century computer science and natural science, not from the philosophical tradition going back to antiquity, and there’s some sort of slight mutual incomprehension between it and modern traditional philosophy. It’s a bit like C.P. Snow’s Two Cultures thing. Many philosophers seem to be from Culture One, while LW is people from Culture Two trying to set up a philosophy of their own. Some key posts about LW’s problems with philosophy are probably Against Modal Logics and
A Diseased Discipline. Also there’s the book Good and Real, which is philosophy being done by a computer scientist and which LW folk seem to find approachable.
The key ideas in the LW approach are that you’re running on top of a massive hairball of junky evolved cognitive machinery that will trip you up at any chance you get, so you’ll need to practice empirical science to figure out what’s actually going on with life, plain old thinking hard won’t help since that’ll just lead to your broken head machinery tripping you up again, and that the end result of what you’re trying to do should be a computable algorithm. Neither of these things show up in traditional philosophy, since traditional philosophy got started before there was computer science or cognitive science or molecular biology. So LessWrongers will be confused about non-empirical attempts to get to the bottom of real-world stuff and they will be confused if the get to the bottom attempt doesn’t look like it will end up being an algorithm.
I’m not saying this approach is better. Philosophers obviously spend a long time working through their stuff, and what I am doing here is basically just picking low-hanging fruits from science that’s so recent that it hasn’t percolated into the cultural background thought yet. But we are living in interesting times when philosophers can stay mulling through the conceptual analysis, and then all of a sudden scientists will barge in and go, hey, we were doing some empiric stuff with machines, and it turns out conterfactual worlds are actually sort of real.
You don’t have to apologize, because you have been useful already. I don’t require you to go out of your way to analyze this stuff, but of course it would also be nice if we could understand each other.
The reason I went on about the complexity of the DNA and the brain is that this is stuff that wasn’t really known before the mid-20th century. Most of modern philosophy was being done when people had some idea that the process of life is essentially mechanical and not magical, but no real idea on just how complex the mechanism is. People could still get away with assuming that intelligent thought is not that formally complex around the time of Russell and Wittgenstein, until it started dawning just what a massive hairball of a mess human intelligence working in the real world is after the 1950s. Still, most philosophy seems to be following the same mode of investigation as Wittgenstein or Kant did, despite the sudden unfortunate appearance of a bookshelf full of volumes written by insane aliens between the realm of human thought and basic logic discovered by molecular biologists and cognitive scientists.
That’s a good point. The philosophical tradition of discussion I belong to was started in 1974 as a radical deviation from contemporary philosophy, which makes it pretty fresh. My personal opinion is that within decades of centuries, the largely obsolete mode of investigation you referred to will be mostly replaced by something that resembles what I and a few others are currently doing. This is because the old mode of investigation does not produce results. Despite intense scrutiny for 300 years, it has not provided an answer to such a simple philosophical problem as the problem of induction. Instead, it has corrupted the very writing style of philosophers. When one is reading philosophical publications by authors with academic prestige, every other sentence seems somehow defensive, and the writer seems to be squirming in the inconvenience caused by his intuitive understanding that what he’s doing is barren but he doesn’t know of a better option. It’s very hard for a distinguished academic to go into the freaky realm and find out whether someone made sense but had a very different approach than the academic approach. Aloof but industrious young people, with lots of ability but little prestige, are more suitable for that.
Nowadays the relatively simple philosophical problem of induction (proof of the Poincare conjecture is relatiely extremely complex) has been portrayed as such a difficult problem, that if someone devises a theoretic framework which facilitates a relatively simple solution to the problem, academic people are very inclined to state that they don’t understand the solution. I believe this is because they insist the solution should be something produced by several authors working together for a century. Something that will make theoretical philosophy again appear glamorous. It’s not that glamorous, and I don’t think it was very glamorous to invent 0 either—whoever did that—but it was pretty important.
I’m not sure what good this ranting of mine is supposed to do, though.
I’m not expecting people to rewrite the 100 000 pages of complexity into human mathematics, but I’m always aware that it needs to be dealt with somehow. For one thing, it’s a reason to pay more attention to empiricism than philosophy has traditionally done. As in, actually do empirical stuff, not just go “ah, yes, empiricism is indeed a thing, it goes in that slot in the theory”. You can’t understand raw DNA much, but you can poke people with sticks, see what they do, and get some clues on what’s going on with them.
The metaphysics of quality, of which my RP is a much-altered instance, is an empiricist theory, written by someone who has taught creative writing in Uni, but who has also worked writing technical documents. The author has a pretty good understanding of evolution, social matters, computers, stuff like that. Formal logic is the only thing in which he does not seem proficient, which maybe explains why it took so long for me to analyze his theories. :)
If you want, you can buy his first book, Zen and the Art of Motorcycle Maintenance from Amazon at the price of a pint of beer. (Tap me in the shoulder if this is considered inappropriate advertising.) You seem to be logically rather demanding, which is good. It means I should tell you that in order to attain understanding of MOQ that explains a lot more of the metaphysical side of RP, you should also read his second book. They are also available in every Finnish public library I have checked (maybe three or four libraries).
What more to say… Pirsig is extremely critical of the philosophical tradition starting from antiquity. I already know LW does not think highly of contemporary philosophy, and that’s why I thought we might have something in common in the first place. I think we belong to the same world, because I’m pretty sure I don’t belong to Culture One.
The key ideas in the LW approach are that you’re running on top of a massive hairball of junky evolved cognitive machinery that will trip you up at any chance you get
Okay, but nobody truly understands that hairball, if it’s the brain.
the end result of what you’re trying to do should be a computable algorithm.
That’s what I’m trying to do! But it is not my only goal. I’m also trying to have at least some discourse with World One, because I want to finish a thing I began. My friend is currently in the process of writing a formal definition related to that thing, and I won’t get far with the algorithm approach before he’s finished that and is available for something else. But we are actually planning that. I’m not bullshitting you or anything. We have been planning to do that for some time already. And it won’t be fancy at first, but I suppose it could get better and better the more we work on it, or the approach would maybe prove a failure, but that, again, would be an interesting result. Our approach is maybe not easily understood, though...
My friend understands philosophy pretty well, but he’s not extremely interested of it. I have this abstract model of how this algortihm thing should be done, but I can’t prove to anyone that it’s correct. Not right now. It’s just something I have developed by analyzing an unusual metaphysical theory for years. The reason my friend wants to do this apparently is that my enthusiasm is contagious and he does enjoy maths for the sake of maths itself. But I don’t think I can convince people to do this with me on grounds that it would be useful! And some time ago, people thought number theory is a completely useless but a somehow “beautiful” form of mathematics. Now the products of number theory are used in top-secret military encryption, but the point is, nobody who originally developed number theory could have convinced anyone the theory would have such use in the future. So, I don’t think I can have people working with me in hopes of attaining grand personal success. But I think I could meet someone who finds this kind of activity very enjoyable.
The “state basic assumptions” approach is not good in the sense that it would go all the way to explaining RP. It’s maybe a good starter, but I can’t really transform RP into something that could be understood from an O point of view. That would be like me needing to express equation x + 7 = 20 to you in such terms that x + y = 20. You couldn’t make any sense of that.
I really have to go now, actually I’m already late from somewhere...
There are many ways to answer that question. I have a flowchart and formulae. The opposite of that would be something to the effect of having the source code. I’m not sure why you expect me to have that. Was it something I said?
I thought I’ve given you links to my actual work, but I can’t find them. Did I forget? Hmm...
The Metaphysical Origin of RP
Set Theoretic Explanation of the Main Recursion Loop
If you dislike metaphysics, only the latter is for you. I can’t paste the content, because the formatting on this website apparently does not permit html formulae. Wait a second, it does permit formulae, but only LaTeX. I know LaTeX, but the formulae aren’t in that format right now. I should maybe convert them.
You won’t understand the flowchart if you don’t want to discuss metaphysics. I don’t think I can prove that something, of which you don’t know what it is, could be useful to you. You would have to know what it is and judge for yourself. If you don’t want to know, it’s ok.
I am currently not sure why you would want to discuss this thing at all, given that you do not seem quite interested of the formalisms, but you do not seem interested of metaphysics either. You seem to expect me to explain this stuff to you in terms of something that is familiar to you, yet you don’t seem very interested to have a discussion where I would actually do that. If you don’t know why you are having this discussion, maybe you would like to do something else?
There are quite probably others in LessWrong who would be interested of this, because there has been prior discussion of CTMU. People interested in fringe theories, unfortunately, are not always the brightest of the lot, and I respect your abilities to casually namedrop a bunch of things I will probably spend days thinking about.
But I don’t know why you wrote so much about billions of years, babies, human cultural evolution, 100 megabytes and such. I am troubled by the thought that you might think I’m some loony hippie who actually needs a recap on those things. I am not yet feeling very comfortable in this forum because I perceive myself as vulnerable to being misrepresented as some sort of a fool by people who don’t understand what I’m doing.
I’m not trying to change LessWrong. But if this forum has people criticizing the CTMU without having a clue of what it is, then I attain a certain feeling of entitlement. You can’t just go badmouthing people and their theories and not expect any consequences if you are mistaken. You don’t need to defend yourself either, because I’m here to tell you what recursive metaphysical theories such as the CTMU are about, or recommend you to shut up about the CTMU if you are not interested of metaphysics. I’m not here to bloat my ego by portraying other people as fools with witty rhetoric, and if you Google about the CTMU, you’ll find a lot of people doing precisely that to the CTMU, and you will understand why I fear that I, too, could be treated in such a way.
I’m mostly writing this stuff trying to explain what my mindset, which I guess to be somewhat coincident with the general LW one, is like, and where it seems to run into problems with trying to understand these theories. My question about the assumptions is basically poking at something like “what’s the informal explanation of why this is a good way to approach figuring out reality”, which isn’t really an easy thing to answer. I’m mostly writing about my own viewpoint instead of addressing the metaphysical theory, since it’s easy to write about stuff I already understand, and a lot harder to to try to understand something coming from a different tradition and make meaningful comments about it. Sorry if this feels like dismissing your stuff.
The reason I went on about the complexity of the DNA and the brain is that this is stuff that wasn’t really known before the mid-20th century. Most of modern philosophy was being done when people had some idea that the process of life is essentially mechanical and not magical, but no real idea on just how complex the mechanism is. People could still get away with assuming that intelligent thought is not that formally complex around the time of Russell and Wittgenstein, until it started dawning just what a massive hairball of a mess human intelligence working in the real world is after the 1950s. Still, most philosophy seems to be following the same mode of investigation as Wittgenstein or Kant did, despite the sudden unfortunate appearance of a bookshelf full of volumes written by insane aliens between the realm of human thought and basic logic discovered by molecular biologists and cognitive scientists.
I’m not expecting people to rewrite the 100 000 pages of complexity into human mathematics, but I’m always aware that it needs to be dealt with somehow. For one thing, it’s a reason to pay more attention to empiricism than philosophy has traditionally done. As in, actually do empirical stuff, not just go “ah, yes, empiricism is indeed a thing, it goes in that slot in the theory”. You can’t understand raw DNA much, but you can poke people with sticks, see what they do, and get some clues on what’s going on with them.
For another thing, being aware of the evolutionary history of humans and the current physical constraints of human cognition and DNA can guide making an actual theory of mind from the ground up. The kludged up and sorta-working naturally evolved version might be equal to 100 000 pages of math, which is quite a lot, but also tells us that we should be able to get where we want without having to write 1 000 000 000 pages of math. A straight-up mysterian could just go, yeah, the human intelligence might be infinitely complex and you’ll never come up with the formal theory. Before we knew about DNA, we would have had a harder time coming up with a counterargument.
I keep going on about the basic science stuff, since I have the feeling that the LW style of approaching things basically starts from mid-20th century computer science and natural science, not from the philosophical tradition going back to antiquity, and there’s some sort of slight mutual incomprehension between it and modern traditional philosophy. It’s a bit like C.P. Snow’s Two Cultures thing. Many philosophers seem to be from Culture One, while LW is people from Culture Two trying to set up a philosophy of their own. Some key posts about LW’s problems with philosophy are probably Against Modal Logics and A Diseased Discipline. Also there’s the book Good and Real, which is philosophy being done by a computer scientist and which LW folk seem to find approachable.
The key ideas in the LW approach are that you’re running on top of a massive hairball of junky evolved cognitive machinery that will trip you up at any chance you get, so you’ll need to practice empirical science to figure out what’s actually going on with life, plain old thinking hard won’t help since that’ll just lead to your broken head machinery tripping you up again, and that the end result of what you’re trying to do should be a computable algorithm. Neither of these things show up in traditional philosophy, since traditional philosophy got started before there was computer science or cognitive science or molecular biology. So LessWrongers will be confused about non-empirical attempts to get to the bottom of real-world stuff and they will be confused if the get to the bottom attempt doesn’t look like it will end up being an algorithm.
I’m not saying this approach is better. Philosophers obviously spend a long time working through their stuff, and what I am doing here is basically just picking low-hanging fruits from science that’s so recent that it hasn’t percolated into the cultural background thought yet. But we are living in interesting times when philosophers can stay mulling through the conceptual analysis, and then all of a sudden scientists will barge in and go, hey, we were doing some empiric stuff with machines, and it turns out conterfactual worlds are actually sort of real.
You don’t have to apologize, because you have been useful already. I don’t require you to go out of your way to analyze this stuff, but of course it would also be nice if we could understand each other.
That’s a good point. The philosophical tradition of discussion I belong to was started in 1974 as a radical deviation from contemporary philosophy, which makes it pretty fresh. My personal opinion is that within decades of centuries, the largely obsolete mode of investigation you referred to will be mostly replaced by something that resembles what I and a few others are currently doing. This is because the old mode of investigation does not produce results. Despite intense scrutiny for 300 years, it has not provided an answer to such a simple philosophical problem as the problem of induction. Instead, it has corrupted the very writing style of philosophers. When one is reading philosophical publications by authors with academic prestige, every other sentence seems somehow defensive, and the writer seems to be squirming in the inconvenience caused by his intuitive understanding that what he’s doing is barren but he doesn’t know of a better option. It’s very hard for a distinguished academic to go into the freaky realm and find out whether someone made sense but had a very different approach than the academic approach. Aloof but industrious young people, with lots of ability but little prestige, are more suitable for that.
Nowadays the relatively simple philosophical problem of induction (proof of the Poincare conjecture is relatiely extremely complex) has been portrayed as such a difficult problem, that if someone devises a theoretic framework which facilitates a relatively simple solution to the problem, academic people are very inclined to state that they don’t understand the solution. I believe this is because they insist the solution should be something produced by several authors working together for a century. Something that will make theoretical philosophy again appear glamorous. It’s not that glamorous, and I don’t think it was very glamorous to invent 0 either—whoever did that—but it was pretty important.
I’m not sure what good this ranting of mine is supposed to do, though.
The metaphysics of quality, of which my RP is a much-altered instance, is an empiricist theory, written by someone who has taught creative writing in Uni, but who has also worked writing technical documents. The author has a pretty good understanding of evolution, social matters, computers, stuff like that. Formal logic is the only thing in which he does not seem proficient, which maybe explains why it took so long for me to analyze his theories. :)
If you want, you can buy his first book, Zen and the Art of Motorcycle Maintenance from Amazon at the price of a pint of beer. (Tap me in the shoulder if this is considered inappropriate advertising.) You seem to be logically rather demanding, which is good. It means I should tell you that in order to attain understanding of MOQ that explains a lot more of the metaphysical side of RP, you should also read his second book. They are also available in every Finnish public library I have checked (maybe three or four libraries).
What more to say… Pirsig is extremely critical of the philosophical tradition starting from antiquity. I already know LW does not think highly of contemporary philosophy, and that’s why I thought we might have something in common in the first place. I think we belong to the same world, because I’m pretty sure I don’t belong to Culture One.
Okay, but nobody truly understands that hairball, if it’s the brain.
That’s what I’m trying to do! But it is not my only goal. I’m also trying to have at least some discourse with World One, because I want to finish a thing I began. My friend is currently in the process of writing a formal definition related to that thing, and I won’t get far with the algorithm approach before he’s finished that and is available for something else. But we are actually planning that. I’m not bullshitting you or anything. We have been planning to do that for some time already. And it won’t be fancy at first, but I suppose it could get better and better the more we work on it, or the approach would maybe prove a failure, but that, again, would be an interesting result. Our approach is maybe not easily understood, though...
My friend understands philosophy pretty well, but he’s not extremely interested of it. I have this abstract model of how this algortihm thing should be done, but I can’t prove to anyone that it’s correct. Not right now. It’s just something I have developed by analyzing an unusual metaphysical theory for years. The reason my friend wants to do this apparently is that my enthusiasm is contagious and he does enjoy maths for the sake of maths itself. But I don’t think I can convince people to do this with me on grounds that it would be useful! And some time ago, people thought number theory is a completely useless but a somehow “beautiful” form of mathematics. Now the products of number theory are used in top-secret military encryption, but the point is, nobody who originally developed number theory could have convinced anyone the theory would have such use in the future. So, I don’t think I can have people working with me in hopes of attaining grand personal success. But I think I could meet someone who finds this kind of activity very enjoyable.
The “state basic assumptions” approach is not good in the sense that it would go all the way to explaining RP. It’s maybe a good starter, but I can’t really transform RP into something that could be understood from an O point of view. That would be like me needing to express equation x + 7 = 20 to you in such terms that x + y = 20. You couldn’t make any sense of that.
I really have to go now, actually I’m already late from somewhere...
I commented Against Modal Logics.