New Media

• A technological and ecconomic foundation has been laid for transformation of global networks of computers.
• Global networks of computers will change from computational drudges into trustworthy systems.
• This new form of media will use logic and formal mathematics to support education, entertainment, and work.
• Facilities will be available to link web sites directly from CD-ROMS.
• Opportunities will also be available for viewer to watch real time video on the computer via a modem link.
• This new media will contain a practical assimilation of mathematics and computation into logic.
• New media represents a new environment for learning and teaching. Soon, every teacher and student will need access to the information in order to be competitive in work and daily life.

Formalized Mathematics

• The digital revolution will allow for math by proof
• Soon computers will be able to surpass the majority of mathematicians in problem-solving capabilities.
• Mathematical propositions will be processed by the network and reliable answers will be returned to the user.
• New, formal vocabulary can be added to the existing system without compromising the consistency of the system.The benefits of doing math by formal proof is the amount of precision, trustworthiness, and the functionality contained by the system.

Computer-Aided Design

• Software based on mathematical modeling techniques will enable people to desgn quality software and education tools.
• This software will be the primary method of training in engineering design.