Comment by joelmichael

He was the first to develop formal logic which is a foundation of computer science.