Alpha Now, Omega Later : 5

Re: Isomorphism Is Where It’s At • “Are there more good cases of isomorphism to study?”

Just off the top of my head, as Data says, a couple of examples come to mind.

Sign Relations. In computational settings, a sign relation L is a triadic relation of the form L \subseteq O \times S \times I, where O is a set of formal objects under consideration and S and I are two formal languages used to denote those objects. It is common practice to cut one’s teeth on the special case S = I before moving on to more solid diets.

Cactus Graphs. In particular, a variant of cactus graphs known (by me, anyway) as painted and rooted cacti (PARCs) affords us with a very efficient graphical syntax for propositional calculus.

I’ll post a few links in the next couple of comments.

This entry was posted in Cactus Graphs, Computational Complexity, Differential Logic, Inquiry, Inquiry Driven Systems, Isomorphism, Logic, Logical Graphs, Peirce, Peirce List, Propositional Calculus, Semiotics, Sign Relations, Systems Theory and tagged , , , , , , , , , , , , , . Bookmark the permalink.

One Response to Alpha Now, Omega Later : 5

  1. Pingback: All Process, No Paradox : 2 | Inquiry Into Inquiry

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s