Matematico ungherese (Győr 1849 - Budapest 1913). Docente universitario; membro dell'Accademia ungherese delle scienze; si è occupato in modo particolare di questioni inerenti alla teoriadegliinsiemi [...] e alla logica matematica. Suoi lavori: Analízis ("Analisi", 1887), Az algebrai mennyiségek általános elméletének alapvonalai ("Lineamenti fondamentali della teoria generale delle quantità algebriche", 1903). ...
Leggi Tutto
In senso ampio, la costituzione e la distribuzione degli elementi che, in rapporto di correlazione e d’interdipendenza funzionale, formano un complesso organico o una sua parte; è così chiamato anche il [...] . Lo studio delle s. d’ordine è lo studio degliinsiemi ordinati. Un insieme è dotato di s. algebrica se in esso sono opportunamente è una delle nozioni fondamentali della matematica moderna: la teoria delle s. si è sviluppata con l’affermarsi dell’ ...
Leggi Tutto
Musicologia
Mario Baroni
Giovanni Giuriati
Antonio Serravezza
Franca Trinchieri Camiz
Definizione, origini e sviluppi istituzionali
di Mario Baroni
In prima approssimazione la m. può essere definita [...] , Music psychology and music theory. Problems and prospects, in Music theory spectrum, 1995, pp. 53-80.
S. Pasticci, Teoriadegliinsiemi e analisi della musica post-tonale, in Bollettino del GATM, 1995, 2, nr. monografico.
M. Baroni, Alla ricerca ...
Leggi Tutto
MATEMATICA NON COMMUTATIVA
La seconda metà del 20° secolo ha visto lo sviluppo di una molteplicità di ricerche matematiche, alcune motivate da considerazioni puramente interne, altre ispirate da problemi [...] importante, poiché può essere usato per spiegare costruzioni che intervengono in contesti molto più sofisticati: la teoriadegliinsiemi. Dato un insieme S e un suo punto x, la funzione caratteristica πx è quella funzione su S che associa ...
Leggi Tutto
LEBESGUE, Henri
Giovanni Lampariello
Matematico, nato a Beauvais (Oise) il 28 giugno 1875. Professore all'università di Parigi.
Il L. è conosciuto per le sue importanti ricerche sulla teoriadegliinsiemi [...] integrazione. Continuatore dell'indirizzo critico nella teoria delle funzioni di variabile reale iniziato dal altro relativo all'esistenza della derivata finita, a meno di un insieme di misura nulla, per ogni funzione continua e a variazione limitata ...
Leggi Tutto
Logico e matematico statunitense (Augustów, Polonia, 1897 - New York 1954); prof. (1944) all'univ. di New York. Nel 1921 diede la prima dimostrazione della completezza sintattica del calcolo proposizionale [...] problemi di decisione, sviluppando la nozione di gradi di insolubilità. Importante la sua teoria dei sistemi formali e degliinsiemi ricorsivamente numerabili, di quegli insiemi, cioè, che o sono vuoti o sono codominî di una funzione ricorsiva. Nel ...
Leggi Tutto
NEOPOSITIVISMO (App. III, 11, p. 235)
Paolo Filiasi Carcano
R. Carnap e l'eredità del positivismo logico. - Il n. nel senso stretto della parola (come, cioè, quel movimento di logica e filosofia della [...] ribadendo la tesi della estensionalità e quindi una ricostruzione sistematica della stessa logica matematica sulla base della teoriadegl'insiemi.
Abbiamo già notato come Quine rappresenti la più importante reazione del pragmatismo americano al n. (o ...
Leggi Tutto
platonismo matematico
platonismo matematico concezione della matematica per la quale, secondo la definizione di G.H. Hardy in Apologia di un matematico, «la realtà matematica giace fuori di noi e la [...] geometrie non euclidee, la geometria cessa di essere “il primo capitolo della fisica”, mentre con lo sviluppo della teoriadegliinsiemi e dell’algebra astratta, sempre più la matematica si occupa di oggetti propri, essi stessi generatori di problemi ...
Leggi Tutto
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
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...