intersezione
Enciclopedia on line
Matematica
Nella geometria elementare, l’insieme dei punti comuni a due o più insiemi dati, sinonimo di interferenza. In geometria algebrica tale insieme si chiama interferenza, mentre si riserva il nome [...] teoria degli insiemi e nella logica matematica, dati 2 sottoinsiemi (classi) di un insieme I, si chiama i. (prodotto logico) di A e B e ’i. di due elementi A, B.
Tecnica
Nella scienza delle costruzioni, relativamente a un generico arco piano AB, di ...
Leggi Tutto
Turing, Alan Mathison
Enciclopedia on line
Matematico e logico matematico britannico (Londra 1912 - Wilmslow, Cheshire, 1954). Pioniere della scienza dell'informazione e dell'intelligenza artificiale, ha legato il suo nome, in particolare, a un [...] di T. è legato anche ad altri importanti risultati di logica matematica, come una dimostrazione dell'indecidibilità del calcolo predicativo puro e alla dimostrazione dell'insolubilità del problema della parola per i semigruppi. A T. si deve anche l ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Ramsey, Frank Plumpton
Enciclopedia on line
Filosofo e logico inglese (Cambridge 1903 - ivi 1930). Prof. all'università di Cambridge, conosciuto soprattutto per la sua analisi critica dei Principia mathematica di B. Russell e A. N. Whitehead, R. [...] di verità a infiniti argomenti). Nell'ambito della filosofia della scienza, particolarmente importante il suo studio sulle teorie . it. 1964); Foundations: essays in philosophy, logic, mathematics and economics (1978), riedizione con variazioni ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Vailati, Giovanni
Enciclopedia on line
Storico delle scienze, filosofo e matematico (Crema 1863 - Roma 1909). Figura di studioso originale, costantemente in contatto con la ricerca e la cultura europea (e statunitense) più avanzata, si occupò [...] di logica, filosofia della scienza, filosofia del linguaggio e storia della scienza (in partic. della matematica), con contributi ispirati a un acuto senso degli aspetti metodologici e linguistici dei problemi affrontati.
Vita
Laureato in matematica ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
OPERATIVA, RICERCA
Enciclopedia Italiana - V Appendice (1993)
OPERATIVA, RICERCA
Lucio Bianco-Mario Lucertini
(App. III, II, p. 315; IV, II, p. 669)
Premessa. − La r.o. è una disciplina che, a partire da radici culturali diversificate, ha acquisito soltanto negli [...] teoria dei giochi. Nella seconda metà dell'Ottocento nacque la scienza economica come disciplina quantitativa, basata su del sistema, a partire da un insieme di relazioni logico-matematiche che modellano le funzioni dei diversi sottosistemi, e ...
Leggi Tutto
ALGEBRA
Enciclopedia Italiana - V Appendice (1991)
(II, p. 421; App. II, I, p. 125; III, I, p. 61; IV, I, p. 83)
Negli ultimi dieci anni lo sviluppo dell'a. è stato molto vivace. Ai temi di ricerca già consolidati se ne sono aggiunti nuovi e ne sono stati [...] più antichi. In effetti lo sviluppo della scienza e della matematica in particolare è tale da altri) e così pure quale logica conseguenza del generale rinnovato interesse per molta matematica dell'Ottocento immeritatamente dimenticata (per es. ...
Leggi Tutto
NUMERI, Teoria dei
Enciclopedia Italiana - IV Appendice (1979)
NUMERI, Teoria dei
Enrico Bombieri
Gli sviluppi recenti della t. dei n. (v. aritmetica: Aritmetica inferiore o teoria dei numeri, IV, p. 370) hanno condotto alla soluzione di problemi fondamentali e [...] scienza.
Divisibilità e teoria delle congruenze. - L'origine della teoria delle congruenze è legata in modo indissolubile al problema delle se n è un numero primo. I metodi di logica matematica impiegati nello studio del problema di Hilbert permettono ...
Leggi Tutto
SKOLEM, Thoralf
Enciclopedia Italiana - V Appendice (1994)
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 [...] seconda dimostrazione del teorema Löwenheim-S. (1929), viene data un'elegante formulazione dell'assioma della scelta. Non ritenendo che la logica fosse una scienza assiomatica, S. pensava che la nozione di non contraddittorietà era da giustificarsi ...
Leggi Tutto
MISES, Richard von
Enciclopedia Italiana - III Appendice (1961)
MISES, Richard von
Vito A. BELLEZZA
Matematico e filosofo della scienza, nato a Leopoli il 19 aprile 1883, morto a Boston il 14 luglio 1953. Professore nelle università di Strasburgo (1909), Dresda [...] quale ha cercato di dare una base assiomatica. Nelle questioni di tecnica metodologica e di filosofia della scienza, il M., che fece parte del "Circolo" o "Scuola logica di Berlino", d'indirizzo affine al "Circolo di Vienna", si muove nell'ambito del ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1961-1970
Storia della Scienza (2003)
La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] , per esempio, la quantità di acqua in una lavastoviglie. La logica fuzzy è stata applicata in molti settori della produzione industriale, oltre che in vari rami delle scienze pure.
Insiemi semianalitici. Il polacco Stanislaw Łojasiewicz introduce e ...
Leggi Tutto