Testing Monday

Not much to report on - primarily am working the process.

Did enjoy reading this article about mathematical proofs becoming to complex, its here at the new sciencetist:  http://www.newscientist.com/article.ns?id=dn8743&feedId=online-news_rss20

Personally - i don't think we have hit the gas pedal enough with mathematics.   I was going through the predicate logic used by Gödel in his Incompleteness paper -and  my teenager thought it was no big deal in terms of understanding and loved the symbols.   It's just what people are taught to in terms in how they are learning.

At one time it was said that only 10 people on the planet understood Einstein Relativity - now you can find an explanation in my kids Anime.  I dare not say the word - cartoon.

So - back to that article.  The logic problems we deal with in creating software may grow in exponential complexity - but compared what we do today to 100 years ago can be thought of exponential rise.  

But then my thought on theory is what good is it - if you can't use it for building something.