assiomatizzazione
Dizionario di filosofia (2009)
assiomatizzazione
Processo che riconduce un insieme di conoscenze a principi dai quali l’insieme può essere derivato o dedotto. È possibile distinguere nella riflessione matematica (e in quella filosofica [...] assiomi, le regole di inferenza, i teoremi) vengono completamente e rigorosamente simbolizzati attraverso un linguaggio formale in un sistema formale. I termini primitivi di un sistema assiomatico formalizzato sono, così, suscettibili di attribuzione ...
Leggi Tutto
La linguistica matematica
Storia della civiltà europea a cura di Umberto Eco (2014)
Giorgio Strano
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Negli anni Cinquanta del Novecento furono proposti due approcci allo studio matematico [...] , 1957) propone una gerarchia di grammatiche, oggi chiamata gerarchia di Chomsky, per classificare la complessità dei linguaggi formali.
Un linguaggio formale è un insieme di stringhe di simboli di lunghezza finita costruiti sulla base di un dato ...
Leggi Tutto
predicati, calcolo dei
Enciclopedia della Matematica (2013)
predicati, calcolo dei
predicati, calcolo dei calcolo logico in cui si può esprimere, in modo rigoroso, un ragionamento e valutarne la correttezza. Se si pensa al ragionamento come a una successione [...] tutta la molteplicità di sfumature dei ragionamenti espressi nel linguaggio naturale; in altri termini il linguaggio naturale non può essere tradotto completamente in un linguaggio formale.
Il calcolo dei predicati viene sviluppato nell’ambito del ...
Leggi Tutto
deduzione, regola di
Enciclopedia della Matematica (2013)
deduzione, regola di
deduzione, regola di locuzione equivalente a regola di → inferenza; indica una regola che permette il passaggio da una formula ben formata (ƒbƒ) a un’altra in una catena di deduzione. [...] A(x), che si legge «per ogni x, A di x») una proposizione particolare ottenuta sostituendo alla variabile una costante del linguaggio formale (A(k) dove k è la costante).
Nel calcolo dei sequenti, invece, le regole di deduzione si dividono in regole ...
Leggi Tutto
antinomia
Enciclopedia della Matematica (2013)
antinomia
antinomia enunciato, formulato nel linguaggio naturale o in un linguaggio formale, sintatticamente ben formato e del quale non è possibile stabilire il valore di verità poiché sia la sua affermazione [...] contraddizioni. Si distingue inoltre tra antinomie logiche, che possono essere espresse in un linguaggio formalizzato e si riferiscono all’apparato logico-formale di una teoria, e antinomie semantiche o linguistiche, che possono presentarsi solo nel ...
Leggi Tutto
Grimshaw, Nicholas
Lessico del XXI Secolo (2012)
Grimshaw, Nicholas
Grimshaw, Nicholas. – Architetto inglese (n. Hove 1939), tra i principali interpreti della tendenza high-tech in Gran Bretagna. La sua opera si segnala per la rigorosa cura dei dettagli [...] di nuovi materiali e le tecniche, finalizzate anche al contenimento dei consumi energetici, per un linguaggio formale caratterizzato da visibilità dell'impiantistica, flessibilità dell'impianto distributivo, leggibilità delle funzioni. Ha fondato ...
Leggi Tutto
Prassìtele
Enciclopedia on line
Scultore ateniese (sec. 4º a. C.). Tra i massimi artisti della classicità, le sue opere vennero replicate in numerosissime copie e lodate dagli autori antichi. Enorme è stata la sua influenza in tutte [...] che permettevano tante possibilità di vari avvolgimenti, di risalti e di cadenze, saranno preferite da P., che ne darà varie formulazioni, le quali diverranno tipiche, e che saprà farne uno degli elementi caratteristici del suo linguaggio formale ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
automa
Enciclopedia on line
Meccanismo costruito per imitare i movimenti e riprodurre l’aspetto esterno dell’uomo e degli animali.
Macchine semoventi
Da questo primo significato discende quello di macchina, o sistema di macchine, [...] avvenire in un tempo finito. Indicheremo con I1, I2,..., In i segnali in ingresso per una macchina formale.
Semiautomi, riconoscitori, linguaggi formali. - Si chiama semiautoma una macchina a stati finiti che possiede uno o più stati iniziali e uno ...
Leggi Tutto
Tura, Cosmè
Enciclopedia on line
Pittore (Ferrara 1430 circa - ivi 1495), uno dei principali esponenti della scuola ferrarese. Nella sua pittura confluirono gli apporti della scuola di F. Squarcione, di Mantegna e della pittura nordica, [...] mano, e la cosiddetta Primavera (Londra, National Gallery). Quest'ultima opera dimostra l'acquisizione di un linguaggio formale maturo, originale e complesso: alla figura immobile e assorta in una malinconica astrazione fa riscontro la realizzazione ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
modalità
Enciclopedia on line
Matematica
Nella logica, ciascuno dei modi con cui può configurarsi il nesso fra soggetto e predicato.
Nella sillogistica aristotelica, i giudizi erano distinti a seconda che il nesso che univa il soggetto [...] dei programmi).
Un sistema di logica modale può essere enunciativo (basato su un linguaggio senza quantificatori) o quantificato (basato su un linguaggio con quantificatori). Il linguaggio formale per i sistemi di logica modale enunciativa, ossia il ...
Leggi Tutto
CATEGORIA:
LOGICA