new GusWiki entries
Jul. 11th, 2006 04:38 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
guslThe uploading of my brain is going well. Here are some new entries:
* Logical omniscience
* Paradox, about paradoxes, their origin, their usefulness, and solution patterns.
* Knowledge representation about multiple representations in AI, cogsci, diagrammatic reasoning and "cognitive science of mathematics".
What is the technical name for a Turing Machine that spits out all the theorems of a given theory? I just made up a name.
* Evolution, fitness and selection mechanisms
* Logical formalization
* Mechanism design
* Theory formation, a philosophy of science-ish article about AI and Scientific Discovery.
* Folk science, i.e. non-rigorous science, similar to pseudoscience.
* Prior selection
You might also like to add to my list of idealizing assumptions in science.
* Logical omniscience
* Paradox, about paradoxes, their origin, their usefulness, and solution patterns.
* Knowledge representation about multiple representations in AI, cogsci, diagrammatic reasoning and "cognitive science of mathematics".
What is the technical name for a Turing Machine that spits out all the theorems of a given theory? I just made up a name.
* Evolution, fitness and selection mechanisms
* Logical formalization
* Mechanism design
* Theory formation, a philosophy of science-ish article about AI and Scientific Discovery.
* Folk science, i.e. non-rigorous science, similar to pseudoscience.
* Prior selection
You might also like to add to my list of idealizing assumptions in science.