SKOLEM, Thoralf
Carlo Cattani
Logico matematico norvegese, nato a Sandsvaer, nella provincia di Buskerud, il 23 maggio 1887, morto a Oslo il 23 marzo 1963. Le modeste condizioni dei genitori (il padre [...] Dopo aver provato la relativizzazione delle nozioni e dei teoremi della teoria degli insiemi ed espresso dubbi sulla completa assiomatizzazione dei concetti matematici, S. ha dimostrato (1934) che non esiste un sistema finito o infinito numerabile di ...
Leggi Tutto
Perché la matematica?
Marco Rigoli
Lo scopo di questo saggio è presentare al lettore, invitandolo nel contempo a una personale riflessione, alcuni aspetti della matematica che permeano gran parte della [...] dei nodi nella teoria quantistica dei campi.
Mentre agli inizi del 20° sec., specie con il processo di assiomatizzazione iniziato già alla fine dell’Ottocento attraverso lo studio dei fondamenti, in particolare la teoria degli insiemi, la matematica ...
Leggi Tutto
POMPILJ, Giuseppe
Enrico Rogora
POMPILJ, Giuseppe. – Nacque a Roma il 17 luglio 1913.
Nel 1918 perse il padre, morto in guerra. Si laureò con lode in matematica nel 1935 con una tesi di geometria algebrica [...] completare certi contributi di C. Gini alla teoria generale delle distribuzioni» (G. Pompilj, Le variabili casuali. f. I, Assiomatizzazione del calcolo delle probabilità, Roma 1967, p. 3).
Le prime ricerche di Pompilj furono nel campo della geometria ...
Leggi Tutto
variabile
variàbile [agg. e s.f. Der. del lat. variabilis, da variare "variare"] [ANM] Di una quantità che può assumere valori in un certo insieme numerico, o, più in generale, di un simb. che rappresenta [...] matematica, una v. non sottoposta a un quantificatore (anche, v. reale): v. logica: III 484 d. ◆ [FAF] V. meccanica: v. assiomatizzazione: I 181 f. ◆ [TRM] V. naturale: v. potenziali chimici e termodinamici: IV 574 b. ◆ [PRB] V. normale: v. casuale ...
Leggi Tutto
trasformazione
trasformazióne [Der. del lat. transformatio -onis, dal part. part. transformatus di transformare "cambiare la forma", comp. di trans- "trans-" e formare "dare forma"] [LSF] (a) Qualsiasi [...] classici criteri di uguaglianza, ma di mostrare che i due triangoli si corrispondono in una simmetria o in una traslazione). ◆ [ALG] Gruppo di t.: ogni insieme di t. che formino un gruppo. ◆ [FAF] Legge di t. dei campi: v. assiomatizzazione: I 182 f. ...
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 [...] . Non c’è da stupirsi quindi del ruolo paradigmatico che hanno avuto per la teoria dei modelli le indagini sull’assiomatizzazione della geometria condotte nei primi anni del Novecento da David Hilbert, Giuseppe Peano e Mario Pieri, per limitarci ai ...
Leggi Tutto
Modello
Silvano Petrarca
Il termine modello è diffusamente utilizzato per indicare un ampio insieme di costruzioni formali ottenute mediante schematizzazioni di processi, comportamenti, situazioni ecc., [...] la loro applicazione una modellazione iniziale del problema, ovvero la determinazione delle variabili descrittive e l'assiomatizzazione formale delle relazioni che tra loro intercorrono. L'uso dell'elaboratore elettronico è determinante sotto ogni ...
Leggi Tutto
L'Oulipo: la creazione letteraria tra gioco e matematica
L’Oulipo: la creazione letteraria tra gioco e matematica
A metà del Novecento, la Francia matematica visse l’originale esperienza del bourbakismo. [...] dalla matematica (calcolo combinatorio, teoria degli insiemi, teoria dei grafi), proprio in quella visione incentrata sulla assiomatizzazione che era stata rilanciata con forza da Bourbaki. Nei Centomila miliardi di poemi (1961) Queneau ricorre al ...
Leggi Tutto
intuizionismo
Termine con cui si designano quelle concezioni che non solo riconoscono una funzione all’intuizione, ma rivendicano a essa un ruolo privilegiato. Di i. si è così parlato a proposito della [...] di «illusione della libertà logica». Gli intuizionisti, coerentemente con i loro principi ispiratori, respingono ogni assiomatizzazione della matematica, ritenendola semplice costruzione verbale priva di contenuto matematico e di capacità creativa ...
Leggi Tutto
. Assumendo la parola "epistemologia" nel senso di "riflessione critica generale intorno alla conoscenza scientifica", il presente tentativo di sintesi problematica delle acquisizioni epistemologiche post-ottocentesche [...] . Così, tra i fondatori della logica simbolica, Frege, Russell e Hilbert hanno promosso con vigore la progressiva 'assiomatizzazione' della loro disciplina, ottenendo esiti cospicui. Infatti, l'organizzazione sistematica istituita in tal modo fra gli ...
Leggi Tutto
assiomatizzazione
assiomatiżżazióne s. f. [der. di assiomatizzare]. – Formulazione in termini assiomatici; a. di una teoria, formulazione di alcune proprietà della teoria dalle quali tutte le altre possono essere dedotte.
assiomatizzare
assiomatiżżare v. tr. [der. di assiomatico]. – Introdurre una trattazione assiomatica (in un dato campo delle matematiche e in altre scienze): a. la geometria, ecc.