Mathmatic Theory :
* Extended Logic

Mathematicians related to Computing

George Boole
18151864 (aged 49)
mathematician and philosopher
Boolean algebra, Mathematical foundations of computer science


Alonzo Church
19031995 (aged 92)
mathematician, logician
Lambda calculus


Kurt Gödel
19061978 (aged 71)
logician, mathematician and philosopher
Gödel's incompleteness theorems

Photo Credits : Wikimedia
