... "..., hope that the techniques he and his colleagues have developed to formally prove mathematical theorems can be used to “prove” that a computer...
I like to make a little correction about the article (Proof and beauty, March 31, 2005) in Economist. Georges Gonthier has not proved the four color theorem....
hi all, just wanted to tip you off on the news. two of my favorite things on planet earth are teaming up with each other: linux & paris hilton. "A new group...
hi all, I was very intrigued by the gonthier result which I hadnt heard about. ouch!! came out in jan 2005 or so. combines some of my favorite interests such...
hi all, Ive been very tied up by events at work & havent been able to write as much, barely enough time to breathe around here lately. more on that long saga...
oops, that link requires registration. #$*%^* this one given by slashdot seems to work without a stupid fill-in-your-mothers-maiden-name registration form ...
ABC News: Peer-to-Peer Under the Gavel http://abcnews.go.com/Technology/Cybershake/story?id=627402&page=1 Wired News: FEC Eyes Bloggers' Political Ties ...
Hi Daniele and all! P5 is a proposal for a definitive primality test. I understand that no known primality test is definitive, while P5 asserts that if...
Rent-A-Pro.com consulting marketplace offers on demand staffing and service delivery for information technology projects. We represents a wide variety of...
MSNBC - Google adds satellite maps http://www.msnbc.msn.com/id/7394347/ MSN Tech & Gadgets..Google has added satellite technology to its mapping service, in a...
hi all awhile ago I posted some code to enumerate minimal two-input gate monotone circuit "trees". at least I think I did. the proof that it enumerates the...
Wired News: Cable and Tech Bigwigs Make Nice http://www.wired.com/news/digiwood/0,1412,67140,00.html?tw=wn_tophead_1 Wired News: ChoicePoint Top Big Brother...
... I don't remember, maybe I didn't open that mail, because I get so many ... I'm not familiar with circuits etc. but I do feel that I might be able to help...
Registration for CiE 2005 is now open. CALL FOR PARTICIPATION COMPUTABILITY IN EUROPE 2005: NEW COMPUTATIONAL PARADIGMS (CiE 2005) http://www.illc.uva.nl/CiE/ ...
Wired News: Nine-Year Sentence for Spammer http://www.wired.com/news/politics/0,1283,67172,00.html?tw=wn_tophead_2 The New York Times > AP > Technology > Judge...
Hi, I am a new member at theory edge group..I have scanned the posted eamils..and I really liked the subjects you're disccusing.. and hopefully I can contibute...
I newer read such a book, but more than 20 years ago I read a book of Douglas R. Hofstadter titled "Godel, Escher, Bach: an eternal golden braid". I readed it...
hi all, I could make a very long list myself of "great Cs books of all time". I buy books almost as obsessively as I post to this group, wink. it seems we dont...
Having problems with message search?
Fill out this form to ensure your group is one of the first to be migrated to the new message search system.
