La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] metodo del grande crivello introdotto da Linnik con quello del classico crivello di Brun, dimostra che ogni numero pari è somma cioè, esiste un algoritmo che, data una formula della logica del primo ordine nel linguaggio di tali strutture, stabilisce ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] della correttezza di un programma, sia come metodo di specifica e sviluppo di un programma corretto.
Una classica asserzione di correttezza parziale della logica di Hoare si presenta nel seguente modo:
[1] {φ} p {ψ}
(se prima dell'esecuzione del ...
Leggi Tutto
Scienza greco-romana. Nascita delle scienze e relazioni tra discipline
Giuseppe Cambiano
Nascita delle scienze e relazioni tra discipline
Sapere globale e distinzioni tra discipline
Nella Grecia antica, [...] parti in cui si articola la filosofia, accanto alla logica e all'etica.
Modalità di trasmissione del sapere
con continuità ed energia. Sappiamo che ciò non avvenne nella Grecia classica, ma una soluzione di ripiego in questo senso dovette apparire l ...
Leggi Tutto
La scienza bizantina e latina. Introduzione
John D. North
Introduzione
Gli storici della scienza medievale che tentino d'individuare il nome del primo esponente moderno della loro disciplina rischiano [...] essere necessariamente aristotelico ‒ e non sempre lo fu. Non tutti i logici del tempo, per ricordare un esempio classico, erano soddisfatti della logica aristotelica, e da Anselmo ai terministi del Tardo Medioevo introdussero sottili innovazioni ...
Leggi Tutto
GRANDI, Guido
Ugo Baldini
Nacque a Cremona il 10 ott. 1671 da Pietro Martire, ricamatore in oro, e Caterina Legati. Battezzato con il nome di Francesco Lodovico, lo mutò in Guido quando entrò tra i [...] corso filosofico (privo della matematica) il G. seguì solo la logica, perché verso il Natale del 1687, forse per l'esempio contatto - e i suoi allievi restavano ai metodi della geometria classica e di B. Cavalieri). Con la matematica pura coltivò le ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola di geometria algebrica italiana
Alberto Conte
Ciro Ciliberto
La scuola di geometria algebrica italiana
Gli inizi: Luigi Cremona e [...] più raffinati strumenti algebrici a disposizione, si è data alla geometria numerativa una solida base, vari problemi affrontati dai classici sono stati riconsiderati e risolti, molte delle loro vedute sono stare riprese e ne sono stati messi in luce ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Gabriele Lolli
La teoria degli insiemi
La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] delle funzioni ma, per non limitarsi alla parte classica, era necessario presentare "in modo elementare, certe ricondotti alla teoria degli insiemi, che dal punto di vista logico appare come la fondazione appropriata per la scienza matematica".
Weyl ...
Leggi Tutto
Previsione
Italo Scardovi
di Italo Scardovi
Previsione
La previsione nella scienza
Da sempre l'uomo s'interroga sul futuro. Da sempre cerca nei dati del mondo i segni di ciò che l'aspetta. Tra intuizioni [...] per questo il pensiero scientifico ha rinunciato all'ideale classico del conoscere per prevedere. Ha dato piuttosto alla tentativo di legare i fatti tra loro, di dare una parvenza logica all'abitudine di indurre l'ignoto dal noto, il futuro dal ...
Leggi Tutto
La scienza bizantina e latina prima dell'influsso della scienza araba. Aritmetica e geometria
Menso Folkerts
Aritmetica e geometria
Le discipline matematiche del quadrivio
Tra il 500 e il 1100 ca., [...] riuscì comunque a tradurre in latino importanti testi greci di logica e di scienze naturali: le Categoriae di Aristotele, con in Epafrodito e Vitruvio Rufo.
Rispetto alla cultura classica greca, erano evidentemente mutate le opinioni relative alla ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. Galilei e la geometria del moto accelerato
Enrico Giusti
Galilei e la geometria del moto accelerato
Tra l'impressionante numero di testi scientifici, [...] fatto Galilei quasi trent'anni prima, Cavalieri compie una piroetta logica e conclude:
Ma con qual proporzione cresce la velocità del che coinvolgano il confronto di moti a tempi uguali. Il più classico di questi è la 'legge dei numeri dispari': "gli ...
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,...