Mineralogia
Annibale Mottana
La scienza che ha come oggetto di studio i corpi solidi per motivi storici non ha un nome unico, ma tende ad articolarsi e a differenziarsi al punto da assumere almeno due [...] atmosfere) e, combinandola con un laser di potenza che riscalda perinduzione, temperature fino a 7000 K. È impensabile, almeno in questo solo con uno strumento ultramoderno come lo SHRIMP, perdimostrare che la mineralogia, lungi da essere morta, ha ...
Leggi Tutto
Augusto Cerri
Abstract
La ragionevolezza è criterio di valutazione delle decisioni umane alla stregua di principi comunemente consentiti e di una metodologia pur essa condivisa. Nel diritto i principi [...] L’idea kantiana di una sintesi a priori riaffiora in settori limitati (ad. es., con riguardo alla dimostrazione matematica per “induzione completa”: Poincaré, H., Sur la nature du raisonnement mathématique, in La science et l’hypothèse, Paris, 1968 ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] X≡{x:x=1⋁(x=2∧F)} dove F è una asserzione matematica ancora non dimostrata, come l'ipotesi di Riemann. X è un sottoinsieme dell'insieme finito {1, 2 in parametri numerici. La definizione è perinduzione sul numero di simboli logici di un ...
Leggi Tutto
logica combinatoria
logica combinatoria locuzione utilizzata in due diverse accezioni:
• per indicare un modello di calcolo logico introdotto nel 1920 dal matematico ucraino M.I. Schönfinkel (combinatory [...] riscrittura dei termini stessi.
I termini sono definiti perinduzione sulla complessità per mezzo delle seguenti regole:
• ogni variabile (ƒ(Yf )).
Si può dimostrare che i due combinatori S e K formano una base per i termini della logica combinatoria ...
Leggi Tutto
discesa infinita, metodo della
discesa infinita, metodo della particolare metodo di dimostrazioneper assurdo, utilizzato nella teoria dei numeri, basato sul principio d’induzione matematica. Il metodo [...] un certo n in poi, che è costante. Perdimostrare, quindi, che una proposizione P sui numeri naturali è falsa, si suppone (per assurdo) che sia vera per un certo n e se si dimostra che ciò implica che essa sia vera anche per un m < n, allora si è ...
Leggi Tutto
Botanica
In patologia vegetale, massa di tessuto priva di organizzazione, dovuta a proliferazione cellulare eccitata da qualche stimolo; vi rientrano anche le galle prodotte da insetti in vari organi delle [...] non basta che sovrastimolino i loro meccanismi di induzione della crescita, ma devono anche fare in modo geni.
Diagnostica
Per le diverse neoplasie sono stati proposti protocolli diagnostici volti a fornire la dimostrazione della presenza ...
Leggi Tutto
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] in simboli (alfabetici, numerici ecc.) per poter poi organizzare dimostrazioni inoppugnabili per la loro struttura e rispondenti alla e la giustificazione di principi come quello di induzione completa. Nulla però giustifica l’ammissione, neppure a ...
Leggi Tutto
di Rita Levi-Montalcini (da Enciclopedia della Scienza e della Tecnica, vol. II, 2007, pp. 177-188)
Non è azzardato affermare che la scoperta del Nerve growth factor (NGF), presto seguita dall'identificazione [...] neurotrofine dimostrano specificità di legame per recettori differenti, denominati TrkA per il NGF, TrkB per il BDNF e l'NT4 e TrkC per l prima fra tutte quella infiammatoria. L'induzione e il potenziamento della degranulazione mastocitaria ...
Leggi Tutto
Filosofia
Rapporto per il quale una conclusione deriva da una o più premesse. Nella storia della filosofia si distinguono tre principali interpretazioni di tale rapporto. Secondo la prima, esso è fondato [...] sostanziale dell’oggetto; Aristotele distingue la d. sia dalla dimostrazione, che è una forma particolare di d., sia dall’induzione, che muove da fatti particolari per giungere alla determinazione dei principi. La seconda interpretazione considera ...
Leggi Tutto
Ciascuno degli enti astratti che costituiscono una successione ordinata e che, fatti corrispondere ciascuno a ciascun oggetto preso in considerazione, servono a indicare la quantità degli oggetti costituenti [...] (postulato di induzione matematica). Si definiscono poi, con procedimento induttivo, le nozioni di somma e di prodotto; per la somma ( tutto chiarita: non si sa, per es., se esistano n. perfetti dispari. È invece dimostrato che i n. perfetti pari ...
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...