TEODORO di Gadara
Retore e teorico della retorica nato circa il 70 a. C., maestro di Tiberio, di cui avrebbe dato il famoso giudizio che era "fango impastato di sangue" (Suet., Tiber., 57). Passò la [...] che, di fronte al rigorismo scientifico di Apollodoro, che definiva la retorica arte di persuadere per mezzo di teoremi perfetti, T., riprendendo motivi aristotelici, lasciava più larghezza di scelta nei metodi, negli argomenti e nelle partizioni ...
Leggi Tutto
logica
lògica [Lat. logica, dal gr. loġiké (sottinteso téchne "arte"), a sua volta da lógos "discorso, ragionamento"] [ELT] [INF] Il complesso dei circuiti logici che fanno parte di un dispositivo elettronico [...] non quella dei predicati, mentre quella che analizza pure la quantificazione dei predicati è detta l. del secondo ordine: v. Gödel, teorema di: III 54 e. ◆ [FAF] L. enunciativa: lo stesso che l. proposizionale (v. oltre). ◆ [ALG] [FAF] L. formale, o ...
Leggi Tutto
metodo
mètodo [Der. del lat. methodus, dal gr. méthodos "la via della ricerca"] [LSF] Ogni procedimento volto alla conoscenza e alla sistematizzazione di ciò che via via si acquisisce, in base a criteri [...] , consistenti nel fissare concetti e proposizioni primitive da cui altri concetti e proposizioni possono essere ricavati come teoremi mediante dimostrazioni: v. assiomatizzazione: I 180 e. ◆ [FAF] [ALG] [ANM] M. costruttivo: quello che non soltanto ...
Leggi Tutto
Scienza greco-romana. Istituzioni e forme dell'attivita scientifica in eta ellenistica e romana
Giuseppe Cambiano
Istituzioni e forme dell'attività scientifica in età ellenistica e romana
Istituzioni [...] (X, 12-15 in: K III 812-841). Galeno si rendeva conto di dover introdurre su questo tema dimostrazioni specialistiche di teoremi, ma, sapendo che da esse rifuggivano non soltanto gli incolti, ma anche i competenti di medicina, aveva dapprima ritenuto ...
Leggi Tutto
MONTESANO, Domenico Alfonso Emmanuele
Romano Gatto
MONTESANO, Domenico Alfonso Emmanuele. – Nacque a Potenza il 22 dicembre 1863 dall’avvocato Leonardantonio, fervente liberale che nel 1860 era stato [...] della R. Acc. di scienze fisiche e matematiche di Napoli, s. 2, XVII [1926]); mostrò i limiti di un teorema stabilito da Cremona (Sulla teoria generale delle corrispondenze birazionali dello spazio, in Rendiconti della R. Acc. nazionale dei Lincei, s ...
Leggi Tutto
aritmetica di Presburger
Luca Tomassini
Versione semplificata dell’aritmetica di Peano, ottenuta da quest’ultima eliminando l’operazione di moltiplicazione. Più precisamente, l’aritmetica di Presburger [...] (si parla di ogni proprietà P) e fa dunque intervenire la logica al secondo livello (quella appunto che ‘parla’ dei teoremi della logica al primo). Nell’aritmetica di Peano, per formulare l’assioma di induzione al primo livello della logica si paga ...
Leggi Tutto
Piero della Francesca
Piero della Francesca (Borgo San Sepolcro, Arezzo, 1415 ca - 1492) pittore, teorico dell’arte e matematico. Formatosi a Firenze, operò ad Arezzo e nelle principali corti italiane. [...] e sezione dell’Alberti e contiene problemi pratici risolti geometricamente, definizioni date in termini intuitivamente comprensibili e teoremi dimostrati mediante costruzioni o con un calcolo aritmetico di rapporti. Inoltre, in esso sono applicate ...
Leggi Tutto
LIMITE (XXI, p. 162)
Tullio Viola
La moderna esigenza di una visione sempre più astratta e sintetica dei concetti fondamentali della matematica ha portato a generalizzare in più direzioni il concetto [...] :
(D[y, y′]: distanza di due punti y, y′ in T).
Relativamente al concetto di l., si possono ora enunciare i seguenti teoremi.
I) Se f è una funzione topologica di una variabile topologica x, continua in tutto un insieme E compatto (in S), anche l ...
Leggi Tutto
SMALE, Stephen
Matematico statunitense, nato a Flint (Michigan) il 15 luglio 1930. Dal 1961 professore alla Columbia University a New York e dal 1964 in quella di Berkeley. Per i suoi lavori di topologia [...] relativi alla congettura di Poincaré per un valore sufficientemente elevato della dimensione e per il teorema dell'h-cobordismo (col quale si stabiliva per la prima volta un criterio per giudicare se due varietà sono diffeomorfe, cioè collegabili ...
Leggi Tutto
asta
Nicola Dimitri
Formati d’asta
I formati d’asta utilizzati nelle applicazioni sono molteplici e consistono in una combinazione o variazione dei seguenti 4 modelli principali: asta inglese, asta [...] lo stesso ricavo e lo stesso costo, nel caso di acquisti. Questo risultato, che prende il nome di teorema di equivalenza del ricavo, rappresenta uno dei teoremi classici, e di maggior rilievo, nella teoria delle aste.
L’asta inglese e l’asta olandese ...
Leggi Tutto
teorema
teorèma s. m. [dal lat. tardo theorēma, gr. ϑεώρημα (propr. «ricerca, meditazione», der. di ϑεω-ρέω «esaminare, osservare»)] (pl. -i). – 1. Nella cultura classica e medievale, la «visione» sensibile o intellettiva e il relativo oggetto,...
principio
princìpio s. m. [dal lat. principium, der. di princeps -cĭpis nel sign. di «primo»: v. principe]. – 1. a. L’atto e il fatto di cominciare, inizio: il p. di una azione, di un’impresa; il p. di una nuova vita; dare p., avviare, intraprendere...