To all English-speaking people, Shakespeare's words on any subject are final. We think of Pyramus and Thisbe as comic, rather than romantic, characters, because they were played by the "rude mechanicals" in the Midsummer Night's Dream, and the Ages of Man are, beyond all question, seven, as enumerated by the melancholy Jacques. But, though Shakespeare has fixed this number, seven, so firmly in ...

This position paper was written for the CHI2000 Patterns Workshop, The Hague, 2–3 April, 2000. It is a revised and extended version of a paper for a patterns workshop of the British HCI Group in March 2000. It offers twelve statements outlining my position about patterns in human-computer interaction (HCI). The first, under “Roots”, suggest how HCI, unlike software engineering, can adapt the or...

I am struck by how little is known about so much of cognition. One goal of this poper is to argue for the need to consider a rich set of interlocking issues in the study of cognition. Mainstream work in cognitiorr-including my ow+ignores many critical aspects of animate cognitive systems. Perhaps one reason that existing theories say so little reievant to real world activities is the neglect of...

Analgesic headache occurs when drugs given for the treatment of headache aggravate symptoms. The condition is well recognised in adults but has not been described before in children in whom it may be induced by mild analgesics such as paracetamol used alone. Twelve children (nine girls and three boys, aged 6 to 16.5 years) with analgesic headache (from three months to 10 years) are reported. Fi...

Proof complexity is a research area that studies the concept of complexity from the point of view of logic. Although it is very much connected with computational complexity, the goals are different. In proof complexity we are studying the question how difficult is to prove a theorem? There are various ways how one can measure the “complexity” of a theorem. We may ask what is the length of the s...