Weaving Self-Evidence

The development of theorems in logic is generally thought to be a solitary and purely cerebral activity, and therefore unobservable by sociologists. This book challenges this notion by tracing the history of one well-known example in the field of artificial intelligence - a theorem on the foundations of fuzzy logic.