Alonzo church

Alonzo Church (1903 - 1995)
Foi um matemático norte americano que atuou principalmente nas áreas de lógica matemática, teoria de recursso e teoria da computação. Entre suas maiores contribuições, estão Cálculo Lambda(1)(2), um sistema matemático formal que investiga funções, aplicação de funções e recursão. Influenciou as linguagens de programação, principalmente as linguagens funcionais, como o LISP (porêm somente o LISP 'puro' pode ser chamada de uma linguagem funcional verdadeira).

Alan turing

Ele foi um dos primeiros a pensar na possibilidade de as máquinas se tornarem inteligentes e criou um modelo teórico para um computador universal - quando isso sequer existia. Mais conhecido por seu papel na II Guerra Mundial - sua equipe decifrou os códigos usados pela Alemanha nazista para se comunicar -, o matemático britânico Alan Turing foi um visionário sem o qual este mundo moderno de iPad, smartphones e Facebook talvez não tivesse se tornado realidade. Nascido em 23 de junho de 1912, seu centenário está sendo celebrado pelo mundo inteiro não só neste sábado, mas ao longo de todo este ano.
Turing formalizou os conceitos de algoritmo e computação - com a Máquina de Turing - e por isso é considerado o 'pai' da computação moderna. Ele também escreveu o que pode ser considerado o primeiro programa de xadrez para computador e dedicou-se ainda à química, à física e à biologia.
Entre as inúmeras ações para comemorar o centenário do cientista está o Turing's Sunflowers. Fascinado pelo modo como a matemática funciona na natureza, ele observou a ocorrência da sequência de Fibonacci nas sementes de girassol, no centro da flor, e imaginou que estudar a planta ajudaria e entender seu crescimento. Mas morreu sem completar o trabalho.
Numa homenagem a Turing, o Museu da Ciência e Indústria e o Festival de Ciência de Manchester, com apoio da universidade e prefeitura locais, promovem o Turing's Sunflowers. O objetivo é cultivar girassóis em numero suficiente para