Loading AI tools
insieme di proposizioni in un linguaggio formale Da Wikipedia, l'enciclopedia libera
Una teoria formale è un metodo per produrre asserzioni in forma matematica e per permettere l'induzione di formule derivate a partire da altre formule considerate primarie.
Da un certo punto di vista l'uso delle teorie formali per esprimere dei ragionamenti ha molti vantaggi rispetto alle descrizioni informali tipiche della lingua naturale in quanto non soffrono di problematiche quali ambiguità, incompletezza ed inconsistenza.
Da un altro punto di vista i sistemi basati esclusivamente sulle teorie formali sono carenti nel riuscire ad astrarre e creare conoscenza perché sono limitati agli assiomi con cui sono stati costruiti e alla conoscenza ricavabile da essi.
Una teoria formale è una 4-tupla
Una formula ben formata è una conseguenza in un insieme di formule ben formate della teoria formale se e solo se, c'è una sequenza di formule ben formate, tali che l'ultima equivale alla prima ed è ricavata applicando iterativamente una di queste regole:
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.