psyche

I frequently get into arguments because of the following things I sometimes put forward and sometimes believe:

Theoretical computer science describes the nature of all process.

Applied computer science is rapidly becoming the enabler of all other sciences (which are just processes anyway, so that’s some theoretical computer science).

Maths is just another formal system which happens to be fun for pure mathematicians to mess around with and good for applied mathematicians to give to scientists to explain the world. The universe is based on some kind of rule set. It is a formal system, in some sense.

Artificial intelligence is the most important thing we could ever try to create, as by our nature we cannot solve human problems like hunger and poverty etc. Politics and so on are just us getting caught up in the complexity of a) civilisation and b) other ways of “managing” our own pointless lives.

Also I would like to restate that I am not using “pointless” in a pejorative way.

In summary: create AI for the lulz.

There is a blog post about Formal Verification that has been self-constructing for a long time. I may or may not post it. It’s becoming slightly chunderous.

Pax