M Database Inspector (cheetah)

Not logged in. Login 
1  2  3  4 







Sat, Jun 14 2008  300  Cat Shrinks 
I am sitting in front of the computer, and Nekko just jumped at my lap, seeking comfort and minor treatment on account of an FHS episode about to occur, that she is trying to prevent with my help. I am immediately tuned to her need and start speaking out loud to her saying: Funny that you came just now, I was just thinking about you, explaining to Michal a few things about you in my thoughts.


Thu, May 31 2007  600  Evolution Take 1812 
The Babel Fish is ancient. A new predator arrived at the territory. An unknown species. The neo predator feeds only on websites of a specific kind. If they are sufficiently symbotic with its needs, he takes control. It feeds the websites, creating a dependency, thereby transorming and adjoining them to become part of his territory of control.


Fri, Jul 13 2007  155  Gauss 
His true genious was to connect mathematics and reality, by prooving and classifying from reality, the true axioms of mathematics. In math, we first take axioms for granted to be true. If we use a system of logic where the axioms are not true, then the system can only be used for teaching logic: What is true then, in an axiom, if we can not proove it is true, to make it different from the axioms that lead to no Aristotelian logic constructs that we will ever use? This is in fact the difference. They pertain to reality, and Gauss has shown us that, through mathematics. In complexity theory  a field in computer science theory that deals with the complexisty of computer programs  there is this set of very complex problems called NP complete. These are defined by means of a concept called Reduction. A reduction is a logical transofrmation of one problem to another. If one can reduce problem A to problem B, then B must be a harder problem or equal, and if B were soleved, then A is considered solved, because it is reducible to a solved problem. Computer science theorist have collected a large set of such problems, showing reductions in both directions, thereby establishing equivalence of the problems, without ever solving any. They are too complex, probably, to be actually solved. But if one is ever solved in the future, then automatically all others are solved too. From a theoritical standpoint, this concept is very powerful. A world of logic consturcts with many reductions after long research, has been built, atop a foundation yet to be discovered. Reduction is a mathematical construct, not just a concept. It is a methemtical description of what logically constitutes what is termed by this, and proof of why it is logically correct. Gauss connects math to reality. It is implied by looking at his conclusions from the mathematical point of view of reductions, and follow aristotelian logic. The primary concept is obvious: Reality can be counted, and pure mathematical deductions can be drawn. But if a certain demographic of reality can be prooven statistically to be correct, whereas we know this fact also to be correct from other observations of reality, then we can take the statistical conlusion from Gauss to be inhetrently correct, because we know it to be true from other sources. This being the case we start a process of reduction that will in the end up saying the follwing: The axioms are prooven to be true, (in as far as reality is true,) in all cases where the conclusions regarding reality, which we otherwise know to be true somehow, where the axioms are used in mathematically arriving at the same known conclusion. The details of the reduction process itself are not important in this case, but it is worth noting that the same can probably be prooven by other means, even though mathematical proofs in general do not necesserily work if you reverse the order of deduction. "A prooves B" does not necessarily imply "B prooves A", and so a reversal may or may not be logically correct. In other words, Gauss has classified the axioms of mathematics that were used for prooving the central limit theorem as correct. The axiom, and the thorem are equivalent, to the extent that conclusions from the theorem, can be shown from other means to be correct. For example, if election poles match statistical predictions, then it is proof that A+B always equals B+A. 

Fri, Jun 02 2006  100  Gummy Snakes 
Its one of those quiet winter nights. Despite the thunderstorms, Junior is tucked away safely in the crib, and Faye is fast asleep too. It is three in the morning. Junior sneezed just a few minutes ago. This was on or around midnight, and we were both still awake and made nothing of it. But it reminded me that I forgot to sum up the total and it will crash tomorrow in front of everybody in the meeting and embarrass him so, and I can't let that happen, so my eyes are bloodshot, but I have to finish this before they show up to the meeting, and what is this gummy snake noise coming from the bedroom to put a smile on my face? I am just stepping into my other shoe when the bedroom door opens. And what today? I say. Just Ice Cream, nothing special, Faye says and puts Junior's walkie talkie in her coat pocket. Not that she doesn't trust me or anything, she knows I hear every sneeze, even if I Am asleep. It never hurts to have two rather than one. This is so depressing, I say, if I don't join you I might collapse and fall asleep before you return and never finish this. will you let me this time? We have long since agreed that the highest hysteria level between us is what counts with everything titled Junior, so in this case, I have to ask. yeah, well, maybe the rain will do you good. It took not fifteen minutes from the time we came back until the bug was fixed. Faye was still awake. 