Maurolico, Francesco, detto Francesco da Messina

Enciclopedia on line

Matematico, architetto ed erudito (Messina 1494 - ivi 1575), figlio di un medico bizantino rifugiatosi in Sicilia per l'invasione turca. Benedettino, insegnò dal 1569 matematica allo studio di Messina; [...] geometri greci e gli Arithmeticorum libri duo (1575), in cui M. applicò, sembra per primo, il principio di induzione matematica. Costruì strumenti ottici e astronomici, progettò chiese, fontane e fortificazioni; inoltre, a quanto pare, osservò nel ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: PRINCIPIO DI INDUZIONE MATEMATICA – CASSIOPEA – SICILIA

reciprocità

Enciclopedia on line

Matematica Una r. (o correlazione) è una corrispondenza proiettiva tra i punti di uno spazio proiettivo S e gli iperpiani di uno spazio proiettivo S′ della stessa dimensione r, distinto o coincidente con [...] può essere dimostrato in base ai due principi di Kirchhoff. Nel caso di due induttori mutuamente accoppiati, il teorema di r. porta all’eguaglianza tra i due coefficienti di mutua induzione, mentre nel caso di un generico quadripolo passivo e lineare ... Leggi Tutto

CATEGORIA: ANALISI MATEMATICA – ELETTROTECNICA

TAGS: INTENSITÀ DI CORRENTE – PROIEZIONE ORTOGONALE – COORDINATE OMOGENEE – SPAZIO PROIETTIVO – ELETTROTECNICA

ordinamento

Enciclopedia on line

Complesso di norme che ordinano e disciplinano una determinata istituzione o attività. Diritto L’o. giuridico Dell'o. giuridico si hanno sostanzialmente tre concezioni. La teoria normativa, che fa capo [...] i matematici al principio del 20° sec., in seguito all’affermazione di E. Zermelo (1904) che ogni insieme è suscettibile di un buon o. (teorema del buon o.). Accettando tale teorema, si può estendere l’ordinario procedimento di induzione matematica ... Leggi Tutto

CATEGORIA: ANALISI MATEMATICA

TAGS: CONSIGLIO SUPERIORE DELLA MAGISTRATURA – INDIPENDENZA DELLA MAGISTRATURA – PRINCIPIO DI LEGITTIMITÀ – INDUZIONE MATEMATICA – CORTE DI CASSAZIONE

definizione

Enciclopedia on line

Filosofia L’analisi e la determinazione del contenuto di un concetto, espresse in un giudizio in cui il soggetto è il concetto da definire e il predicato è costituito dal complesso dei termini che nel [...] della grandezza stessa. Matematica In logica matematica s’incontrano due tipi di d.: metalinguistiche e 1 e in base alla loro conoscenza si definisce En: per il principio di induzione completa, rimangono così definiti gli En per ogni n. Religione D ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – TEMI GENERALI – LOGICA MATEMATICA – DOTTRINE TEORIE E CONCETTI – METAFISICA – DOTTRINE TEORIE CONCETTI

TAGS: PRINCIPIO DI INDUZIONE – FILOSOFIA SCOLASTICA – CONCILI ECUMENICI – LOGICA MATEMATICA – CHIESA CATTOLICA

Finito

Enciclopedia Italiana - VI Appendice (2000)

Finito Antonio Machì (XV, p. 399) Matematica del finito Diversi filoni della ricerca matematica che mostrano particolare vitalità si possono ricondurre all'interesse per i problemi del finito. L'analisi [...] di questa semplicità tale problema è stato oggetto di 'soluzioni' da parte di un gran numero di matematici di W.A. Mayer del 1975). Si arriva così in modo naturale alla nozione di controesempio minimo al teorema (una forma del principio di induzione ... Leggi Tutto

CATEGORIA: ALGEBRA

TAGS: TEOREMA FONDAMENTALE DELL'ARITMETICA – INSIEME PARZIALMENTE ORDINATO – FONDAMENTI DELLA MATEMATICA – TEOREMA DEI QUATTRO COLORI – CARATTERISTICA DI EULERO

ZERO

Enciclopedia Italiana (1937)

ZERO (fr. zéro; sp. cero; ted. Null; ingl. zero) Michele Cipolla Lo zero è da riguardarsi come numero nel senso cardinale (v. numero), quando risponde alla domanda "quanti sono gli oggetti (di una data [...] . - Nella matematica dell'antico Egitto e in quella greca manca una notazione per lo zero. Nell'Almagesto di Tolomeo è usato e cioè di sostituire al principio di induzione quest'altro formalmente più semplice: In ogni classe esistente di numeri c' ... Leggi Tutto

La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica

Storia della Scienza (2004)

La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica Umberto Bottazzini Filosofia e pratica matematica Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] come quello per passare da n a n+1 [cioè il principio di induzione] in apparenza caratteristico per la matematica, riposa su leggi logiche generali e non necessita di alcuna legge speciale del pensiero associativo" (ibidem, p. 214). La sua ... Leggi Tutto

CATEGORIA: STORIA DELLA MATEMATICA – STORIA DEL PENSIERO FILOSOFICO

Intuizionismo

Enciclopedia del Novecento (1978)

Intuizionismo AArend Heyting di Arend Heyting Intuizionismo sommario: 1. Concetti fondamentali.  2. Aritmetica elementare.  3. Il principio del terzo escluso. 4. I numeri reali. 5. Ineguaglianza e separazione [...] come altre costruzioni. La sottile distinzione fra matematica e metamatematica non può essere mantenuta. Il seguente teorema è un'importante conseguenza del principio di ‛induzione di sbarramento' (bar induction). Teorema del ‛ventaglio'. Ogni ... Leggi Tutto

TAGS: TEOREMA DI BOLZANO-WEIERSTRASS – PRINCIPIO DEL TERZO ESCLUSO – QUANTIFICATORE UNIVERSALE – LIMITE DI UNA SUCCESSIONE – CORRISPONDENZA BIUNIVOCA

NUMERI

XXI Secolo (2010)

Numeri Umberto Zannier Quanti? Quanto? Quando? A che distanza? Domande a cui rispondiamo, di solito, con numeri. Di essi facciamo continuo uso, e l’importanza concettuale, oltre che pratica, della nozione [...] Qui ricordiamo solo il fondamentale principio di induzione: ogni insieme non vuoto di numeri naturali ha un -57). La teoria dei numeri I numeri naturali sono il materiale matematico di base, ma non per questo si lasciano studiare facilmente; anzi, ... Leggi Tutto

CATEGORIA: ALGEBRA – ANALISI MATEMATICA – ARITMETICA

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 [...] parte della matematica tradizionale. Sfortunatamente, però, i principi utilizzati a di An. è chiaro che in questo modo riassorbiamo il principio di induzione ed estendendo al sistema l'Hauptsatz possiamo ottenere il principio della sottoformula e di ... Leggi Tutto

CATEGORIA: LOGICA MATEMATICA

TAGS: FUNZIONE RICORSIVA PRIMITIVA – TEORIA DELLA DIMOSTRAZIONE – QUANTIFICATORE UNIVERSALE – LOGICA DEL PRIMO ORDINE – TEORIA DELLE CATEGORIE