PRIOR, Arthur Norman
Carlo Cellucci
Filosofo e logico inglese di origine neozelandese, nato a Masterton il 4 dicembre 1914, morto a Oxford il 7 ottobre 1969. Insegnò all'università di Manchester (1959-66) [...] argomenti i tempi e come valori le proposizioni. La sua logica temporale si basa su due operatori temporali simili agli operatori modali: l'operatore P che significa ''si è dato il caso che'', e l'operatore F che significa ''si darà il caso che''. La ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1981-1990
1981-1990
1981
Il sistema operativo MS-DOS. Tale sistema, realizzato dalla Microsoft e destinato a dominare nel suo settore, è utilizzato per la prima [...] cuore artificiale in un uomo di 62 anni con un'operazione perfettamente riuscita. A differenza di altri interventi di questo una molecola d'acqua. Tale idea consente di rivisitare la logica e la teoria della dimostrazione da un punto di vista ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] scelte, a cura di U. Cassina, 2° vol., Roma 1958, pp. 20-55.
G. Peano, I principii di geometria logicamente esposti, Torino 1889, poi in Id., Opere scelte, a cura di U. Cassina, 2° vol., Roma 1958, pp. 56-91.
G. Peano, Osservazioni del Direttore sull ...
Leggi Tutto
operatore
operatóre s. m. [dal lat. tardo operator -oris]. – 1. (f. -trice) a. Chi opera, chi compie determinate azioni o operazioni, per lo più abitualmente. Raro in usi generici: o. del male; o. di incantesimi; o. d’inganni; e ant. con il...
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...