News for hackers. Stuff that matters.

A comment on Does category theory make you a better programmer?. Parent comment

Re:Does category theory make you a better programmer? by bane on Tuesday July 31, 2012 @12:07AM (#4315646)
"Since it's logically impossible to have one consistent ontology( Incompleteness Theorem )..."

This pings right at an interest area of mine. Can you point to any references you know on the subject? Particularly cross-domain morphisms?

[ Parent | on HN ]
Re:Does category theory make you a better programmer? by s_baby on Tuesday July 31, 2012 @11:45AM (#4317814)
That was very much the goal of "Systems Theory"[1]. The problem is it's focused on "natural systems" with quantitative relationships. The work has fallen short in capturing phenomenological relationships.

I think Wilber's AQAL ontology comes closest to being the most "well defined"[2] but also a little whacky. The cornerstone of the model is differentiation across pronouns. The assertion is perspectives are partitioned across 1st, 2nd, and 3rd person perspectives. So for example, art, ethics, and "truth" are the broad knowledge domains. He takes this further by then saying you can take a 1st/2nd/3rd person perspective on actual 1st/2nd/3rd persons.

[1] http://en.wikipedia.org/wiki/Systems_theory

[2] http://wilber.shambhala.com/html/books/kosmos/excerptC/appen...

[ Parent | on HN ]