Logica matematica
Abraham Robinson
*La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] (sintetico) del tempo.
Il ‟suddividersi deglieventi in parti qualitativamente distinte che possono riunirsi anch'esso a U). Si dice, quindi, che la coppia (A, Ω) è uno spazio topologico se: a) A è aperto, cioè appartiene a Ω; b) l'insieme vuoto ...
Leggi Tutto
compattezza logica proprietà di una classe di modelli M tale che, comunque sia preso un insieme infinito di enunciati E, questo ha un modello in M se e solo se ha un modello in M ogni sottoinsieme finito di enunciati di E. Il teorema di compattezza afferma che un insieme di enunciati Γ ammette un modello ... ...
Leggi Tutto
Parte della logica strutturata in un sistema di calcolo formale, elaborata soprattutto in età contemporanea.
Sintassi e semanticaLe espressioni di un discorso deduttivo possono essere considerate o sintatticamente, cioè formalmente come oggetti grafici combinabili tra loro, o semanticamente, cioè ... ...
Leggi Tutto
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono essere considerate formalmente come oggetti grafici combinabili tra loro (sintassi) o in relazione ... ...
Leggi Tutto
Silvio Bozzi
Pur potendo vantare come erede della logica formale un'origine risalente almeno ad Aristotele, come disciplina scientifica la logica matematica è un acquisto recente. Possiamo far risalire la sua data di nascita al massimo alla metà dell'Ottocento, con i lavori di George Boole sull'analisi ... ...
Leggi Tutto
Walter Maraschini
Simboli per ragionare correttamente
Quando due amici discutono non sempre sono d’accordo: possono avere intenzioni e gusti diversi, oppure opinioni contrastanti sul mondo o su altre persone. Ma esiste un criterio oggettivo per affermare chi ha ragione e chi torto? Se parliamo di calcolo ... ...
Leggi Tutto
Aldo Marruccelli
Alberto Pasquinelli
(XXI, p. 398; App. II, 11, p. 226; III, 1, p. 999).
Princìpi di logica matematica.
È opportuno premettere all'articolo che dà notizia dei progressi verificatisi nell'ambito della l. m. nell'ultimo quindicennio una sintesi dei princìpi fondamentali della l. m. medesima, ... ...
Leggi Tutto
(XXI, p. 398; App. II, 11, p. 226)
Alberto PASQUINELLI
Ludovico GEYMONAT
MATEMATICA Il recente sviluppo della l. m. è caratterizzato da un ulteriore consolidamento istituzionale e da particolari estensioni, da una generale accentuazione del rigore e da ricorsi a nuove procedure. L'impostazione linguistica, ... ...
Leggi Tutto
(XXI, p. 398)
Ludovico GEYMONAT
MATEMATICA Negli ultimi decennî si è notevolmente sviluppata in direzioni assai diverse.
L'indirizzo di Peano. - L'uso del simbolismo di G. Peano, che pareva aver ricevuto la più larga applicazione possibile nella 5ª edizione del Formulario di Matematica (1908), si ... ...
Leggi Tutto
Beppo LEVI
*
. Logica matematica ovvero logistica o logica simbolica o algebra della logica o logica teorica o logica della matematica sono termini fra loro parzialmente equivalenti, per indicare sfumature e svolgimenti diversi di una dottrina il cui nascimento si può, per motivi diversi, far risalire ... ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. Dalla Geometrie al calcolo: il problema delle tangenti...
Enrico Giusti
Dalla Géométrie al calcolo: il problema delle tangenti e le origini del [...] in altre parole si conosceranno le cose seguenti:
1. La misura dello spazio del trilineo,
2. Il braccio del trilineo sull'asse,
3. probabilmente era stato colto di sorpresa dal succedersi deglieventi, comincia a scrivere una Historia et origo ...
Leggi Tutto
L'Ottocento: matematica. Calcolo delle probabilita e statistica
Ivo Schneider
Calcolo delle probabilità e statistica
Il ruolo di Laplace nella stocastica del XIX secolo
Numerosi autori hanno contribuito [...] Mansion (1844-1919) imputò tale interruzione allo scarso spazio dato al calcolo delle probabilità nel sistema di istruzione dal punto di vista umano, oggettivi.
L'oggettività deglieventi casuali postulata da Poincaré non è in contraddizione con la ...
Leggi Tutto
DEMOGRAFIA
Eugenio Sonnino e Antonio Golini
Demografia storica
di Eugenio Sonnino
Lo studio delle popolazioni storiche e le fonti
Era l'anno 1662 quando John Graunt, mercante londinese di drapperie [...] quei comportamenti individuali e di coppia che sono alla base deglieventi demografici, rendendo sempre più remota e meno diretta l'azione e nello spazio, giacché esso risente della dimensione della popolazione nella quale gli eventi si verificano. ...
Leggi Tutto
La scienza presso le civilta precolombiane. Pratiche di calcolo nell'antica Mesoamerica
John S. Justeson
Pratiche di calcolo nell'antica Mesoamerica
La matematica mesoamericana si è sviluppata al di [...] cronologica delle eclissi lunari e solari, e deglieventi relativi ai movimenti dei pianeti. Cicli di una e 8.3.2.10; ciò suggerisce che ciascuna delle date abbia uno spazio vuoto per lo zero. L'assenza di ogni zero esplicito concorda con gli ...
Leggi Tutto
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 [...] ancora imprecisate: la frequenza naturale di mutazione (numero di eventi per generazione per segmento genico) e la velocità di non lineari? Lo stato del sistema è un punto nello spaziodegli stati sviluppato dalle variabili Xi. La soluzione x(t) è ...
Leggi Tutto
L'Eta dei Lumi: matematica. Lo sviluppo della teoria della probabilita e della statistica
Oscar Sheynin
Lo sviluppo della teoria della probabilità e della statistica
I primi sviluppi del calcolo delle [...] P(Ai) le probabilità deglieventi incompatibili A1, A2, …, An, prima che si presenti l'evento B; supponiamo anche che tale tipo di cammino può essere immaginato anche in uno spazio tridimensionale ed è un modello approssimato della diffusione e del ...
Leggi Tutto
MMark Kac
di Mark Kac
SOMMARIO: 1. Preliminari. □ 2. Alcune sottigliezze matematiche. □ 3. Alcune classi generali di processi stocastici con esempi: a) processi di Markov con spaziodegli stati finito [...] muore senza lasciare discendenti). Si suppone che gli eventi di riproduzione siano indipendenti da una generazione all allora trattare questo problema come una catena di Markov con spaziodegli stati infinito (x svolge qui il ruolo del tempo). ...
Leggi Tutto
Stocastica
Mark Kac
Storicamente i processi stocastici furono introdotti nel mondo della scienza (e più tardi della matematica) sotto una forma assai diversa da quella derivante dalla definizione formale [...] senza lasciare discendenti). Si suppone che gli eventi di riproduzione siano indipendenti da una generazione all possiamo allora trattare questo problema come una catena di Markov con spaziodegli stati infinito (x svolge qui il ruolo del tempo). Gli ...
Leggi Tutto
Leggi di scala
Luciano Pietronero
Le leggi di scala riguardano il comportamento di una struttura in funzione della scala da cui la si guarda. Per i sistemi regolari, sia matematici sia fisici e naturali, [...] N(L). Per un frattale di dimensione D definito in uno spazio euclideo di dimensione d si ottiene α=−(d−D). La differenza proprietà metriche, ma all'istogramma della distribuzione deglieventi. Questo comportamento, in ogni caso, implica proprietà ...
Leggi Tutto
spazio
spàzio s. m. [dal lat. spatium, forse der. di patēre «essere aperto»]. – 1. Con valore assol., il luogo indefinito e illimitato in cui si pensano contenute tutte le cose materiali, le quali, in quanto hanno un’estensione, ne occupano...
evento
evènto s. m. [dal lat. eventus -us, der. di evenire «accadere, riuscire»]. – 1. Avvenimento, caso, fatto che è avvenuto o che potrà avvenire: giudicare dagli e.; regolarsi secondo gli e.; essere in attesa degli e.; Avverso al mondo,...