← Back to Users
cool_arrow's activity in the archive.
forgive my ignorance, but didn't a guy name Hilbert propose, long ago, to automate proof checking. Didn't Godel prove it couldn't be done?
Agree. I recall an reading an article which indicated that the sequencing was done and now more work needs to be done in the study of the proteins.
Slashdot Mirror
forgive my ignorance, but didn't a guy name Hilbert propose, long ago, to automate proof checking. Didn't Godel prove it couldn't be done?
Agree. I recall an reading an article which indicated that the sequencing was done and now more work needs to be done in the study of the proteins.