calculi - Slashdot User

Submission + - How to formalize "although" into sententia

Submitted by

otakuj462

on Sunday March 04, 2007 @02:18PM

otakuj462 writes: "I'm currently working on a philosophy paper on Spinoza's Ethics, 3P57S. In this passage he uses the word soul (Latin "anima") which is not given a formal definition anywhere in the Ethics. Therefore I'm trying to define this term deductively from the context in which it is given and the rules of Sentential Logic. My question is, then, given a sentence of the form "Although X, something about Y", how would you formalize that into sentential logic?
I was thinking
X — > ~Y
but it seems like it may be trickier than that.
I'd appreciate any advice anyone can give."

Submission + - Is age 40 too old for IT or Software Development?

Submitted by on Sunday March 04, 2007 @02:17PM

An anonymous reader writes: I have read some stuff on Dice.com's message boards where some people are claiming that after age 40 or so that jobs become very scarce in the IT profession. I was wondering how prevalent this really is, and in particular I was wondering how hard it would be to actually start a career in IT or Software Development at age 40.

I recently finished up a degree in physics, and I have done a little basic IT support as well as some programming as part of my job working in an environmental testing lab. How difficult would it be to start a computer career at age 40, and what industries and fields will have the most problem with my age and which will have the least problem with my age?

Feed Fuel Efficient Geneva Motor Show (wired.com)

From feed by wiredfeed on Sunday March 04, 2007 @02:12PM

Environmentally friendly tech and hybrids dominate this year's Geneva Motor Show, making fuel efficiency the top theme in a climate of global warming concerns. By the Associated Press.

Submission + - SPAM: New technology removes viruses from drinking water

Submitted by

FiReaNGeL

on Sunday March 04, 2007 @02:03PM

FiReaNGeL writes: "University of Delaware researchers have developed an inexpensive, nonchlorine-based technology that can remove harmful microorganisms, including viruses, from drinking water. The new technology could dramatically improve the safety of drinking water around the globe, particularly in developing countries. According to the World Health Organization (WHO), over a billion people — one-sixth of the world's population — lack access to safe water supplies. Four billion cases of diarrheal disease occur worldwide every year, resulting in 1.8 million deaths, primarily infants and children in developing countries. Eighty-eight percent of this disease is attributed to unsafe water supplies, inadequate sanitation and hygiene."

Submission + - Final AACS key found

Submitted by julie-h on Sunday March 04, 2007 @01:52PM

julie-h writes: The PowerDVD AACS private key for playing Blu-Ray and HD-DVD's have been found. This was the last key needed. What does this mean? We don't have to sniff/snoop Volume IDs anymore. We can create a program that can decrypt (or play if you will) a disc without any need for WinDVD or PowerDVD. So no sniffing/extracting of keys anymore. And more over: it can work on all platforms... In other words: we can make our own independent, user friendly player (or decrypter).

Slashdot Top Deals