Началось все еще в 19-ом веке с появлением математической логики. А если зайти совсем уж далеко, то нужно вспомнить Аристотеля и его труды по основам логики, которые сохраняют своё значение и поныне. Постепенно появилась двоичная система счисления. В 50-х годах прошлого столетия изобрели первые вычислительные машины. Их возможности в плане скорости вычислений оказались гораздо больше человеческих. У учёных зародился вопрос: каков потенциал компьютеров и достигнут ли машины уровня развития человека?...