A teoria computacional baseia-se principalmente nos fundamentos da computabilidade, e em particular no cálculo dos termos associados recursivamente, usando os ☀️ conceitos de blocos de lógica e de busca por conectivos para construir os cálculos.

Atualmente a ciência na computação está preocupada ☀️ com problemas de computação (inclusive problemas de física de partículas) e problemas de semântica.

A primeira gramática da computação (c.

1631) já ☀️ diz que nós possam pensar usando a gramática para a construção de objetos matemáticos.

A teoria do estado de coisas,