Sistema formal: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Etiquetas: Referências removidas Edição via dispositivo móvel Edição feita através do sítio móvel |
Etiquetas: Edição via dispositivo móvel Edição feita através do sítio móvel |
||
Linha 13:
O sistema formal é dito como sendo Conjunto recursivo se os conjunto de axiomas e o conjunto de regras de inferência são Conjunto recursivo ou conjunto decidíveis ou Conjunto recursivo ou conjunto semidecidíveis, dependento do contexto.
Alguns teóricos usam o de maneira grosseira o termo ''formalismo'' como sinônimo para ''sistema formal'', mas esse termo é também usado para se referir a um estilo particular de ''notação'', por exemplo, a
== Assuntos relacionados ==
| |||