coerenza
coerenza in logica, termine (sinonimo di non contraddittorietà e di consistenza), che indica la proprietà di un sistema assiomatico in cui non è possibile derivare contraddizioni: un sistema [...] completezza semantica di questi due sistemi assiomatici; un esempio di teoria non coerente è la teoria degli insiemi nella formulazione di Cantor. Secondo la teoria di cioè ammette un modello. Il secondo teoremadi Gödel asserisce che, se una teoria ...
Leggi Tutto
Matematico tedesco (Königsberg 1862 - Gottinga 1943). Figura eminente della matematica e della filosofia della matematica a cavallo tra il 19° e il 20° sec., H. ha apportato, negli anni di insegnamento [...] a coerenza, completezza e indipendenza. di tale metateoria combinatoria. Il programma di completa formalizzazione delle teorie matematiche fu messo in crisi dalla formulazione, a opera di Gödel, del teoremadi incompletezza (1930-31), ma sui lavori di ...
Leggi Tutto
Scienza che ha per oggetto l’analisi formale delle strutture matematiche, e che si può identificare con la logica matematica. Con significato più ristretto la m., o teoria della dimostrazione (Beweistheorie), [...] sia semanticamente completa, cioè che ogni teorema dimostrabile nella teoria matematica originaria trovi il che era nata come studio di sistemi formali matematici e delle relative questioni di non contraddittorietà e completezza, si è estesa a ...
Leggi Tutto
Privatizzazione
Alessandro Petretto
Privatizzazione delle imprese pubbliche e liberalizzazione dei mercati
Il termine privatizzazione può essere impiegato con numerosi significati e accezioni, trattandosi, [...] del manager, risultato di gestione - e alla completezza dei contratti, grazie alla possibilità di contrattualizzare gli impegni rimozione delle restrittive ipotesi alla base del 'teorema' di Sappington e Stiglitz - contratti generalmente incompleti, ...
Leggi Tutto
SERVOSISTEMA (fr. système asservi; ingl. servosystem; ted. Regelsystem; russo sistema avtomatičeskogo upravlenia)
Goffredo RUBINO
Generalità. - Servosistema è un sistema fisico a controreazione, nel [...] stesse.
La generalità, la semplicità e la completezza dei metodi in parola rendono ragione della grande diffusione condizione perché
a) Criterio di Routh-Hurwitz. - È l'applicazione all'equazione caratteristica del teoremadi Hurwitz:
"Sia data l ...
Leggi Tutto
INFORMATICA MEDICA
Giorgio Migliau
Il progressivo sviluppo dell'informatica negli ultimi anni ha permesso la messa a punto di tecnologie molto avanzate e di sistemi sempre più veloci e affidabili. D'altra [...] qualità e completezza della prova.
La ricostruzione di immagini con tecniche teoremadi Bayes che impiega le funzioni densità di probabilità (P Y/Wi) e le probabilità a priori, e si propone di giungere alla diagnosi in termini di probabilità di ...
Leggi Tutto
Sistemi, scienza e ingegneria dei
AArnaldo M. Angelini
di Arnaldo M. Angelini
SOMMARIO: 1. Premessa. □ 2. Considerazioni generali: a) applicazione della scienza dei sistemi agli esseri viventi; b) applicazione [...] di dati, a scelte, ecc. Al grafico sarà data una configurazione per quanto possibile semplice ma senza sacrificio della completezza delle code può considerarsi anche il teoremadi König per risolvere problemi di assegnazioni.
Il ‛metodo dei trasporti ...
Leggi Tutto
Proprieta
Walter Euchner
Walter Santagata
Antonio Gambaro
di Walter Euchner, Walter Santagata, Antonio Gambaro
PROPRIETÀ
Filosofia e politica di Walter Euchner
Introduzione
Il rapporto tra proprietà [...] , la cui scelta è stata dettata più che dal desiderio di una completezza reperibile solo in una storia della proprietà (v. Challaye, lo stesso risultato.
Secondo alcuni autori il cosiddetto teoremadi Coase non sarebbe altro che una tautologia (v. ...
Leggi Tutto
MACRO E MICROANALISI
Marco Lippi e Nicolò Addario
Economia
di Marco Lippi
Introduzione
Il più importante oggetto di interesse per l'economia politica è sempre stato costituito dalle grandezze macroeconomiche, [...] , non è difficile dimostrare che anche le condizioni di chiusura e dicompletezza non sono rispettate, dove per chiusura si intende che i significati dei termini sociologici dei teoremidi Homans siano gli stessi delle proposizioni osservative delle ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Filosofia della matematica
Roshdi Rashed
Filosofia della matematica
Gli storici della filosofia islamica dimostrano un interesse molto [...] necessario alla completezza del sistema e perciò alla deduzione del suo 'teorema' che Maimonide la Sfera celeste. Nel secondo livello abbiamo dunque due elementi, c e d, di cui nessuno dei due è causa dell'altro. Ma abbiamo in tutto quattro elementi ...
Leggi Tutto