Worldview Manager: Complexity Theory, Strong AI, Axiom of Choice, Quantum Computing, Quantum Mechani

Worldview Manager

Welcome to Worldview Manager! Worldview Manager is a program that attempts to help users uncover hidden inconsistencies in their personal beliefs. You can read more on the About page, or you can head directly to the Topics page to begin.

About Worldview Manager

Worldview Manager is a prototype for a framework and website that help users uncover hidden inconsistencies in their personal beliefs ("worldviews").

The website does not actually understand the belief systems nor consider one to be more correct than the other. Instead, it has a record of which opinions are logically inconsistent; the user selects some "topic" and the website presents him or her with a series of statements in that topic, one by one -- the user indicates agreement or disagreement with the statement, and the system detects when some response contradicts previous responses.

Worldview Manager is written from scratch, primarily in PHP, but with some components in Haskell and Scheme. It is generously hosted by the Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory. The contents, design, and source code of the website are all available under the Apache Software License Version 2.0. The source code may be viewed and downloaded at http://www.gitorious.org/worldview.

For the interested, there is also a very comprehensive manual about the inner workings of Worldview Manager.

Please see the Contact page if you want to write to the authors. We are especially interested in user-contributed Topics, but all correspondence is welcome!

Topic Selection

Please select a topic from the list below.

The program will present you with a series of statements and ask you to indicate your level of agreement with them.

We would love to get more topics. If you would like to contribute your own topic, please use the contact link.

* Complexity Theory
* Strong AI
* Axiom of Choice
* Quantum Computing
* Libertarianism
* Quantum Mechanics

http://en.wikipedia.org/wiki/Scott_Aaronson

Scott Joel Aaronson (born May 21, 1981)<1> is a theoretical computer scientist and faculty member in the Electrical Engineering and Computer Science department at the Massachusetts Institute of Technology.

Contents
* 1 Education
* 2 Career
* 3 Work
* 4 Intellectual property
* 5 References
* 6 External links

Education

He obtained his B.Sc. in computer science from Cornell University in 2000,<2> and his Ph.D. at the University of California, Berkeley in 2004, under the supervision of Umesh Vazirani.<3>

Career

After postdoctorates at the Institute for Advanced Study and the University of Waterloo, he took a faculty position at MIT in 2007.<2> His primary area of research is quantum computing and computational complexity theory more generally.

Work

He is a founder of the Complexity Zoo wiki, which catalogs all classes of computational complexity.<4><5> He is the author of the much-read blog "Shtetl-Optimized" as well as the essay Who Can Name The Bigger Number?.<6> The latter work, widely distributed in academic computer science, uses the concept of Busy Beaver Numbers as described by Tibor Rado to illustrate the limits of computability in a pedagogic environment. An article of Aaronson's, "The Limits of Quantum Computers", was published in Scientific American,<7> and he was a guest speaker at the 2007 Foundational Questions in Science Institute conference.<8> Aaronson is frequently cited in non-academic press, such as Science News<9>, The Age<10>, ZDNet<11>, Slashdot<12>, New Scientist<13>, The New York Times<14>, and Forbes Magazine<15>.
Intellectual property

Aaronson was the subject of media attention in October 2007, when he accused an advertising agency of plagiarizing a lecture he wrote on quantum mechanics in an advertisement of theirs.<16> He alleged that a commercial for Ricoh Australia by Sydney-based agency Love Communications appropriated content almost verbatim from the lecture.<17> Aaronson received an apologetic email from the agency in which they claimed to have sought legal advice and did not believe that they were in violation of his copyright. Unsatisfied, Aaronson pursued the matter, and the agency settled the dispute without admitting wrongdoing by making a charitable contribution to two science organizations of his choice.<17>

<snip>