superficie di rotazione
Enciclopedia della Matematica (2013)
superficie di rotazione
superficie di rotazione superficie nello spazio tridimensionale ottenuta dalla rotazione completa di una curva nello spazio attorno a un asse r. Le sue sezioni con un fascio di [...] di equazioni parametriche x = ƒ(v), z = h(ν) è detta curva meridiana della superficie.
Esempi elementari di superfici di rotazione sono la sfera, il cono circolare, il cilindro circolare (→ solido di rotazione; → Guldino, teoremi di; → Pappo-Guldino ...
Leggi Tutto
intelligènza artificiale
Enciclopedia on line
intelligènza artificiale (IA) Disciplina che studia se e in che modo si possano riprodurre i processi mentali più complessi mediante l'uso di un computer. Tale ricerca si sviluppa secondo due percorsi [...] 1959 H. Gelertner presentò un programma per la dimostrazione di teoremi di geometria e, subito dopo, uno per l’integrazione di queste aree era volta a scoprire e provare nuovi teoremi nell’aritmetica, nella geometria, nella logica e nella meccanica ...
Leggi Tutto
CATEGORIA:
CIBERNETICA E INTELLIGENZA ARTIFICIALE
TEORIE FORMALIZZATE
Enciclopedia Italiana - IV Appendice (1981)
TEORIE FORMALIZZATE
Aldo Marruccelli
. Una t. deduttiva T è un insieme di enunciati espressi in un determinato linguaggio (ordinario o simbolico) suscettibile di interpretazioni su opportuni insiemi [...] (insieme degli assiomi e regole di deduzione) e dai teoremi derivabili in essa, senza alcun riferimento esterno. Un sistema sono affrontati dalla logica matematica, che soprattutto mediante il teorema d'incompletezza sintattica di K. Gödel e i suoi ...
Leggi Tutto
Levi
Enciclopedia della Matematica (2013)
Levi
Levi Beppo (Torino 1875 - Rosario, Santa Fe, 1961) matematico italiano. Laureatosi a Torino nel 1896 con C. Segre, lavorò poi con V. Volterra e approfondì i lavori di E. Noether estendendo alle [...] superficie algebrica è birazionalmente trasformabile in un’altra priva di singolarità. Tale risultato faceva parte dei cosiddetti teoremi di desingolarizzazione, che furono al centro dell’attività scientifica di Levi, la quale precorse e accompagnò l ...
Leggi Tutto
Rayleigh, John William Strutt, 3º barone
Enciclopedia on line
Fisico (Langford Grove, Essex, 1842 - Witham, Essex, 1919). Successore (1879) di J. C. Maxwell nella cattedra di fisica sperimentale a Cambridge, lasciò l'insegnamento, dal 1884 al 1887, per dedicarsi [...] e la dinamica, e problemi di termologia. Successive ricerche di acustica lo portarono, fra l'altro, a stabilire fondamentali teoremi sulle vibrazioni; i risultati di tali ricerche sono raccolti nel classico Treatise on sound. Importanti contributi R ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
dualità
Enciclopedia on line
Matematica
Proprietà di postulati e di proposizioni che si mutano in altri postulati e altre proposizioni ove a certi enti se ne sostituiscano determinati altri.
Principio di dualità
Nella geometria proiettiva [...] legge di dualità nei reticoli in algebra, per la quale compiono un ufficio simmetrico i concetti di unione e intersezione; teoremi di dualità in topologia (dovuti in particolare a J.W. Alexander) ecc.
Fisica
Il principio di dualità vale per molte ...
Leggi Tutto
Alaoglu
Enciclopedia della Matematica (2013)
Alaoglu
Alaoglu Leonidas (Red Deer, Alberta, 1914 - Pasadena, California, 1981) matematico canadese. Conseguito il dottorato all’università di Chicago, insegnò al Pennsylvania State College e all’università [...] si ricordano soprattutto i risultati in analisi, che si riferiscono in particolare al concetto di → convergenza debole (teorema di Banach-Alaoglu). Tra le numerose pubblicazioni: Weak topologies of normed linear spaces (Topologie deboli in spazi ...
Leggi Tutto
deduttivo
Dizionario delle Scienze Fisiche (1996)
deduttivo
deduttivo [Der. del lat. deductivus, da deducere "dedurre"] [FAF] Metodo d.: quello che procede per deduzione, usando cioè soltanto il ragionamento senza far ricorso all'esperienza nel corso [...] basano sul metodo analitico e sulla deduzione; sistema d., ogni sistema formale che, date un certo numero di premesse (postulati) e determinate regole (regole di inferenza), include in sé soltanto le proposizioni (teoremi) dedotte da quelle premesse. ...
Leggi Tutto
CHELINI, Domenico
Enciclopedia Italiana (1931)
Matematico, nato a Gragnano (in Garfagnana) il 18 ottobre 1802, morto a Roma il 16 novembre 1878. Divenne scolopio il 18 dicembre 1818; insegnò matematica nel collegio Nazareno in Roma per venti anni, [...] perfezionò i metodi, avvicinandosi al calcolo geometrico e al calcolo baricentrico. Nella teoria delle superficie semplificò varî teoremi di Gauss. Scrisse un trattato: Elementi di meccanica razionale (Bologna 1860) che contiene, nel II libro, una ...
Leggi Tutto
geometria
Enciclopedia della Matematica (2013)
geometria
geometria parte della matematica che studia le figure, lo spazio in cui sono inserite e le loro proprietà, relazioni e trasformazioni.
Le origini
Secondo lo storico greco Erodoto (v secolo [...] e proprie memorie scientifiche nel senso moderno. Applicando il metodo di esaustione di Eudosso, Archimede giunse a enunciare numerosi teoremi sulle aree e i volumi di figure geometriche e a fornire una notevole approssimazione del valore di π.
L ...
Leggi Tutto