Pioneering mathematician and computer programmer. Visionary ideas that foresaw the potential of computing.