In his recent biography of Terzaghi, Goodman (1999, p 213) has described Terzaghi and Peck's difficulties in writing 'Soil Mechanics in Engineering Practice' which, published in (1948), quickly established itself as a main pillar of geotechnical education. He quotes a judgement they formed on Donald Taylor’s (1948) book ‘Fundamentals of Soil Mechanics’ as a ‘theoretical and esoteric portrayal o...

The distinction between esoteric and exoteric readings of Plato will be revisited in this article with respect to two esoteric approaches: the German Tübingen School and the American Straussians (i.e., those interpreters who have been inspired by the work of Leo Strauss). There appears to be a joint motivation for these two approaches, namely, the critique of writing in the dialogue Phaedrus an...

Theory interpretation is a logical technique for relating one axiomatic theory to another with important applications in mathematics and computer science as well as in logic itself. This paper presents a method for theory interpretation in a version of simple type theory, called lutins, which admits partial functions and subtypes. The method is patterned on the standard approach to theory inter...

Esoteric protocols, such as electronic cash, electronic voting and selective disclosure protocols, use special message constructors that are not widely used in other types of protocols (for example, in authentication protocols). These message constructors include blind signatures, commitments and zero-knowledge proofs. Furthermore, a standard formalization of the Dolev-Yao intruder [6] does not...