Problem solving and mathematical knowledge
This event took place on Friday 10 December 2010 at 11:30
Joe Corneli
I will give a brief retrospective on the past year at KMi and talk a little bit about what brought me here in the first place! I will then spend the rest of the time discussing my plan for the next two years. Succinctly, the plan is to build a problem-solving layer over the encyclopedia layer that comprises the central feature of the current PlanetMath.org. Research will proceed by examining the activities of people in this space (e.g. connecting, discussing, working, recording, sharing, learning, etc.) and analysis of these pursuant to creating useful recommendations for learners. I am particularly interested in looking at the ways problem-solving connects with encodings of knowledge in the encyclopedia layer. Comments and criticisms are welcome; and, to this end, please come with an opinion about the following motivating quote: "Outsiders see mathematics as a cold, formal, logical, mechanical, monolithic process of sheer intellection; we argue that insofar as it is successful, mathematics is a social, informal, intuitive, organic, human process, a community project." -- Social Processes and Proofs of Theorems and Programs, by DeMillo, Lipton, and Perlis.
This event took place on Friday 10 December 2010 at 11:30
I will give a brief retrospective on the past year at KMi and talk a little bit about what brought me here in the first place! I will then spend the rest of the time discussing my plan for the next two years. Succinctly, the plan is to build a problem-solving layer over the encyclopedia layer that comprises the central feature of the current PlanetMath.org. Research will proceed by examining the activities of people in this space (e.g. connecting, discussing, working, recording, sharing, learning, etc.) and analysis of these pursuant to creating useful recommendations for learners. I am particularly interested in looking at the ways problem-solving connects with encodings of knowledge in the encyclopedia layer. Comments and criticisms are welcome; and, to this end, please come with an opinion about the following motivating quote: "Outsiders see mathematics as a cold, formal, logical, mechanical, monolithic process of sheer intellection; we argue that insofar as it is successful, mathematics is a social, informal, intuitive, organic, human process, a community project." -- Social Processes and Proofs of Theorems and Programs, by DeMillo, Lipton, and Perlis.
Future Internet
KnowledgeManagementMultimedia &
Information SystemsNarrative
HypermediaNew Media SystemsSemantic Web &
Knowledge ServicesSocial Software
Social Software is...

Interacting with other people not only forms the core of human social and psychological experience, but also lies at the centre of what makes the internet such a rich, powerful and exciting collection of knowledge media. We are especially interested in what happens when such interactions take place on a very large scale -- not only because we work regularly with tens of thousands of distance learners at the Open University, but also because it is evident that being part of a crowd in real life possesses a certain 'buzz' of its own, and poses a natural challenge. Different nuances emerge in different user contexts, so we choose to investigate the contexts of work, learning and play to better understand the trade-offs involved in designing effective large-scale social software for multiple purposes.
Check out these Hot Social Software Projects:
List all Social Software Projects
Check out these Hot Social Software Technologies:
List all Social Software Technologies
List all Social Software Projects
Check out these Hot Social Software Technologies:
List all Social Software Technologies

