DNA computer solves logical problems, inches closer to practical use
By Vladislav Savov posted Aug 10th 2009 12:06PM
The world of biomolecular computing is hardly a lonely place: bacteria, enzymes, and all manner of chemicals have already been used to perform basic automated tasks. DNA computers are arguably the most advanced organic form of "autonomous programmable computing devices," with one already boasting a pretty tight game of Tic-Tac-Toe. The latest, put together by the Israeli Weizmann Institute, advances things with its ability to correctly respond to problems of logic. By feeding molecular rules and facts into the system, the researchers are able to program DNA strands to produce yes and no answers to basic questions. Programming is said to be technically identical to that used in electronic devices, with a robot compiler converting the programming language into molecular-level information. The ultimate aim of the project is to produce miniscule disease-fighting bots that can battle infections within the human body -- provided the DNA-programming drones don't go all Yul Brynner on us.
[Thanks, Karl]
Read
Alternativas à lógica clássica: intuicionismo e paraconsistência
-
Foi na primeira metade do século XX que a lógica clássica se estabeleceu
como o tratamento padrão da consequência lógica. Mas foi também no século
XX que ...
Há 5 anos
Nenhum comentário:
Postar um comentário