Category Archives: Universals

Survey of Precursors Of Category Theory • 1

A few years ago I began a sketch on the Precursors of Category Theory, aiming to trace the continuities of the category concept from Aristotle, to Kant and Peirce, through Hilbert and Ackermann, to contemporary mathematical practice. This post is … Continue reading

Posted in Abstraction, Ackermann, Analogy, Aristotle, Carnap, Category Theory, Diagrammatic Reasoning, Diagrams, Dyadic Relations, Equational Inference, Form, Foundations of Mathematics, Functional Logic, Hilbert, History of Mathematics, Hypostatic Abstraction, Iconicity, Kant, Logic, Mathematics, Mental Models, Peirce, Propositions As Types Analogy, Saunders Mac Lane, Surveys, Triadic Relations, Type Theory, Universals, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Oracles

Computing, in its way, and science, in its broader way, both involve the relation between what appears limited and what appears not. Whether you believe in divinity or not, and whether you believe that humanity contains a spark of divinity … Continue reading

Posted in Communication, Computability, Computing, Inquiry, Oracles, Relative Computability, Science, Universals | Tagged , , , , , , , | 2 Comments