metodo
mètodo s. m. [dal lat. methŏdus f., gr. μέϑοδος f., «ricerca, indagine, investigazione», e anche «il modo della ricerca», comp. di μετα- che include qui l’idea del perseguire, del tener dietro, [...] dal modello offerto dalla geometria di Euclide, procede da assiomi e definizioni alla costruzione e dimostrazione di teoremi, cui possono far seguito varî corollarî; m. ipotetico-deduttivo, quello che, partendo da affermazioni razionali (assiomi), ne ...
Leggi Tutto
logicismo
s. m. [der. di logica, logico1]. – 1. a. In senso ampio, ogni dottrina che pone la logica a fondamento della filosofia, o le assegna comunque un posto preponderante in questa disciplina. b. [...] tutti i concetti matematici a partire da un numero ristretto di concetti logici fondamentali e che tutti i teoremi matematici sono dimostrabili a partire da un numero ristretto di proposizioni logiche fondamentali; tale programma di riduzione della ...
Leggi Tutto
godeliano
‹ġö-› agg. – Relativo al matematico Kurt Gödel (1906-1978) e alla sua opera: teoremi g., o prove di Gödel, le dimostrazioni, da lui formulate, dell’incompletezza di qualsiasi assiomatizzazione [...] della teoria dei numeri, dell’impossibilità di dimostrare la coerenza dell’aritmetica all’interno del formalismo dell’aritmetica stessa, ecc.; numeri g., o numeri di Gödel, numeri naturali che possono ...
Leggi Tutto
reciprocita
reciprocità s. f. [dal lat. tardo reciprocĭtas -atis, der. di reciprŏcus «reciproco»]. – 1. La condizione di essere reciproco; rapporto, carattere o valore reciproco: r. di un affetto, di [...] di cortocircuito che scorre tra altri due nodi non cambia invertendo tra di loro le coppie di nodi; in radiotecnica, teorema di r. delle antenne, per il quale le proprietà (frequenza di risonanza, ampiezza di banda, ecc.) di un’antenna ricevente ...
Leggi Tutto
c. d. d.
– In testi scientifici, abbrev. di come dovevasi dimostrare, formula conclusiva della dimostrazione di teoremi matematici. Sigle equivalenti sono c. v. d. «come volevasi dimostrare» e q. e. [...] d. «quod erat demonstrandum» ...
Leggi Tutto
deduttivo
agg. [dal lat. tardo deductivus, der. di deducĕre «dedurre»]. – Che riguarda la deduzione (come procedimento logico): metodo d., quello che procede per deduzione, usando cioè soltanto il ragionamento [...] numero di premesse (postulati) e determinate regole (regole di inferenza), include in sé soltanto le proposizioni (teoremi) dedotte da quelle premesse. ◆ Avv. deduttivaménte, secondo il metodo deduttivo, per logica deduzione: argomentare, dimostrare ...
Leggi Tutto
similitudine
similitùdine s. f. [dal lat. similitudo -dĭnis, der. di simĭlis «simile»]. – 1. a. letter. Somiglianza, soprattutto in locuzioni, ormai ant., come per s., a s. di, ecc. b. Figura retorica [...] a seconda che il movimento sia diretto o inverso, anche la similitudine si dice diretta o inversa. Criterî di s., teoremi che assicurano che, sotto determinate ipotesi, due figure (per es., due triangoli) sono simili. b. Relazione che intercorre fra ...
Leggi Tutto
Guldino, teoremi di
Guldino, teoremi di o teoremi di Pappo-Guldino, teoremi di geometria che si riferiscono a una figura di rotazione. Essi devono il nome al matematico P. Guldino, che elaborò e dimostrò un’intuizione già avuta dal matematico...