samedi 3 juillet 2010

Theory of Theories, including itself: introduction



Welcome back,

It's been several years since last trying to talk about this with anyone, please bear with me while trying to figure out how to communicate it well.

The first step is probably to get the big picture, to motivate going further with this. The end goal is to have a way to think about anything -- thought itself, words, the definition of definition, why one can't learn a foreign language with just a dictionary in that foreign language, the difference between math and religion -- and to have a single, complete, self-consistent system that it all is consistent with.

Wouldn't it be nice to have a way to compare God to Logic? To be able to listen to Politicians and relate their words to computation theory? These seem like non-sequiturs, pure non-sense, but by the end of this series of blog posts, you'll have a way to do exactly that. Of course, nothing comes for free, a tiny little bit of head-rearrangement might happen to take place between then and now ; )

Okay, so checking in, the overall goal is to have a way of thinking about what a goal is -- and a way to examine every other basis underneath our thoughts and ideas -- even what an idea itself is. By this time, the first laughter should be bubbling up ; )

This will be a broad thing -- defining some terms, obviously, won't be able to give a way of thinking about what "define a term" means. So, the first step I want to take you on is a side-step, something more concrete -- thinking about computation -- and computer-science terms.


Welcome


Welcome to my new blog, if you'll bear with me as I learn this whole "blog" thing, maybe some fun stuff will come out of it.

For starters, I'm doing this because I want to share the work I've been doing on parallel programming languages, and computer science in general. It's a big risk because I say some rather outrageous things. At times, you'll probably want to laugh at me, and send me hate-comments. You're not alone ; ) -- maybe that means I shouldn't post this stuff, to protect myself, but maybe it means there's some good stuff here, and I should get over it, send it out, and see what happens. So here goes.

The first thing I want to talk about is a general theory of, well, everything -- including itself. I might as well start with the big guns ; ) All the rest follows from this theory -- the language designs have all been guided by the theory -- I started out telling people about it directly, and got, well, laughed at -- or boredom -- or blank stares and body language saying my victim wanted desperately to escape ; )

So, failing to convey the theory directly, I embarked on using it -- because I knew its power would produce some good things -- and then let people who loved the value of the languages come back and say "how the heck did you figure that out!?" And then guide then into the theory, now that they have a vested interest in learning it.

Frankly, it's been a mind-bender for those who have tried to wrap their heads around it so far -- I don't blame them for running away at all. Of course, the most devastating comment was "I don't see anything here" but that came mostly from not having the background -- if one doesn't know what the problem is, it's kinda hard to appreciate the solution.

So, with all that build-up -- next post will be the first installment!

Till then,

Sean