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
Edgardo Marco Bartolazzi Menchetti
Abstract
Al riconoscimento del trust nel nostro ordinamento civilistico per effetto della ratifica della Convenzione de L’Aja del 1° luglio 1985 non ha fatto seguito [...] l’attività del fiduciario ed i cespiti, e della loro funzionalizzazione ad uno scopo. È poi chiaro che lo stesso sistemaformale dichiarativo e contabile già indicato (retro, § 2.5) verrà impiegato anche ai fini dell’IVA.
Anche ai fini dell’ICI ...
Leggi Tutto
Fondamenti della matematica e teoria algoritmica dell'informazione
Gregory J. Chaitin
Ciò che possiamo dimostrare intorno ai fondamenti della matematica usando i suoi stessi metodi costituisce la metamatematica, [...] con tanta precisione che si può stabilire un algoritmo di verifica per le dimostrazioni. Definiremo teoria assiomatica formale un siffatto sistemaformale. Come è stato mostrato da Alan Turing e ulteriormente chiarito da Emil Leon Post, l'insieme X ...
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,...