Home     COMPUTING  AI   MATH   BRAIN   MUSIC   LANGUAGE   About  

  Mathematics and Computing

Mathmatic Theory :

* Extended Logic
Mathematicians related to Computing

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

Alonzo Church
1903-1995 (aged 92)
mathematician, logician
Lambda calculus

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


Photo Credits : Wikimedia


Copyrighted by SeaYoung Choi     Term of Use