(1903-1995): cientista da computação, matemático, lógico e filósofo estadunidense que fez grandes contribuições à lógica matemática e aos fundamentos da ciência da computação teórica. É considerado um dos fundadores da ciência da computação.
(1903-1995): cientista da computação, matemático, lógico e filósofo estadunidense que fez grandes contribuições à lógica matemática e aos fundamentos da ciência da computação teórica. É considerado um dos fundadores da ciência da computação.