logica intuizionista
Silvio Bozzi
La più studiata rivale della logica classica sin da quando fu assiomatizzata da Arend Heyting nel 1930. Già Anchei M. Kolmogorov nel 1925 e Vasili I. Glivenko nel 1929 [...] anni Sessanta per opera di Saul Kripke che – sfruttando il fatto che ogni algebra di Heyting è isomorfa all’algebra dei coni su un albero – ha mostrato come essa si possa interpretare su alberi dove ogni vertice costituisce uno stato di conoscenze e ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Geometria pratica
Hélène Bellosta
Geometria pratica
Nella classificazione delle scienze di al-Fārābī figura la categoria dei 'procedimenti [...] e Fī istiḫrāǧ a῾mida al-ǧibāl (Sulla determinazione dell'altezza delle montagne). Più che di oggetti geometrici (piramidi, cilindri, coni, ecc.), si tratta di misurare le altezze di oggetti materiali (muri, edifici, montagne e così via).
Sinān ibn al ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Geometria delle coniche, luoghi, contatti e costruzioni
Philippe Abgrall
Hélène Bellosta
Geometria delle coniche, luoghi, contatti e costruzioni
L'opera [...] I, prop. 11) IX2=C∙ZX e l'iperbole mediante gli asintoti (Coni che, II, prop. 12), cioè DE∙EG=DK∙KI, o ancora posizione è nota a partire dal punto noto B. L'autore definisce due coni associati a ogni segmento di sfera. Il primo è il 'cono di segmento ...
Leggi Tutto
Euclide
Pier Daniele Napolitani
Il padre della geometria
Euclide, vissuto agli inizi del 3° secolo a.C., è noto soprattutto per i suoi Elementi, una vasta raccolta in cui espone i concetti fondamentali [...] tre Libri (XI-XIII) sono dedicati alla geometria solida. Nel XII si studiano le proprietà fondamentali di piramidi, coni, cilindri e sfere, mentre il XIII è dedicato allo studio dei cinque poliedri regolari: tetraedro, cubo, ottaedro, dodecaedro ...
Leggi Tutto
Esercizio singolo o collettivo a cui si dedicano bambini o adulti, per passatempo, svago, ricreazione, o con lo scopo di sviluppare l’ingegno o le forze fisiche. Anche, pratica consistente in una competizione [...] scommesse. Per le scommesse sportive e ippiche, i soggetti passivi del tributo sono il Comitato Olimpico Nazionale Italiano (CONI) e l’Unione Nazionale Incremento Razze Equine (UNIRE). Sono previste distinte modalità di computo della base imponibile ...
Leggi Tutto
CREMONA, Luigi
U. Bottazzini
Lauro Rossi
Nacque a Pavia il 7 dic. 1830 da Gaudenzio, un novarese di famiglia assai agiata poi caduta in rovina, e da Teresa Andreoli. Ebbe tre fratelli tra i quali Tranquillo, [...] di cubiche gobbe e che studia con un metodo analitico basato sulla definizione della cubica gobba come l'intersezione di due coni di secondo ordine aventi una generatrice in comune. Dall'espressione analitica della curva il C. ne ricava le proprietà ...
Leggi Tutto
BIANCHI, Luigi
Enzo Pozzato
Figlio del giurista Saverio, nacque a Parma il 18 genn. 1856. Entrato alla Scuola normale superiore di Pisa il 14 nov. 1873, si laureò in matematica il 30 nov. 1877. Fu abilitato [...] ., pp. 161-173; Sulle superfici le cui linee di curvatura di un sistema tagliano sotto angolo costante le generatrici dei coni che le proiettano da un punto fisso,ibid., pp. 221-235; Sulla generazione,per rotolamento,delle superfici isoterme e delle ...
Leggi Tutto
Civilta islamica: antiche e nuove tradizioni in matematica. Tracciato continuo delle coniche e classificazione delle curve
Roshdi Rashed
Tracciato continuo delle coniche e classificazione delle curve
Il [...] perfetto è determinato.
Osserviamo che i tre problemi trattati da al-Qūhī corrispondono alle propp. 52-56 del Libro I delle Coni che di Apollonio (Rashed 2002, 2003a). Tutto indica in effetti che al-Qūhī prende, per così dire a titolo di esercizio ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. Lo sviluppo della matematica di Apollonio: Desargues, Pascal¿
Paolo Freguglia
Lo sviluppo della matematica di Apollonio: Desargues, Pascal e le [...] quindi la validità del teorema nel caso del cerchio. Dopo di che, sfruttando la caratterizzazione delle coniche quali sezioni di coni generati dalla rotazione di una retta attorno a un cerchio, deduce che ogni conica si può proiettare in un cerchio ...
Leggi Tutto
Letteratura
Disciplina che ha per oggetto lo studio della versificazione, fondata su un complesso di norme che variano secondo la natura di ciascuna lingua e le convenzioni che si stabiliscono in rapporto [...] , in particolare, una m. euclidea su tutte le superfici a curvatura totale nulla, cioè, oltre che sui piani, sui cilindri, sui coni e sulle superfici rigate sviluppabili.
La m. ellittica è un caso particolare di m. riemanniana, in cui la somma degli ...
Leggi Tutto
avventizio
avventìzio (ant. avventìccio o avvenitìzio o avvenitìccio) agg. [dal lat. adventicius, der. di advenire «arrivare»]. – 1. Venuto da fuori: gente a.; la borghesia più piccola e l’avventizia del contado (Carducci); vocaboli a. (Machiavelli)....
biconico
bicònico agg. [comp. di bi- e conico] (pl. m. -ci). – In geometria, di oggetto la cui forma ricorda quella di due coni uniti per il vertice: antenna b., tipo di antenna per radioonde, che ha appunto tale forma. Nell’uso com., anche...