INFORMATION TECHNOLOGY IN THEORY