Slashdot Mirror
Are Computers Ready to Create Mathematical Proofs?
DoraLives writes "Interesting article in the New York Times regarding the quandary mathematicians are now finding themselves in. In a lovely irony reminiscent of the torture, in days of yore, that students were put through when it came to using, or not using, newfangled calculators in class, the Big Guys are now wrestling with a very similar issue regarding computers: 'Can we trust the darned things?' 'Can we know what we know?' Fascinating stuff."
Hi! My name is p00p, and I'm an independent consultant whose job it is to check out operating systems; I detect weaknesses for a living, which is why I am particularly glad to have Open Sores crap like Linux on the streets.. but enough about my boring job, I can tell that you are here for the Report ! With no further ado, let me break it down for ya, homez.
I've checked it once, I've checked it a million times - the numbers don't lie, folks, it appears that Linux on the desktop is an utter failure right out the gate. GNOME is still a floundering fudgepack dependent on the dying kludge-fuck Xfree86, and there's no light at the end of that tunnel as we all know!
KDE follows right behind, with a hideous mess built on anti-speed-demon Trolltech's QT toolkit, also filtered through Xfree just like GNOME. Ouch. Like the name, Trolltech, but the toolkit is a boner. Sorry guys! I know you all tried really hard and probably gave up maybe three or four hours of watching gay pr0n to pump that code out , but it looks like the only slots and signals people want are the ones that pay out big bucks in Vegas.
Security is still an issue, but you'd expect that from any amateur Open Sores project. Linux ain't so great, and it appears that the automatic updating mechanism in 90% of Linux installations is nonexistent or broken.. this is probably because Communism is more effective as a political philosophy than programming paradigm. And even then it never did work right, now did it?
Moving along, let's look at the appz people want [emphasis on "want" - editor] and see how many have been ported to Linux. Counting the Gimp (a pity vote) and WordPerfect (oh wait - that's dead) we have a grand total of ONE - I repeat ONE semi-popular app. Mozilla is a useless pig, else we'd be delighted to have it aboard just to give a semblance of competition to Mcrosoft. Maybe thirty years from now 'Zilla will be back to take charge eh!
Lastly, and perhaps most significantly, it appears that among the children and unemployed hobbyists who currently form the bulk of Open Sores "developers" (term used loosely, no offense intended to legitimate software engineers!) there is a large homosexual contingent that is increasing every year.
This important announcement was brought you by p00p!
"Happy New Year and don't choke on my oversized donkey dong please, Linux!"
note: I realize that Apple is even more gay, but Apple's gayness comes at a significant price which many welfare-scamming bottom-feeders of homosexual orientation are unwilling to pay, hence the continuing focus on Linux afficionados and their OS of choice. Thanks for reading, and I'll be back next week. Cheerio!
You've missed the fucking point. I don't see how you possibly could have, given such a cogent, accurate explanation. Perhaps you should just give up on understanding what makes mathematicians and physicists work, and go back to jacking off or watching Ricki Lake, or whatever it was you were doing before you wasted all of our time.
When I was a young boy, I awoke every morning to the delicious smell of pancakes. My mother, and father's dojo contained within it a hot griddle perfect for making pancakes, waffles, and a multitude of other pancake-like breakfast pastries. I remember them well -- The pleasant, care-free days of my childhood in the dojo were often spent peering into the kitchen with eager anticipation as my mother prepared pancakes my family.
.. the ultimate pancake. My journey took me to the many islands of my homeland, many days away from my dojo. My hunger for pancakes became my teacher, and foolishly I let it control the path that I walked upon. My feet, sore from travel, ached as my heart and stomach did, until I came to a realization. My duty was clear. I needed to take a stand and accept my love for the art of the ninja AND my love for pancakes. It was not wrong for me to love both. I love one as a dear friend, and one as a lover. Yes--My mission was clear--I must become a ninja, a secret assassin hired by the imperial family BUT I MUST ALSO ENJOY THE OCCASIONAL PANCAKE.
As I grew older, and began my journey to spiritual enlightenment, the memories of my pancake-eating youth filled my heart and dreams with warm, fluffy goodness....Ahhh, yes..the sweet, sweet memories... The day I ate 10 pancakes... The day I placed a warm pancake between my fleshy loins and performed the forbidden dance... The day pressed a pancake to my buttocks and encouraged my dog to come eat.. Indeed, much of my childhood was spent in pure innocence -- An innocence only pancakes can provide. It was heaven. A heaven, filled with pancakes, where I sat at the throne of God, with my hand-maidens Aunt Jemimah and Mrs. Butterworth seated beside me. An indestructible triumvirate made of flour, eggs, sugar, milk, water, and love.
By the age of 15, the path of my life became unclear and confusing. Torn between my duty my village and my love for pancakes, I foolishly left home in search of karaguchi ah-nowakadesu
My adoration for breakfast cakes has placed me within an awkward position. Many ninja refuse to recognize me as their brother. I defend my father's land, but I am looked upon as weak and undisciplined. I tell them, "But, brothers! Listen to my plea! The pancakes do not weaken me, nor do they make me disobey the rule of my sword. They fill me with love." But alas, they do not understand...For the mind of a ninja is complex.
My only earthly desire is to be accepted for who I am. Yes, I am a NINJA--But I also enjoy pancakes. Will you accept me? If you were approached by a ninja who requested a pancake, would you submit to his will?
22209
Hi! My name is p00p, and I'm an independent consultant whose job it is to check out operating systems; I detect weaknesses for a living, which is why I am particularly glad to have Open Sores crap like Linux on the streets.. but enough about my boring job, I can tell that you are here for the Report ! With no further ado, let me break it down for ya, homez.
I've checked it once, I've checked it a million times - the numbers don't lie, folks, it appears that Linux on the desktop is an utter failure right out the gate. GNOME is still a floundering fudgepack dependent on the dying kludge-fuck Xfree86, and there's no light at the end of that tunnel as we all know!
KDE follows right behind, with a hideous mess built on anti-speed-demon Trolltech's QT toolkit, also filtered through Xfree just like GNOME. Ouch. Like the name, Trolltech, but the toolkit is a boner. Sorry guys! I know you all tried really hard and probably gave up maybe three or four hours of watching gay pr0n to pump that code out , but it looks like the only slots and signals people want are the ones that pay out big bucks in Vegas.
Security is still an issue, but you'd expect that from any amateur Open Sores project. Linux ain't so great, and it appears that the automatic updating mechanism in 90% of Linux installations is nonexistent or broken.. this is probably because Communism is more effective as a political philosophy than programming paradigm. And even then it never did work right, now did it?
Moving along, let's look at the appz people want [emphasis on "want" - editor] and see how many have been ported to Linux. Counting the Gimp (a pity vote) and WordPerfect (oh wait - that's dead) we have a grand total of ONE - I repeat ONE semi-popular app. Mozilla is a useless pig, else we'd be delighted to have it aboard just to give a semblance of competition to Mcrosoft. Maybe thirty years from now 'Zilla will be back to take charge eh!
Lastly, and perhaps most significantly, it appears that among the children and unemployed hobbyists who currently form the bulk of Open Sores "developers" (term used loosely, no offense intended to legitimate software engineers!) there is a large homosexual contingent that is increasing every year.
This important announcement was brought you by p00p!
"Happy New Year and don't choke on my oversized donkey dong please, Linux!"
note: I realize that Apple is even more gay, but Apple's gayness comes at a significant price which many welfare-scamming bottom-feeders of homosexual orientation are unwilling to pay, hence the continuing focus on Linux afficionados and their OS of choice. Thanks for reading, and I'll be back next week. Cheerio!
Can we trust the mathematicians ?