semantica
semantica parte della logica che si occupa di fissare le regole per la interpretazione delle formule di un linguaggio formale in modo da attribuire loro un significato. Per gli usuali sistemi [...] dai valori di verità degli enunciati costituenti. L’interpretazione assegna quindi a ogni termine costante un elemento di un insieme non vuoto D (dominio dell’interpretazione) e ai simboli relazionali e funzionali della teoria relazioni, funzioni o ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] di Torino», 1896, pp. 34-52) solleva per la prima volta il problema di una fondazione assiomatica della teoriadegliinsiemi che consideri come primitive le nozioni di classe e di corrispondenza, rendendo le loro proprietà logicamente deducibili da ...
Leggi Tutto
L'Ottocento: matematica. Immagini della matematica nell'Ottocento
Umberto Bottazzini
Immagini della matematica nell'Ottocento
Il panorama della matematica negli ultimi decenni del XIX sec. è per molti [...] una fonte inesauribile di idee e di problemi, dalla nuova definizione di integrale di Riemann, ai primi passi della teoriadegliinsiemi di punti di Georg Cantor (1845-1918).
In Prussia, figure come quelle di Dirichlet o di Jacobi sono paradigmatiche ...
Leggi Tutto
La simmetria in natura
Marco Fontana
Verso la fine del 20° sec. la fisica ha subito un cambiamento di paradigma epocale. Non è stata una rivoluzione così importante come quella che ha portato alla [...] e che hanno le caratteristiche di invarianza di scala spaziale furono chiamati da Mandelbrot frattali; tutta la teoriadegliinsiemi poteva essere applicata alla loro trattazione, ovviamente nei limiti della finestra di scala per gli oggetti naturali ...
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 [...] di assiomatizzazione iniziato già alla fine dell’Ottocento attraverso lo studio dei fondamenti, in particolare la teoriadegliinsiemi, la matematica aveva subito una sorta di frammentazione, conseguenza, in sostanza, di un riordino razionale dell ...
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 [...] si erano spinti oltre, ponendo le basi della teoriadegliinsiemi infiniti. Nel 1900 la teoriadegliinsiemi di Cantor o, più precisamente, quella parte della teoria che aveva a che fare con gli insiemi di punti, era stata generalmente ben accolta in ...
Leggi Tutto
Informazione e computazione quantistica: teoria
Mario Rasetti
Al crocevia tra scienza e tecnologia
La nuova disciplina che va sotto il nome di informazione e computazione quantistica si sviluppa al [...] di Gödel comportano è l’esistenza di un’inesauribile molteplicità di modelli (nel senso della teoria dei modelli dei sistemi formali assiomatici) che la teoriadegliinsiemi assiomatica è in grado di fornire e con cui, proprio in virtù dei risultati ...
Leggi Tutto
Roberto Flor
Abstract
La vulnerabilità informatica della società moderna è dovuta a fenomeni criminosi caratterizzati da nuove modalità di offesa, che sfruttano le esponenziali potenzialità delle nuove [...] , cit., 306 e 319 ss.). L’elemento comune o, se si vuole riprendere proprio il linguaggio della “teoriadegliinsiemi”, l’area di intersezione fra dimensione individuale e dimensione collettiva del bene tutelato, è costituita dall’interesse a non ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola matematica di Mosca
Sergej Sergeevic Demidov
La scuola matematica di Mosca
La matematica a San Pietroburgo e a Mosca
Nella seconda [...] Uspenskij (1883-1947) in una lettera del 1926 scriveva di Luzin: "So che è un bravo specialista nel suo campo (la teoriadegliinsiemi e tutte le sciocchezze di Cantor e Lebesgue a essa legate), è un brillante professore, che ha creato a Mosca una ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. La rinascita degli studi geometrici nel mondo latino
Menso Folkerts
La rinascita degli studi geometrici nel mondo latino
La tradizione [...] Aristotele. Inoltre, le riflessioni sulle questioni relative alla continuità anticiparono i paradossi della teoriadegliinsiemi. Si può anche ricordare la teoria delle latitudini delle forme, che culmina nel cosiddetto 'teorema di Merton', ovvero in ...
Leggi Tutto
insieme
insième (ant. insème) avv. e s. m. [lat. ĭnsĕmul, rifatto nel lat. volg. in *insĕmel per sostituzione di semel «una volta» a simul «insieme»]. – 1. avv. Esprime in genere i seguenti rapporti: a. Compagnia, unione: siamo usciti i. io...
teoria
teorìa s. f. [dal gr. ϑεωρία, der. di ϑεωρός (v. teoro), e quindi, in origine, «delegazione di teori»; nel sign. 1, attraverso il lat. tardo theorĭa]. – 1. Formulazione logicamente coerente (in termini di concetti ed enti più o meno...