"This towards the goal of creating "rationality augmentation" software. In the short term, my suspicion is that such software would look like a group of existing tools glued together with human practices."
Look at current work in AI, automated reasoning systems, and automated theorem proving.
I just tried the one for AI and I think its not quite accurate. One of the biggest issues is that I think some of the terms need to be precisely defined and they are not. The other issue I found was that the analysis of my beliefs was not completely accurate because it did not take into account all the answers properly.
I look forward to it. (though I doubt I will ever see it considering how long you've been saying you were going to make an FAI and how little progress you have actually made)
But maybe your pulling a Wolfram and going to work alone for 10 years and dazzle everyone with your theory.
I have to say I think this post would be better if it were turned into an annotated bibliography for rationality and I guess considering the post focusing on decision theory.
This seems to me a bit maudlin at times in the overall tone of the work. I guess my question would be what is point of this? Are you trying to bash anti-reductionist arguments, or anti-science or some mix of the two, or am I missing the point all together?
Does this greater detail mean that we will see some math and some worked out problems? Are these results ever going to be published in a journal, or anywhere that is peer-reviewed?
The university would be Carnegie Mellon Computer Science Program (an esoteric area of CS)
As for the other parts I did some work in computer hardware specifically graphics hardware design, body armor design (bullet proof vests) etc. The body armor got to prototyping but was not marketable for a variety reasons to dull to go into. I am currently starting a video game company.
I am sorry I am going to take a shortcut here and respond to a couple posts along with yours. So fine I partially insert my foot in my mouth... but the issue I think here is that the papers we need to be talking about are math papers right? Anyone can publish non-technical ideas as long as they are well reasoned, but the art of science is the technical mastery.
As for Eliezer's comment concerning the irrelevance of Flare being a pre 2003 EY work I have to disagree. When you have no formal academic credentials and you are trying to make your mark in a techni... (read more)
"Anyone who declines to talk about interesting material because it's in a blog post, or for that matter, a poem scrawled in blood on toilet paper, is not taking Science seriously. Why should I expect them to have anything important to say if I go to the further trouble of publishing a paper?"
What?
Vladimir is right not paying attention to blog entry with no published work is a great way to avoid crackpots. You have this all backwards you speak as if you have all these credentials so everyone should just take you seriously. In reality what credenti... (read more)