INDUZIONE
Giovanni Vacca
. Matematica. - Si chiama principio d'induzione matematica, ovvero induzione completa, il principio seguente: "Se il numero 1 gode di una certa proprietà, e se si può dimostrare [...] detto talvolta che esso dipende da un'infinità di sillogismi, poiché perdimostrare che la proprietà a cui ci si riferisce è goduta dal discesa come un postulato dell'aritmetica.
L'induzione incompleta della logica comune, cioè l'affermazione della ...
Leggi Tutto
induzione, dimostrazioneperinduzione, dimostrazioneper particolare metodo di → dimostrazione utilizzato perdimostrare proprietà che dipendono da un numero naturale. Una tale dimostrazione fa uso [...] del principio di induzione matematica (→ induzione matematica, principio di). ...
Leggi Tutto
dimostrazionedimostrazione concatenazione logica tra asserzioni che deduce da una serie di premesse dette ipotesi, attraverso proposizioni intermedie, una conclusione detta tesi che è necessaria conseguenza [...] pari ma non è multiplo di 8.
Un ulteriore metodo di dimostrazione usato nella pratica matematica perdimostrare che una proprietà P vale per un numero infinito di casi è la dimostrazioneperinduzione: se P è una proprietà che dipende in qualche modo ...
Leggi Tutto
induzione
Procedimento logico, mediante il quale si passa dalla considerazione di casi particolari a una conclusione generale. In matematica, un insieme A (o una proprietà P) si dice definito per i. [...] n appartiene a N, anche il successore di n deve appartenere a N; nient’altro appartiene a N.
Dimostrazioneperinduzione
Data una successione infinita di proposizioni matematiche (A1, A2,...,An,An+1,...), tutte le proposizioni della successione sono ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. La tradizione araba del Libro X degli Elementi
Marouane Ben Miled
La tradizione araba del Libro X degli Elementi
La storia delle letture [...] che la formula nota oggi come 'binomio di Newton' era stata dimostrata da al-Karaǧī per le potenze intere positive; ci fornisce quindi la sua dimostrazioneperinduzione, accompagnata da una tavola triangolare che dà i coefficienti dello sviluppo ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] da Russell, Weyl accettava come basilari il sistema dei numeri naturali e i principî a esso associati di dimostrazioneperinduzione e di definizione ricorsiva. Attribuiva a Russell la formulazione del principio del circolo vizioso, mentre citava le ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Godel
Carlo Cellucci
I teoremi di incompletezza di Gödel
Nei giorni 5-7 settembre 1930 ebbe luogo a Königsberg [...] (x>0∧y>0∧z>0∧ w>2→xw+ +yw≠zw). Un tipico metodo dimostrativo finitario è il procedimento di dimostrazioneperinduzione applicato ad asserzioni finitarie. Ciò che è caratteristico del nucleo finitario è che in esso si considerano soltanto ...
Leggi Tutto
Procedimento logico, mediante il quale si passa dalla considerazione di casi particolari a una conclusione universale.
Nel linguaggio scientifico, in genere, modificazione che determinate proprietà di [...] immerso in un campo magnetico di cui B sia il vettore induzione; se l è chiuso oppure se, essendo aperto, i deve appartenere a N; 3) nient’altro appartiene a N. Dimostrazioneper i. Data una successione infinita di proposizioni matematiche: A1, A2, ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] può essere concepirlo in termini di uno scambio tra quantificatori numerici e esponenziale ordinale. Il ragionamento perinduzione nella dimostrazione dell'Hauptsatz dipende infatti da due parametri: la complessità della formula su cui si ragiona e ...
Leggi Tutto
induzione
Bruno Basile
Termine presente in tre passi del Convivio. In Il XIII 5 E la terza similitudine [tra i cieli e le scienze] si è inducere perfezione ne le disposte cose. De la quale induzione, [...] dalla sua forma o perfectio prima (v. ATTO).
In IV XVIII 4 qui non si procede per necessaria dimostrazione... sì di bella e convenevole induzione, ci troviamo al cospetto di un termine tecnico della logica scolastica di matrice aristotelica (ἐπαγωγή ...
Leggi Tutto
induzione
induzióne s. f. [dal lat. inductio -onis, der. di inducĕre «indurre», part. pass. inductus; nelle accezioni scient. dei nn. 3 e 4, dal fr. induction e ingl. induction]. – 1. non com. L’atto di indurre, di agire cioè con la persuasione...
per
pér prep. [lat. pĕr]. – Come le altre prep. proprie, può fondersi con l’articolo determinativo per dare luogo alle prep. articolate, raramente usate, pel (per il), pei o pe’ (per i), e ad altre, del tutto disusate, pegli (per gli), pella...