阿兰·图灵（Alan Mathison Turing）对计算机科学的发展做出了巨大贡献，下列说法正确的是（ ）
选项：

A:图灵是著名的数学家、逻辑学家、密码学家，被称为计算机科学之父。
B:图灵最早提出关于机器思维的问题，被称为人工智能之父。
C:“图灵奖”是为奖励那些对计算机科学研究与推动计算机技术发展有卓越贡献的杰出科学家而设立的。
D:图灵创立了数理逻辑学。
E:图灵发明了二进制。‍
F:图灵设计了第一台电子计算机。