Search Results

Early Analytic Philosophy - New Perspectives on the Tradition

• Authors : Sorin Costreie

Subjects: Analysis (Philosophy)PHILOSOPHY / History & Surveys / General; PHILOSOPHY / Logic; SCIENCE / Philosophy & Social Aspects

Record details

Abstraction and Epistemic Economy.

• Authors : Panza, Marco

• Source: Early Analytic Philosophy - New Perspectives on the Tradition; 2016, p387-428, 42p

Record details

‘CHASING’ THE DIAGRAM—THE USE OF VISUALIZATIONS IN ALGEBRAIC REASONING.

• Authors : DE TOFFOLI, SILVIA

Subjects: COMMUTATIVE algebra; REASONING; VISUALIZATION

• Source: Review of Symbolic Logic; Mar2017, Vol. 10 Issue 1, p158-186, 29p

Record details

Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings

• Authors : Peter Chapman; Gem Stapleton; Amirouche Moktefi

Subjects: User interfaces (Computer systems); Human-computer interaction; Machine theoryCOMPUTERS / Human-Computer Interaction (HCI); COMPUTERS / Artificial Intelligence / General; COMPUTERS / Business & Productivity Software / General

Record details

MODULARITY IN MATHEMATICS.

• Authors : AVIGAD, JEREMY

Subjects: MODULAR construction; MATHEMATICS; PHILOSOPHY of mathematics

• Source: Review of Symbolic Logic; Mar2020, Vol. 13 Issue 1, p47-79, 33p

Record details

Diagrammatic Representation and Inference : 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021, Proceedings

• Authors : Amrita Basu; Gem Stapleton; Sven Linker

Subjects: User interfaces (Computer systems); Human-computer interaction; Computer science—MathematicsCOMPUTERS / Human-Computer Interaction (HCI); COMPUTERS / Image Processing; COMPUTERS / Computer Science

Record details

Mathematical Selves and the Shaping of Mathematical Modernism: Conflicting Epistemic Ideals in the Emergence of Enumerative Geometry (1864–1893).

• Authors : Michel, Nicolas

Subjects: ENUMERATIVE geometry; MATHEMATICAL formulas; ACADEMIC debatingCHASLES, M. (Michel), 1793-1880; KLEIN, Felix, 1849-1925

• Source: Isis: A Journal of the History of Science in Society; Mar2021, Vol. 112 Issue 1, p68-92, 25p, 2 Black and White Photographs, 1 Diagram

Record details

Counterexample Search in Diagram‐Based Geometric Reasoning.

• Authors : Hamami, Yacin; Mumma, John; Amalric, Marie

Subjects: CHARTS, diagrams, etc.; MATHEMATICS; ADULTS

• Source: Cognitive Science; Apr2021, Vol. 45 Issue 4, p1-25, 25p

Record details

Calculus as method or calculus as rules? Boole and Frege on the aims of a logical calculus.

• Authors : Waszek, David; Schlimm, Dirk

Subjects: MATHEMATICAL notation; PHILOSOPHY of mathematics; CALCULUS

• Source: Synthese; Dec2021, Vol. 199 Issue 5/6, p11913-11943, 31p

Record details

Research in History and Philosophy of Mathematics : The CSHPM 2019-2020 Volume

• Authors : Maria Zack; Dirk Schlimm

Subjects: Mathematics; History; Science—HistoryMATHEMATICS / History & Philosophy; SCIENCE / History

Record details