La seconda rivoluzione scientifica: matematica e logica. Calcolo delle variazioni
Craig Fraser
Mario Miranda
Calcolo delle variazioni
Tra il 1870 e il 1920 si assiste al consolidamento degli argomenti [...] della condizione sufficiente con una sensibilità logica più profonda dei suoi predecessori e Si consideri il problema variazionale generale di massimizzare o minimizzare
Nella teoria classica vi sono restrizioni su δy(k), per k=1,2,…,n, ...
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 [...] traduce nell'affermazione che le attività cerebrali di natura logica o deduttiva si possono simulare mediante un computer. Norbert ricorsiva, che mostra quanto essa possa scostarsi dall'analisi classica, è che ogni funzione ricorsiva di numeri reali è ...
Leggi Tutto
Fuzzy
Settimo Termini
L'aggettivo fuzzy − che potrebbe essere reso in italiano con sfocato o sfumato ma solitamente non viene tradotto − è usualmente associato a sostantivi quali insieme, logica, sistema.
L'aspetto [...] del suo programma di innovazione: esso, per la parte logica, è più interessato a rafforzare il legame della teoria con seguenti :
a) h(f)=0 se e solo se f è una funzione caratteristica classica.
b) h(f) raggiunge il suo valore massimo se e solo se f=f ...
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. [...] con evidenza il ruolo cruciale che Peano assegnava alla logica matematica, in grado di esprimere in forma simbolica e per via assiomatica, tutte le teorie classiche.
Il saggio in latino classico Arithmetices principia nova methodo exposita è la più ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Giovanni Girolamo Saccheri
Vincenzo De Risi
Il matematico Girolamo Saccheri è considerato il primo scopritore (seppure suo malgrado) delle geometrie non euclidee. Nella sua opera principale, Euclides [...] a nome di Saccheri nel 1701 (sulle varie edizioni della Logica cfr. Pagli 2009).
I contenuti della Logica demonstrativa sono piuttosto classici e si adattano alla didattica della logica aristotelica nei collegi gesuitici; in particolare, l’opera di ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Il calcolo geometrico
Paolo Freguglia
Gert Schubring
Il calcolo geometrico
Quando pubblicò il trattato Die lineale Ausdehnungslehre (La teoria [...] operazioni della logica deduttiva, un'opera di cruciale importanza anche per la storia della logica. In negli anni Venti del XX sec. ne fondarono i metodi nella loro forma classica. Negli stessi anni élie Cartan (1869-1951), che aveva presentato al ...
Leggi Tutto
numero
nùmero [Der. del lat. numerus] [LSF] Oltre che nei vari signif. propri della matematica, alcuni dei quali sono ricordati oltre, il termine è usato in varie discipline fisiche anche come sinon. [...] x e y sono uguali; (e) se per ogni n. naturale x è data una relazione logica φ(x) e se φ(0) è vera e la verità di φ(x) implica quella di inversi dei n. primi è divergente. Si studia, infine, la classica funzione π(x) pari al n. dei n. primi non ...
Leggi Tutto
CONFORTO, Fabio
Francesco Saverio Rossi
Nato a Trieste nel 1909 da Ruggero e Irene Vascotto, quando la città era ancora parte integrante dell'Impero austro-ungarico, visse gli anni dell'infanzia, a [...] inflessa scrisse alcuni lavori interessanti nei quali esaminò la classica equazione di Clapeyron dei tre momenti nell'ipotesi della valore testi scolastici, enciclopedie, opere di logica matematica e di logica della scienza. Altri scritti di carattere ...
Leggi Tutto
variabile
variàbile [agg. e s.f. Der. del lat. variabilis, da variare "variare"] [ANM] Di una quantità che può assumere valori in un certo insieme numerico, o, più in generale, di un simb. che rappresenta [...] [ASF] V. veloci: v. Sistema Solare: V 279 f. ◆ [FAF] V. vincolata: quella sottoposta a un quantificatore: v. logica: III 484 d. ◆ [PRB] Componenti di una v. casuale: v. probabilità classica: IV 584 f. ◆ [PRB] Convergenza di v. casuali: v. probabilità ...
Leggi Tutto
operatore
operatóre [Der. del lat. operator -oris "che compie operazioni" (→ operazione)] [ALG] [ANM] Ente che determina un'operazione da eseguirsi su un altro ente, quindi simb. di un'operazione o, [...] binario simbolo dell'addizione. ◆ [ANM] [FAF] O. densità: v. logica quantistica: III 487 b.◆ [ALG] O. di campo: o. relativo a che quantifica le proprietà di un campo vettoriale: v. campi, teoria classica dei: I 471 d. ◆ [ALG] Indice analitico di un o ...
Leggi Tutto
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
tautologia
tautologìa s. f. [dal gr. ταὐτολογία, comp. di ταὐτο- «tauto-» e -λογία «-logia»]. – 1. a. Nella logica formale classica, termine usato per qualificare negativamente ogni proposizione la quale, proponendosi di definire qualcosa,...