LIMITE (XXI, p. 162)
Tullio Viola
La moderna esigenza di una visione sempre più astratta e sintetica dei concetti fondamentali della matematica ha portato a generalizzare in più direzioni il concetto [...] una coppia d'intorni Ix di x, Ix′ di x′, tali che Ix ⋂ Ix′ = ∅, cioè Ix e Ix′ privi di punti comuni:
È il cosiddetto "assioma di separazione" o di F. Haussdorff.
Se E è un qualunque insieme di punti di uno spazio topologico S, si dice che un punto x ...
Leggi Tutto
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 [...] il modello di Harsanyi è stato esteso ai giochi ripetuti.
Razionalità limitata
La teoria dei giochi si fonda sull’assioma di razionalità (perfetta) dei giocatori. Basta pensare al primo suo risultato rilevante, il teorema degli scacchi. Ovviamente ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Il Bourbakismo
Jean-Paul Pier
Il Bourbakismo
L'avvento e l'influenza di Bourbaki costituiscono uno dei fenomeni più sorprendenti nella matematica [...] studio degli spazi uniformi. Una struttura uniforme su un insieme X è data attraverso un insieme U di parti di X×X che soddisfano gli assiomi seguenti: qualsiasi insieme di U contiene la diagonale di X×X; se V∈U, allora {(x,y)∈X×X; (y,x)∈V}∈U per ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I problemi di Hilbert e la matematica del nuovo secolo
David E. Rowe
I problemi di Hilbert e la matematica del nuovo secolo
Problemi matematici [...] (1906-1978) il quale, nel 1938, dimostrò che la cosiddetta ipotesi generalizzata del continuo è compatibile con gli assiomi di Zermelo-Fraenkel della teoria degli insiemi. Gödel pensava che l'ipotesi del continuo fosse, in realtà, indipendente dal ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'economia matematica 1870-1950
Angelo Guerraggio
L'economia matematica 1870-1950
Di matematica sociale comincia a parlare Condorcet nella Francia [...] negativa, la condizione pΔy≤0 implichi p′Δy⟨0, essendo p′=f(y+Δy), che oggi va sotto il nome di assioma delle preferenze rivelate.
Nei lavori di Wald compaiono per la prima volta nella teoria dell'equilibrio molti degli strumenti formali più usati ...
Leggi Tutto
L'Ottocento: matematica. Meccanica analitica
Helmut Pulte
Meccanica analitica
La meccanica analitica è una branca della meccanica razionale la quale, dopo i primi passi compiuti nel XVII sec., ebbe [...] del parallelogramma delle forze o a entrambi. Oggi può sembrare strana l'intenzione di voler dimostrare un principio o assioma meccanico che si trova come premessa di un sistema deduttivo. Essa rivela invece una "crisi dei principî" (Bailhache 1975 ...
Leggi Tutto
spazio proiettivo
Luca Tomassini
Dati due insiemi P,Q e una relazione R⊂P×Q, consideriamo la tripla C={P,Q,R} e chiamiamo ogni elemento di P un punto e ogni elemento di Q una linea. Se (p,l)∈R è valida [...] e q1,q2 si intersecano in un punto p; (c) ogni linea contiene almeno tre punti distinti. Una tripla C che soddisfi gli assiomi (a) e (b) è detta geometria proiettiva generalizzata, se anche (c) è verificato si parla allora di geometria proiettiva. L ...
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 [...] e nel 1931, egli cercò di conciliare le esigenze del punto di vista empirico con quelle del rigore matematico, fissando due assiomi in base ai quali oggetto del CdP sono le successioni di prove, dette Kollektiv, che soddisfano le seguenti proprietà ...
Leggi Tutto
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] ora che A sia un enunciato per cui TC0'A; per compattezza A sarà conseguenza di un insieme T′ dato da T più un numero finito di assiomi della forma Ap; sia quindi q il più piccolo tra i primi diversi dal massimo di questi. E' chiaro che ogni campo di ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le logiche modali
Fabio Bellissima
Paolo Pagli
Le logiche modali
L'Organon di Aristotele, atto di nascita della logica formale, comprende, oltre [...] α ('se α è necessario allora α è vero); il calcolo S4 (Lewis e Langford 1932), ottenibile aggiungendo a T l'assioma □α→□□α ('se α è necessario allora α è necessariamente necessario'; tale proprietà, con la precedente, comporta che ogni iterazione di ...
Leggi Tutto
assioma
assiòma s. m. [dal lat. tardo axioma -ătis, gr. ἀξίωμα -ατος der. di ἄξιος «degno»] (pl. -i). – Nel linguaggio com., verità o principio che si ammette senza discussione, evidente di per sé. In filosofia, principio certo per immediata...
scelta
scélta s. f. [der. di scelto, part. pass. di scegliere]. – 1. a. Libero atto di volontà per cui, tra due o più offerte, proposte, possibilità o disponibilità, si manifesta o dichiara di preferirne una (in qualche caso anche più di una),...