Tag Archives: Computing

Notes On Categories • 2

Re: Category Theory • Joe Moeller JM: In category theory, we have this perspective that we should focus attention on maps, on the relationships between objects, rather than on the objects themselves.  What’s your favorite examples of people giving a … Continue reading

Posted in Abstraction, Category Theory, Computing, Graph Theory, Logic, Mathematics, Relation Theory, Type Theory | Tagged , , , , , , , | Leave a comment

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

Notes On Categories • 1

Continued from “Notes On Categories” (14 Jul 2003) • Inquiry List • Ontology List NB.  This page is a work in progress.  I will have to dig up some still older notes from the days of pen and paper before … Continue reading

Posted in Abstraction, Category Theory, Computing, Graph Theory, Logic, Mathematics, Relation Theory, Type Theory | Tagged , , , , , , , | 3 Comments