This interview reviews Don Knuth's life and contributions and his views on a variety of mathematical and computer-related topics. He is viewed as the pre-eminent scholar of computer science in the world, and is probably best known for a series of books titled, "The Art of Computer Programing." (MP)

The concept and nature of proof in mathematics is examined, and the emerging role of computers in this area is reviewed. The issue is seen to force mathematicians and philosophers to reexamine their assumptions about mathematics and how it is done. (MP)

The mathematicians who developed the computer-aided proof to the Four-Color Conjecture discuss the ramifications of their work and the use of computers in working on the proof of theorems in the future. (MP)

The process and history of the development of artificial intelligence is reviewed. Important achievements are noted. Limitations to possible breakthroughs in this field are noted from philosophers and mathematical logicians. (MP)

Describes shortcomings of computer science/engineering education and explains a new focus on informatics. Highlights include simulation, visualization, algorithmization, design of information processing models, parallel computing, a history of informatics, informatics versus physics and mathematics, and implications for education. (51 references)…

A discussion on who should teach computer literacy in academe is presented. Computer science can be described as an experimental science with the computer as the laboratory but computer science is an interdisciplinary area. Defining a computer scientist is difficult. (MLW)

Four liberal arts college programs are described that use a variety of interdisciplinary and innovative approaches to bring technological, computer, scientific, mathematical, and physics literacy for both students and faculty. (MSE)