Giochi, teoria dei
Roberto Lucchetti
Ogni essere vivente, quando deve prendere delle decisioni, lo fa sempre in modo interattivo: il risultato delle sue scelte, e quindi la sua soddisfazione, dipendono [...] consiste nel fare sì che il numero ottenuto cada nell'insieme A, mentre il secondo deve impedire che questo accada. Si dimostra che esistono insiemi A per cui questo gioco non ha equilibrio: in altre parole, qualunque strategia usi il primo giocatore ...
Leggi Tutto
NUMERICI CALCOLI (XXV, p. 29)
Enzo APARO
Generalità. - Il concetto di calcolo numerico si può introdurre da un punto di vista generale, come segue. Un insieme finito di oggetti, un insieme finito di [...] A2 − p2E, e così via sino ad An = ABn-1,
Bn = An − pnE. Il polinomio
è il polinomio caratteristico di A. Si dimostra che Bn = O, ciò che costituisce un efficace controllo dei calcoli.
Metodo di Danilewski. - Se A ha la forma
con E21 matrice unitaria ...
Leggi Tutto
Thompson, John Griggs
Luca Dell'Aglio
Matematico statunitense, nato a Ottawa (Kansas) il 13 ottobre 1932. Si è laureato alla Yale University nel 1955, ottenendo quattro anni dopo il dottorato presso [...] su una particolare classe nilpotente di gruppi finiti - egli giunse nel 1963, in collaborazione con W. Feit, alla dimostrazione, tra le più lunghe e complesse dell'intera storia della matematica, di un'altra celebre congettura, risalente a W ...
Leggi Tutto
Modellistica matematica
Giorgio Israel
Mimmo Iannelli
Caratteristiche e origini
di Giorgio Israel
Un modello matematico è uno schema espresso in linguaggio matematico e volto a rappresentare un fenomeno [...] per la costruzione dell'economia teorica. Occorrerà attendere il periodo che va dal 1929 al 1936 per vedere le prime dimostrazioni dei problemi sopradetti a opera di A. Wald e di von Neumann. Tuttavia, mentre Wald si muoveva nel quadro concettuale ...
Leggi Tutto
Matematico russo, nato a Odessa il 12 giugno 1937. Laureatosi nel 1959 presso la facoltà di Meccanica-Matematica dell'università di Mosca e conseguito nel 1963 il dottorato nell'istituto di Matematica [...] sistemi dinamici e in particolare il celebre teorema KAM (Kolmogorov-Arnol´d-Moser) di cui egli diede una prima dimostrazione nel 1963 (v. fisica matematica: Il teorema di Kolmogorov, e sistemi dinamici, in questa Appendice). Successivamente, A. è ...
Leggi Tutto
GENOCCHI, Angelo
Livia Giacardi
Nacque a Piacenza il 5 marzo 1817 da Carlo, agiato possidente, e da Carolina Locatelli. Fin da giovanissimo il G. si distinse negli studi, in particolar modo in quelli [...] da questo tipo di ricerche e scrisse cinque lavori, tra il 1869 e il 1877. Fin dalla prima breve nota Intorno ad una dimostrazione di Daviet de Foncenex (in Atti della R. Acc. delle scienze di Torino, IV [1869], pp. 323-327) egli rileva il legame che ...
Leggi Tutto
MALFATTI, Gianfrancesco
Alessandra Fiocca
Nacque ad Ala nel Trentino il 26 sett. 1731 da Giovanni Battista e da Giuseppa Malfatti. Dopo studi nel collegio dei gesuiti di Verona, a diciassette anni si [...] mentre l'articolo Delle serie ricorrenti dell'anno successivo (in Memorie della Società italiana, III [1786], pp. 571-663) dimostra la profondità degli studi del M. nell'ambito di questa teoria, dopo gli sviluppi apportati da Lagrange.
In generale la ...
Leggi Tutto
La scienza in Cina: l'epoca Song-Yuan. La matematica
Karine Chemla
Annick Horiuchi
Andrea Eberhard-Bréard
La matematica
La rinascita della matematica e la tarda tradizione settentrionale
di Karine [...] appare così un completamento, rispetto a quest'ultima proprietà, di quella introdotta da Liu Hui nel III sec. per fornire una dimostrazione. Inoltre, una conseguenza della proprietà della figura di Li Ye è che essa si può ingrandire di un fattore a+b ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La probabilita
Eugenio Regazzini
La probabilità
Evoluzione della nozione di probabilità
La grande difficoltà in cui si dibattevano i cultori [...] Ω in E e X è il numero aleatorio (discreto con codominio finito) che assume il valore xi su Ai (i=1,…,n), allora si dimostra che la previsione di X è univocamente determinata, risultando
[5] ℙ(X)=x1P(A1)+…+xnP(An).
Più in generale, se X è un numero ...
Leggi Tutto
La scienza presso le civilta precolombiane. La natura della conoscenza e delle pratiche scientifiche nella civilta inca
Gary Urton
Jean-François Genotte
La natura della conoscenza e delle pratiche [...] andina e occidentale, così come dell'esito del loro fatale incontro nel corso del XVI secolo. Con l'obiettivo di dimostrare la stretta connessione esistente fra scienza e società nelle Ande precolombiane, nell'ambito delle società e delle culture che ...
Leggi Tutto
dimostrazione
dimostrazióne s. f. [dal lat. demonstratio -onis]. – 1. a. Ogni atto, fatto, comportamento, parola o discorso che mostra o dimostra o rivela qualche c0sa, che cioè rende o con cui si rende manifesto, conosciuto, chiaro o certo...