Компьютерная революция - это революция в том, как мы думаем, и в том, как мы выражаем то, что мы думаем. Суть этого изменения заключается в появлении того, что лучше всего можно назвать процедурной эпистемологией-изучение структуры знаний с императивной точки зрения, в отличие от более декларативной точки зрения, принятой классическими математическими субъектами.