Cerca in:
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
La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsività
Storia della Scienza (2004)
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 [...] di un numero naturale. Dedekind non usò il principio del minimo, ma una sua forma equivalente detta 'principio di induzione'. Il principio fornisce così uno strumento per dimostrare matematicamente limitazioni delle possibilità dei computer.
Non ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
Peano, Giuseppe
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. [...] sono uguali; zero non è il successore di alcun numero; ogni classe che contenga zero e il successore di ogni suo elemento, contiene tutti i numeri (principio di induzione completa). Oggetto di perfezionamenti e modifiche, i postulati furono ripresi ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
campo
Enciclopedia on line
Biologia
C. morfogenetico Area dell’embrione, o del primordio di un germoglio, dotata della capacità di dare origine a un determinato organo; per es., i c. morfogenetici dell’arto posteriore danno origine [...] corrispondenti potenziali (principio di additività dei c di fenomeni di induzione magnetica ed elettromagnetica (➔ induzione), ha ovunque e sempre divergenza nulla: div B=0. Il c. di induzione di indagini della moderna semantica storica.
Matematica ...
Leggi Tutto
logica
Enciclopedia on line
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] , questa intuizione-base, si ottengono delle costruzioni matematiche primitive, quali la serie illimitata dei numeri naturali, e la giustificazione di principi come quello di induzione completa. Nulla però giustifica l’ammissione, neppure ...
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 [...] a spira (di forma qualunque, anche non piana), immerso in un campo magnetico di cui B sia il vettore induzione; se l o almeno alcune di esse, quali assiomi. Mentre il principio di i. completa è generalmente accettato dai matematici per i numeri ...
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
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 [...] matematico" dell'università di Principio di Gauss del minimo sforzo (o della minima costrizione vincolare). - Uno dei principî variazionali della meccanica (v. meccanica: Meccanica analitica).
Principio della media di per induzione sulla superficie di ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Euler, Leonhard
Enciclopedia on line
{{{1}}}
Matematico, fisico e filosofo naturale (Basilea 1707 - Pietroburgo 1783). Sono poche le aree della matematica e della fisica contemporanee a cui E. non dette un importante contributo. La sua energia [...] di un etere elastico e rarefatto che riempie lo spazio. E. considerò l'induzione derivante dall'osservazione come un'utile euristica, anche se preferì come metodo scientificamente più sicuro e valido tradurre un problema fisico in termini matematici ...
Leggi Tutto
Poincaré, Jules-Henri
Enciclopedia on line
Matematico (Nancy 1854 - Parigi 1912), tra i più grandi dell'età a cavallo tra i secc. 19º e 20º; cugino di Raymond. Fu tra i più grandi matematici francesi del sec. XIX. L'attività scientifica veramente [...] e ha mostrato le interrelazioni, all'interno di un sistema scientifico, degli elementi empirici, formali e convenzionali (di qui la sua distinzione tra leggi e principi). Il ruolo dello strumento matematico nell'ambito delle teorie risulta, in queste ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
STATISTICA
Enciclopedia Italiana - V Appendice (1995)
STATISTICA
Pietro Muliere
Ester Capuzzo
(XXXII, p. 506; App. I, p. 1018; IV, III, p. 447)
''Statistica'' è un termine con un significato amplissimo sia per la varietà delle applicazioni sia per le [...] di Bayes'', o ''principio d'indifferenza'' quello dell'uniforme distribuzione a priori. Caduta in discredito l'induzione esaustivi ai fini della previsione in contesto bayesiano, in Rivista di Matematica per le Scienze Economiche e Sociali, 3 (1980-81 ...
Leggi Tutto