Creation in silicon
Article Abstract:
William McCune of Argonne National Lab in Illinois has developed an automated reasoning program that demonstrates human-style mathematical creativity. It has solved a problem involving a conjecture in boolean algebras, which mathematicians have been working on since it was first introduced by logician Alfred Tarski in the 1930s. The program's success in finding a solution to this problem provides further support for the argument that there are no inherent factors preventing computers from thinking like humans.
Publication Name: Nature
Subject: Zoology and wildlife conservation
ISSN: 0028-0836
Year: 1997
User Contributions:
Comment about this article or add new information about this topic:
Lighter than air
Article Abstract:
Answering of questions beyond reasonable doubt by scientists questions the future of science and the limits of knowledge that can be explored. But there is a limit to the extent to which we can comprehend the complexities of this real world using tools and techniques of science. The discovery of x-rays, and computers strengthens the fact that nothing is impossible in science. Science is progressive because it is adaptive to all the suggested changes that come its way.
Publication Name: Nature
Subject: Zoology and wildlife conservation
ISSN: 0028-0836
Year: 1996
User Contributions:
Comment about this article or add new information about this topic:
Formally speaking
Article Abstract:
Issues concerning techniques of formulating mathematical theorems out of formalizing everyday expressions are discussed. Particular attention is given to examples of formalization of the informal in mathematics where scientists try to capture mathematically the notion of truth.
Publication Name: Nature
Subject: Zoology and wildlife conservation
ISSN: 0028-0836
Year: 2001
User Contributions:
Comment about this article or add new information about this topic:
- Abstracts: Changed perceptions in Braille readers. A light and a dark side. Imaging in the fourth dimension
- Abstracts: Nitrification in Antarctic soils. Succeeding in the sand dunes. Nonlinearity and the Moran effect
- Abstracts: Computation and the single neuron. Quantum mechanics in the brain. Imagery neurons in the human brain
- Abstracts: Evolution on fast-forward. Life in a test tube. The habitat and nature of early life
- Abstracts: Gore under fire in controversy over South Africa AIDS drug law. Experts clash over likely impact of cheap AIDS drugs in Africa