LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] di una variabile.
Queste nozioni informali sulla λ−notazione possono essere formulate sistematicamente sotto forma di un sistemaformale, il λ−calcolo. Per costruirlo supponiamo data una successione infinita di simboli distinti detti variabili, e una ...
Leggi Tutto
verità Conformità o coerenza a principi dati o a una realtà obiettiva.
Filosofia
Definizione e criterio di verità
Nella storia della filosofia il concetto di v. è stato concepito in almeno due diverse [...] definizione di Tarski intendesse precisare, almeno sul piano formale, il significato della corrispondenza, essa evitava comunque un enunciato consiste nel suo essere coerente con il sistema onnicomprensivo degli enunciati già ritenuti veri. Una forma ...
Leggi Tutto
Godel
Gödel Kurt (Brno, Moravia, 1906 - Princeton, New Jersey, 1978) logico statunitense di origine austriaca. Studiò a Vienna, inizialmente con l’intento di laurearsi in fisica; ma, in seguito alla [...] alla possibilità di una completa formalizzazione delle teorie matematiche. Gödel inoltre scoprì che tra le proposizioni che un sistemaformale contenente l’aritmetica non riesce a decidere c’è anche quella che, in termini numerici, esprime la non ...
Leggi Tutto
godelizzazione
gödelizzazióne 〈g✄ödël-〉 [Dal cognome di K. Gödel] [ALG] [FAF] Tecnica in uso nella logica matematica, consistente nell'associare un numero intero (numero di Gödel) a ogni espressione [...] scelgono una volta per tutte più numeri interi a, b, c, d, ..., da farsi corrispondere ordinatamente ai vari segni del sistemaformale, T; ciò fatto, si consideri un'espressione qualsiasi A di T; essa è costituita da una certa successione di segni di ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] , sono state proposte adeguate metodologie per opera di Robert W. Floyd, Peter Naur e, in particolare, Hoare. Nel sistemaformale proposto da Hoare (chiamato logica di Hoare o, a volte, semantica assiomatica) viene data particolare enfasi all'analisi ...
Leggi Tutto
Conciliazione e mediazione
Bryant G. Garth
Conciliazione e mediazione: definizione
Conciliazione e mediazione sono entrambe un modo di risoluzione delle controversie avente lo scopo di indurre le parti [...] modo, grazie all'opera dei neighborhood justice centers, vengono assoggettati a un sistema di controllo anche individui che altrimenti verrebbero lasciati fuori del sistemaformale di giustizia. Essi vengono così deferiti a istituzioni che più o meno ...
Leggi Tutto
Ordinare il mondo
Paolo Zellini
La matematica intesa come una razionalizzazione dell’esperienza, secondo la concezione del filosofo e matematico italiano Federigo Enriques (1871-1946), ha sempre cercato [...] reale. Nella logica matematica i modelli consistono, invece, in sistemi di oggetti atti a rappresentare un sistemaformale astratto: per es., rappresentazioni di uno stesso sistemaformale dell’aritmetica sono i numeri naturali come cardinali di ...
Leggi Tutto
Età
Jean S. La Fontaine
Introduzione
Il ciclo di vita
Il processo di crescita e invecchiamento è un fenomeno universale. Uno dei dati biologici fondamentali, comune a tutte le società, è che la vita [...] di vita - si fonda su un'incomprensione di fondo delle differenze tra gradi d'età, generazioni in senso genealogico e sistemiformali di classi d'età. Sociologi e demografi preferiscono ora impiegare il termine 'coorte' o l'espressione 'fascia d'età ...
Leggi Tutto
Informazione e computazione quantistica: teoria
Mario Rasetti
Al crocevia tra scienza e tecnologia
La nuova disciplina che va sotto il nome di informazione e computazione quantistica si sviluppa al [...] i teoremi di Gödel comportano è l’esistenza di un’inesauribile molteplicità di modelli (nel senso della teoria dei modelli dei sistemiformali assiomatici) che la teoria degli insiemi assiomatica è in grado di fornire e con cui, proprio in virtù dei ...
Leggi Tutto
Festa
Paolo Apolito
Introduzione
Il tema della festa è stato considerato nelle sue dimensioni religiose e politiche già prima di diventare oggetto di indagine delle scienze sociali, e anche quando lo [...] , che gli attori sociali partecipino a più feste non interdipendenti, con campi simbolici che non si conciliano in un sistemaformale ma possono comunicare all'interno delle biografie personali. La festa che stanno vivendo è per gli attori solo una ...
Leggi Tutto
ordine
órdine s. m. [lat. ōrdo ōrdĭnis]. – 1. a. Disposizione regolare di più cose collocate, le une rispetto alle altre, secondo un criterio organico e ragionato, rispondente a fini di praticità, di opportunità, di armonia, e sim.: mettere,...
realizzazione
realiżżazióne s. f. [der. di realizzare]. – 1. L’azione, l’operazione di realizzare; il fatto e il modo con cui qualcosa si realizza o viene realizzato: è vissuto tanto da vedere la r. dei suoi sogni; r. di un piano, e un progetto,...