Modelli matematici in immunologia
Frontiere della Vita (1998)
Modelli matematici in immunologia
Ulrich Behn
(Institut für Theoretische Physik, Universitat Leipzig Lipsia, Germania)
Franco Celada
(Cattedra di Immunologia, Università di Genova Genova, Italia)
Philip [...] è in grado di riprodurre integralmente la realtà ma, attraverso il grado di simulazione ottenuto, è possibile giudicare la completezza dell'informazione immessa. In questo saggio, che non vuole essere una rassegna bensì una selezione soggettiva di ...
Leggi Tutto
metodo
Dizionario delle Scienze Fisiche (2012)
metodo
mètodo [Der. del lat. methodus, dal gr. méthodos "la via della ricerca"] [LSF] Ogni procedimento volto alla conoscenza e alla sistematizzazione di ciò che via via si acquisisce, in base a criteri [...] assiomatico: procedimento di strutturazione di una teoria matematica o fisica secondo canoni precisi di rigore e completezza, consistenti nel fissare concetti e proposizioni primitive da cui altri concetti e proposizioni possono essere ricavati come ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Storia della Scienza (2004)
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 [...] di Beth fallibile, dove in certi nodi è permessa la forzatura della falsità, è possibile ottenere una dimostrazione di completezza intuizionista per la semantica di Kripke; l'idea fu trasferita alla semantica di Kripke da Henricus Cornelis Maria de ...
Leggi Tutto
METRICI, SISTEMI
Enciclopedia Italiana - I Appendice (1938)
METRICI, SISTEMI (XXIII, p. 114)
Stefano LA COLLA
Prima dell'unificazione d'Italia e della generale adozione del sistema metrico decimale, erano in uso nei diversi stati italiani altri sistemi metrici, [...] nel 1877; completate, quando sembrò necessario, coi dati di A. Martini, Manuale di Metrologia, Torino 1883. Per completezza si riporta anche l'antico sistema metrico francese, spesso usato nelle opere scientifiche prima dell'adozione del sistema ...
Leggi Tutto
teorema di compattezza
Enciclopedia della Scienza e della Tecnica (2008)
teorema di compattezza
Silvio Bozzi
Nella logica matematica, è tale un qualsiasi teorema che stabilisce che – fissato un linguaggio formale L – una teoria T ha come conseguenza logica la formula A, [...] Tarski, la validità della compattezza per linguaggi infinitari è legata all’esistenza di ultrafiltri con particolari proprietà di completezza. Di qui la possibilità di usare questi linguaggi per classificare i grandi cardinali e viceversa. Va notato ...
Leggi Tutto
CATEGORIA:
LOGICA
Łukasiewicz, Jan
Enciclopedia on line
Studioso di logica (Leopoli 1878 - Dublino 1956). Tra i maggiori esponenti della cosiddetta Scuola logica polacca, svolse importanti ricerche sulla logica aristotelica e stoica. Considerando insoddisfacente [...] una prova di non contraddittorietà dei sistemi di assiomi logici e un metodo di prova dell'indipendenza e della completezza. Costruì poi sistemi di calcolo proposizionale in cui si ammettono, oltre ai valori di verità "vero" e "falso", ulteriori ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Dimostrazione, teoria della
Enciclopedia della Scienza e della Tecnica (2007)
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] che se A è una formula chiusa e il sequente ⇒A è dimostrabile in LK allora A è una legge logica. Quanto alla completezza, essa si può formulare dicendo che ⇒A è dimostrabile in LK oppure ⌝A ha un modello. Il risultato si può ottenere cercando di ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
modello
Enciclopedia on line
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] e sufficienti affinché una formula di T sia un teorema di T. Una prima soluzione di questo problema è espressa dal teorema di completezza semantica di Gödel: ‘una formula di una teoria elementare T è un teorema se e solo se è valida in T′, o ...
Leggi Tutto
CATEGORIA:
ARCHITETTURA E URBANISTICA
–
SCULTURA
–
FILOSOFIA DEL LINGUAGGIO
–
LINGUISTICA GENERALE
–
ECOLOGIA
–
ALGEBRA
–
GEOMETRIA
–
LOGICA MATEMATICA
–
STATISTICA E CALCOLO DELLE PROBABILITA
–
DIRITTO PRIVATO
–
STORIA E FILOSOFIA DEL DIRITTO
–
METODI TEORIE E PROVVEDIMENTI
–
EPISTEMOLOGIA
–
FILOSOFIA DEL DIRITTO
–
FILIERE STRUMENTI E TECNICHE DELLA PRODUZIONE INDUSTRIALE
Scienza greco-romana. La geometria da Apollonio a Eutocio
Storia della Scienza (2001)
Scienza greco-romana. La geometria da Apollonio a Eutocio
Reviel Netz
La geometria da Apollonio a Eutocio
Il periodo di formazione del canone geometrico greco si estende dal 200 a.C. al 550 d.C., come [...] mediante uno studio spinto fino alla perfezione e definitivo. Apollonio vi rivela il suo tipico carattere, il suo desiderio di completezza e di voler dire la parola definitiva, aspetti che hanno però il difetto di rendere l’opera poco accessibile e ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
giòchi, teorìa dei
Enciclopedia on line
giòchi, teorìa dei Modello matematico per lo studio delle 'situazioni competitive', in cui cioè sono presenti più persone (o gruppi di persone, o organizzazioni) dette appunto 'giocatori', con autonoma [...] è quindi praticamente impossibile descrivere con accuratezza tutti gli aspetti sviluppati dalla teoria: possiamo tuttavia, senza pretese di completezza, dare un’idea del suo sviluppo e delle sue idee guida.
Un gioco può essere, anzitutto, descritto a ...
Leggi Tutto
CATEGORIA:
MATEMATICA APPLICATA