I think you're re-inventing the wheel here.
"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.
Its an interesting idea but needs work.
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...
"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?"
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...