The development of natural spoken languages like Lojban and applications of logic and mathematics could potentially create a bridge between the natural language world of humans and the formal world of computers, making communication between the two more efficient.