Cerca in:
La civiltà islamica: antiche e nuove tradizioni in matematica. La tradizione araba del Libro X degli Elementi
Storia della Scienza (2002)
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 dimostrazione per induzione, accompagnata da una tavola triangolare che dà i coefficienti dello sviluppo ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Storia della Scienza (2004)
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 dimostrazione per induzione 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 Gödel
Storia della Scienza (2004)
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 dimostrazione per induzione applicato ad asserzioni finitarie. Ciò che è caratteristico del nucleo finitario è che in esso si considerano soltanto ...
Leggi Tutto
induzione
Enciclopedia on line
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. Dimostrazione per i. Data una successione infinita di proposizioni matematiche: A1, A2, ...
Leggi Tutto
CATEGORIA:
ANTROPOLOGIA FISICA
–
BIOCHIMICA
–
BIOINGEGNERIA
–
EMBRIOLOGIA
–
GENETICA
–
CHIMICA FISICA
–
CHIMICA INORGANICA
–
ELETTROLOGIA
–
FISICA MATEMATICA
–
LOGICA MATEMATICA
–
FISIOLOGIA UMANA
–
GENETICA MEDICA
–
PSICHIATRIA
–
CITOLOGIA EMBRIOLOGIA E GENETICA
–
DOTTRINE TEORIE E CONCETTI
–
METAFISICA
–
STRUMENTI E TECNOLOGIA APPLICATA
Dimostrazione, teoria della
Enciclopedia della Scienza e della Tecnica (2007)
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 per induzione nella dimostrazione dell'Hauptsatz dipende infatti da due parametri: la complessità della formula su cui si ragiona e ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
Gauss, Karl Friedrich
Enciclopedia on line
Matematico, fisico, astronomo e geodeta tedesco (Brunswick 1777 - Gottinga 1855), considerato uno dei più grandi genî scientifici di tutti i tempi. Taluni aneddoti su G. fanciullo testimoniano di una sua [...] 257, 65537; non si sa ancora se ne esistano altri. G. dimostrò che un poligono regolare con p lati (p numero primo) si può costruire per così dire "generano" il campo, quelle che si destano per induzione sulla superficie di conduttori, quelle che per ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
EQUAZIONI
Enciclopedia Italiana - VI Appendice (2000)
(XIV, p. 132; App. III, i, p. 564; IV, i, p. 714; v. equazioni differenziali, App. V, ii, p. 131).
Il concetto generale di e. in matematica è trattato nella voce equazioni del vol. XIV dell'Enciclopedia [...] funzioni classiche sono chiuse rispetto alla sostituzione. Questo vuol dire che possiamo dimostrare per induzione il seguente teorema. Sia fi(t) una funzione meromorfa classica su un dominio complesso Di (per i=1, 2). Se f₁(D₁) ⊂ D₂ e se l'immagine f ...
Leggi Tutto
CATEGORIA:
ALGEBRA
La grande scienza. Cronologia scientifica: 1991-2000
Storia della Scienza (2003)
La grande scienza. Cronologia scientifica: 1991-2000
1991-2000
1991
Il sistema operativo Linux. Uno studente finlandese, Linus Torvalds, sviluppa il sistema operativo Linux. Il sistema può essere distribuito, [...] misurando la tensione elettrica che si genera per induzione elettromagnetica nel cavo di vincolo.
Una conferma l'ultimo di 4 articoli (il primo del 1996), in cui dimostra che su una 4-varietà simplettica compatta gli invarianti di Seiberg-Witten ...
Leggi Tutto
La civiltà islamica: antiche e nuove tradizioni in matematica. L'algebra e il suo ruolo unificante
Storia della Scienza (2002)
La civilta islamica: antiche e nuove tradizioni in matematica. L'algebra e il suo ruolo unificante
Roshdi Rashed
L'algebra e il suo ruolo unificante
La seconda metà del VII sec. vede il costituirsi [...] dimostrazioni viene definita ῾illa (causa) della soluzione. Al-Ḫwārizmī non solo richiede una dimostrazione per ogni caso, ma a volte per della dimostrazione di questa formula, compare come procedimento di dimostrazione in matematica l'induzione ...
Leggi Tutto