• Publications
  • Influence
The logic of the nation: Nationalism, formal logic, and interwar Poland
Between the World Wars, a robust research community emerged in the nascent discipline of mathematical logic in Warsaw. Logic in Warsaw grew out of overlapping imperial legacies, launched mainly byExpand
The Work of Writing Programs: Logic and Inscriptive Practice in the History of Computing
TLDR
This article explores the entanglement of logic and computing by focusing on the activity of writing, showing how logic was a source of notational invention, emerging as a practical resource for the work of writing programs independently of its role as a plausible theoretical foundation for computer science. Expand
“ALWAYS MIXED TOGETHER”: NOTATION, LANGUAGE, AND THE PEDAGOGY OF FREGE'S BEGRIFFSSCHRIFT
Gottlob Frege is considered a founder of analytic philosophy and mathematical logic, but the traditions that claim Frege as a forebear never embraced his Begriffsschrift, or “conceptual notation”—theExpand