LOGICA MATEMATICA
Aldo Marruccelli
Alberto Pasquinelli
(XXI, p. 398; App. II, 11, p. 226; III, 1, p. 999).
Princìpi di logica matematica.
È opportuno premettere all'articolo che dà notizia dei progressi [...] . - Per passare alla semantica della logica si fissa un "universo" α e si stabilisce l'"interpretazione" del linguaggio in quell'universo. Per interpretazione s'intende un'applicazione dei simboli dell'alfabeto nell'insieme unione di α, con l'insieme ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] iniziali dei nomi dei matematici che l'hanno ideata.
Il linguaggio FORTRAN. Nasce in questo anno presso l'IBM, a opera di energia anche lontane dal livello di Fermi e l'interpretazione delle proprietà ottiche dei solidi.
Introdotto il concetto di ...
Leggi Tutto
La scienza presso le civilta precolombiane. Pratiche di calcolo nell'antica Mesoamerica
John S. Justeson
Pratiche di calcolo nell'antica Mesoamerica
La matematica mesoamericana si è sviluppata al di [...] il numero passa attraverso la sua rappresentazione nel linguaggio (Hurford 1987). In tutto il mondo, i in senso linguistico, non ci sono cifre mancanti. Si possono interpretare queste date nel seguente modo (tra parentesi quadrate le date dell ...
Leggi Tutto
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] e per il resto più simili a w°. □A è definibile in questo linguaggio come ∉A□→A. Una semantica formale per questo calcolo è data da modelli e logica modale sono complessi. Sia A* la traduzione che interpreta A come □A nel senso 'A è dimostrabile nell' ...
Leggi Tutto
linguaggio
linguàggio s. m. [der. di lingua]. – 1. Nell’uso ant. o letter., e talora anche nell’uso com. odierno, lo stesso che lingua, come strumento di comunicazione usato dai membri di una stessa comunità: parlare con proprietà di l.; Questi...
interpretazione
interpretazióne (tosc. o letter. interpetrazióne) s. f. [dal lat. interpretatio -onis, lat. pop. interpetratio]. – 1. L’atto e, più spesso, il modo d’interpretare, cioè, in genere, di scoprire e spiegare quanto in uno scritto...