(2) Consider next an example of an ill-typed variable. Suppose we are interested in the roles played by people in some community; we could not introduce an observable standing for those beauticians who depilate just those people who do not …The introduction of LoAs is often an important step prior to mathematical modelling of the phenomenon under consideration. However, even when that further step is not taken, the introduction of LoAs remains a crucial tool in conceptual anal…
John Etchemendy
mathematician · 2 mentions across 1 reading
In this course
Without sufficient context from these excerpts, Etchemendy's precise role in the course readings remains unclear—the passages appear to address type theory and levels of abstraction rather than directly attributing arguments to him. His presence suggests relevance to foundational questions about logical formalism and conceptual clarity that undergird discussions of AI systems, though he reads as a passing reference rather than a central figure in the seminar's arguments about machine learning and cybernetics.
Mentioned in 1 reading
Appears alongside
People mentioned in the same passages — sorted by co-occurrence weight.