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,
