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 [...] geometrico secondo l'Ausdehnungslehre di H.Grassmann preceduto dalle operazioni della logica deduttiva, un'opera di cruciale importanza anche per la storia della logica. In questo fondamentale lavoro, Peano presenta con elementi di originalità e ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La statistica metodologica
Domenico Costantini
La statistica metodologica
La statistica metodologica è la disciplina che, sulla scorta della [...] ∣I∧S) la verosimiglianza di I e P(D∣S) è una costante di normalizzazione.
La [7] mostra la struttura logica di una stima statistica. Con ciò intendiamo affermare che operare una stima siffatta significa determinare la probabilità finale di un'ipotesi ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Equazioni differenziali ordinarie
Jean Mawhin
Equazioni differenziali ordinarie
Accanto a sostanziali progressi nella teoria delle equazioni [...] differenziali ordinarie lineari, sulle quali non ci dilunghiamo, nel periodo 1880-1950 si assiste alla nascita della teoria delle equazioni differenziali non lineari e alla scoperta delle principali tecniche ...
Leggi Tutto
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 [...] in termini analitici chiari ed espliciti.
Weierstrass affrontò la questione della condizione sufficiente con una sensibilità logica più profonda dei suoi predecessori e introdusse esplicitamente la distinzione moderna tra condizione necessaria e ...
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 [...] da un computer. Per quanto riguarda il cervello, essa si traduce nell'affermazione che le attività cerebrali di natura logica o deduttiva si possono simulare mediante un computer. Norbert Wiener (1894-1964) e Turing hanno addirittura lasciato cadere ...
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 [...] a sistemi più forti. L'immersione di Gödel è formulata per l'aritmetica, ma è evidente la possibilità di adattarla alla logica predicativa. Nella versione di Gentzen formule prime P sono per la prima volta sostituite da ¬¬P e gli operatori …⋁… e ∃x ...
Leggi Tutto
Couturat
Couturat Louis (Parigi 1868 - Ris-Orangis, Essonne, 1914) matematico francese, studioso di logica e dei fondamenti della matematica. Si laureò all’École normale supérieure nel 1892. La sua tesi [...] Opuscoli e frammenti inediti di Leibniz,1903). Nel 1905 pubblicò, inoltre, l’Algèbre de la logique (Algebra della logica). Sostenitore della nuova logica di G. Peano e di B. Russell, ebbe una celebre disputa con H. Poincaré, il quale invece avversava ...
Leggi Tutto
connettivi, sistema minimo di
connettivi, sistema minimo di o base di connettivi, in logica, insieme minimo di connettivi adeguato a esprimere, in virtù di proprietà di equivalenza logica tra forme enunciative, [...] tutti gli abituali connettivi utilizzati in logica. È tradizionalmente costituito dalla negazione (￢) e da uno qualsiasi dei connettivi ∨, ∧, ⇒, ma sono possibili ulteriori riduzioni, per le quali si vedano: → enunciati, linguaggio degli; → Sheffer, ...
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,...
logicismo
s. m. [der. di logica, logico1]. – 1. a. In senso ampio, ogni dottrina che pone la logica a fondamento della filosofia, o le assegna comunque un posto preponderante in questa disciplina. b. In filosofia della matematica, indirizzo...