(23-12-2006)

. 1: , , ; . - . / , , . . , ( . Godel .), Proof, .. , , . , . . . , , 1

 , , , , (Bio-ICT) .. , . , , P. Snow, : , . . , . . . , . , ! . 2: . , . , , , .. : , , , () , .. ! . J.E. Cohen: Mathematics is biologys next microscope, only better; biology is mathematics next physics, only better, PLOS Biology 2 (2004) No.12.

 , , , . , , www.maa.org/mtc/Cohen-PloS2004.pdf, : () . , 2000-5000 , . 3 100 . , .... , (, , , , , , , .). . . . 3 ; , . , - , , . , .. , . 3

 . . . . . . , . . 3 ; ( ), . . , . . . -. : www.math.upatras.gr/ cdrossos/Docs/GognMath&SynthReas.pdf, , . . 4 ; : L. Pachter & B. Sturmfels (Eds) Algebraic Statistics for Computational Biology. Cambridge 2005. , , , . . . , 4

 , , - . , , . , , . Jones DNA, . McGiil Macnamara, : . : Bernd Sturmfels, Can Biology Lead To New Theorems? www.claymath.org/library/annualreport/Sturmfels.pdf : 20 21. . 5 , ; (0-1) . , . . , , ! . , , . 5

 . . . . . ! . , ! . . . . , - . , .