Statistica
Eugenio Regazzini
La maggior parte delle indagini e degli esperimenti ‒ siano essi condotti a scopi di natura scientifica oppure per esigenze di tipo industriale, realizzati su larga scala [...] λmM(Fm). Le medie più importanti sono monotone e associative.
Per un bel teorema dimostrato indipendentemente da Mitio Nagumo e Andreij N. Kolmogorov nel 1930 sul teorema di Bayes quale strumento per l'induzione statistica che, a partire dal secondo ...
Leggi Tutto
L'Ottocento: matematica. Algebra della logica
Massimo Mugnai
Algebra della logica
Logica e matematica: pensare e calcolare
Sia nell'Antichità sia durante il Medioevo, la logica e la matematica si configurano [...] non vengano determinate mediante induzione non le espone al per il calcolo dei relativi. Ciò comporta una scarsa selettività: come osserverà Peirce, nel terzo volume delle Vorlesungen Schröder deriva una gran quantità di teoremi e svolge dimostrazioni ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. Lo sviluppo della matematica di Apollonio: Desargues, Pascal¿
Paolo Freguglia
Lo sviluppo della matematica di Apollonio: Desargues, Pascal e le [...]
Il teorema è dapprima dimostratoper lo spazio, cioè quando i piani abl e DEK sono distinti, e poi per il piano, ossia quando Ricerca filosofica sulle origini delle idee di probabilità, induzione e inferenza statistica, Milano, Il Saggiatore, 1987). ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. La nascita del calcolo delle probabilita
Patrizia Accordi
La nascita del calcolo delle probabilità
Introduzione
Il carteggio del 1654 tra Blaise [...] applicazione del calcolo delle probabilità: lo stesso Pascal perdimostrare che era 'conveniente' credere nell'esistenza di . Ricerca filosofica sulle origini delle idee di probabilità, induzione e inferenza statistica, Milano, Il Saggiatore, 1987).
...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] minimo, ma una sua forma equivalente detta 'principio di induzione'. Il principio del minimo ha però un'immediata controparte in della ricorsività fornisce così uno strumento perdimostrare matematicamente limitazioni delle possibilità dei computer. ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Giuseppe Peano
Clara Silvia Roero
Negli ultimi decenni dell’Ottocento e nei primi del Novecento le ricerche matematiche, logiche e linguistiche di Giuseppe Peano ebbero una straordinaria eco internazionale. [...] pubblicato con aggiunte dal Dr. Giuseppe Peano (1884), perdimostrare la fallacia di risultati accolti nei migliori testi in suo elemento, contiene tutti i numeri (principio di induzione completa). Oggetto di perfezionamenti e modifiche, i postulati ...
Leggi Tutto
Hauptsatz di Gentzen
Silvio Bozzi
Con questo nome (che significa teorema fondamentale) nella letteratura logica si indica una classe di teoremi il cui prototipo è dato dal risultato ottenuto da Gerhald [...] finitista dell’Hauptsatz per queste teorie fornirebbe una dimostrazione finitista di coerenza. Come provato da Gentzen nel 1936 nel caso dell’aritmetica di Peano, il teorema vale ma richiede sul piano metateorico il ricorso all’induzione aperta sull ...
Leggi Tutto
Scienza che ha per oggetto l’analisi formale delle strutture matematiche, e che si può identificare con la logica matematica. Con significato più ristretto la m., o teoria della dimostrazione (Beweistheorie), [...] assiomatici contenenti un conveniente calcolo logico, simboli speciali per gli individui, i predicati e le funzioni, G. Gentzen riuscì a dimostrare la consistenza dell’aritmetica usando un principio d’induzione transfinita. Analoghi risultati sono ...
Leggi Tutto
Il Rinascimento. Il metodo e l'ordine del sapere
Cesare Vasoli
Il metodo e l'ordine del sapere
Prodromi di un dibattito
La ricostruzione del lungo dibattito cinquecentesco sui criteri fondamentali [...] nei molti casi nei quali non sia possibile procedere per mezzo di dimostrazioni necessarie. È, insomma, un'arte che ‒ oscuro e nascosto per il procedimento della demonstratio propter quid.
Più debole è, invece, la via dell'induzione che può servire ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Filosofia della matematica
Roshdi Rashed
Filosofia della matematica
Gli storici della filosofia islamica dimostrano un interesse molto [...] di segmenti rettilinei. Tuttavia, mentre nella teoria dei numeri la dimostrazione è particolarmente rigorosa, nella disciplina detta al-ariṯmāṭīqī si può procedere per mezzo di semplice induzione. Per gli studiosi del X sec. la differenza fra le due ...
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...