Master of PhilosophyA Master of Philosophy (MPhil; Latin Magister Philosophiae or Philosophiae Magister) is a postgraduate degree. An MPhil may be awarded to postgraduate students after completing taught coursework and one to two years of original research, which may also serve as a provisional enrolment for a PhD programme. In the United States, an MPhil typically includes a taught portion and a significant research portion, during which a thesis project is conducted under supervision.
Functionalism (architecture)In architecture, functionalism is the principle that buildings should be designed based solely on their purpose and function. An international functionalist architecture movement emerged in the wake of World War I, as part of the wave of Modernism. Its ideas were largely inspired by a desire to build a new and better world for the people, as broadly and strongly expressed by the social and political movements of Europe after the extremely devastating world war.
Undecidable problemIn computability theory and computational complexity theory, an undecidable problem is a decision problem for which it is proved to be impossible to construct an algorithm that always leads to a correct yes-or-no answer. The halting problem is an example: it can be proven that there is no algorithm that correctly determines whether arbitrary programs eventually halt when run. A decision problem is a question which, for every input in some infinite set of inputs, answers "yes" or "no"..
Soar (cognitive architecture)Soar is a cognitive architecture, originally created by John Laird, Allen Newell, and Paul Rosenbloom at Carnegie Mellon University. (Rosenbloom continued to serve as co-principal investigator after moving to Stanford University, then to the University of Southern California's Information Sciences Institute.) It is now maintained and developed by John Laird's research group at the University of Michigan.