A definição do que é efetivamente calculável (computável), um teorema de Kurt Gödel ignorado ou desconhecido, denominado de Teorema Fundamental da Computabilidade, foi o princípio sobre o qual Alan Turing formalizou e concebeu uma máquina abstrata para computar, máquina que é base do computador. Neste texto, é a essência para compreensão do computador, dos seus limites e possibilidades, para sua utilização eficiente e criativa, para formulação e desenvolvimento de algoritmos, para sua programação. O entendimento das contribuições das diversas áreas do conhecimento, do desenvolvimento científico e tecnológico do computador até os fundamentos para sua utilização no desenvolvimento científico e tecnológico. Ou, simplesmente, da ciência para ciência, da tecnologia para tecnologia, do computável ao computador, das estratégias aos algoritmos, os fundamentos da computação para ciência e tecnologia.