La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] e, in linea di principio, anche dal linguaggio. La comunicazione mediante il linguaggio può servire a suggerire ad altri costruzioni di analisi di Turing non è legata a uno specifico formalismo, tuttavia per la generalità della sua nozione di ...
Leggi Tutto
sistema
sistèma [Der. del lat. systema, dal gr. sy´stema "insieme di cose", che è da synístemi "riunire"] [LSF] (a) Oggetto che, pur essendo costituito da più elementi interconnessi e interagenti tra [...] [FAF] S. fisico deterministico e indeterministico: v. teoria: VI 131 d. ◆ [ALG] [FAF] S. formale: una teoria deduttiva costituita solo dal suo linguaggio simbolico, dal suo apparato deduttivo e dai teoremi derivabili in essa, senza alcun riferimento ...
Leggi Tutto
Formalizzazione della vaghezza
Settimo Termini
Il problema della formalizzazione della vaghezza pone domande innovative al confine tra problemi concettuali e problemi tecnici. In particolare ci chiediamo [...] sia una caratteristica essenziale del linguaggio tout court, non di singoli linguaggi specializzati, allora una teoria che colga realmente aspetti essenziali della nozione di vaghezza, una teoria astratta, formale dei predicati vaghi non dovrebbe ...
Leggi Tutto
In riferimento alla linguistica matematica, e in genere all’informatica, gli elementi f. del linguaggio, sono quelli più concreti e più facilmente analizzabili dell’espressione linguistica, quelli cioè [...] rappresentati dai segni dell’alfabeto o da altri codici, la posizione delle parole nella frase, la loro frequenza ecc., in opposizione a quelli più astratti e perciò meno facilmente traducibili in codici, ...
Leggi Tutto
formale1
formale1 agg. [dal lat. formalis]. – 1. Nel linguaggio filos., della forma, che concerne la forma o è inerente alla forma, in stretta connessione con il sign. e lo svolgimento di questo termine in filosofia. a. Nella distinzione aristotelica...
linguaggio
linguàggio s. m. [der. di lingua]. – 1. Nell’uso ant. o letter., e talora anche nell’uso com. odierno, lo stesso che lingua, come strumento di comunicazione usato dai membri di una stessa comunità: parlare con proprietà di l.; Questi...