Become a fan of Slashdot on Facebook

 



Forgot your password?
typodupeerror
×

Comment Re:Enterprise apps are supposed to be hard (Score 1) 338

I used to hate WebSphere with a passion but learning JACL made me love the poor misunderstood abomination that is WebSphere.

Everything is scriptable, and I mean Everything . I had a bash scripter learn it. And now we have the ability to remotely deploy a full WebSphere installation on an server already running up to 8 other installations, configure it, install the requested applications! All that from a shell based wizard. The actual utilization of the script is about 30 seconds long and it's execution time is about 20 minutes long if you also want to install a couple of applications. The wizard takes care of everything in one pass except evidently the installation of the yet to be generated CSR reply. However, the wizard also takes care of that if you select install received CSR CRT reply's....

HOWEVER, the above message only applies to WebSphere, no an atrocity with a name like WebSphere Lotus Inventory Maximo Enterprise Management EditionIf a product from IBM with a name designed by chtulu himself is under you care, I am sorry for you

Comment Re:It's math (Score 1) 171

I just want for someone to prove the Church-Turing conjecture for the set of all finite programs<->calclus. I specified finite as PM breaks down when dealing with an infinite number of elements into a set and Godel do not applies here as I do not search the truth value of a proposition, only a mapping D->P as I transform the parsing and interpretation of a finite description D to an hypothetical lambda calculus problem P. As long as all descriptions are finite and that the Church-Turing conjecture holds true, my conjecture is safe. Sure, there is no usefulness in that transformation, it's only a device to show that at least one mathematical description must exist.
I wish I could address your remark on Tractatus Logico-Philosophicus but I lack knowledge of that book to address your concerns.
And lastly, the project in Principia Mathematica is, in my humble opinion, not failed but it is incomplete and limited to finite sets.

Comment Re:It's math (Score 3, Insightful) 171

I would argue that every non-mathematical correct description of nature is transformable into math by involving the Church-Turing lambda-reductibility thesis. Axiom 1: A description is made using a language. Axiom 2: A description is not infinitely long. A correct non-mathematical description of a natural process using a language. Since that natural process is express as with a language, it is possible to build an interpreter for that a finite set of that language. Since an interpreter is realized-by and realized computations, according to the Church-Turing thesis an equivalent lambda calculus problem exists. Therefore, if the Church-Turing lambda-reductibility thesis hold true, every language based description must have at least one equivalent mathematical problems. I concede that this description is probably useless and really hard to build but it exist nonetheless.

Comment Re:Ban (Score 1) 297

Thats why drones are so popular nowadays. All the benefits of killing people, without all the personal risk. Its a win-win all round. Makes sense doesn't it?

It does, way too much for my own taste. That why it should be banned: it does make it too safe to kill...

Slashdot Top Deals

Air pollution is really making us pay through the nose.

Working...