BELLI, Silvio
Franco Barbieri
Nacque a Vicenza, in anno non precisabile, ma con tutta probabilità tra la fine del primo e l'inizio del secondo decennio del sec. XVI, da un Francesco Belli "rasoniero" [...] , 29, 34, 35, 37, nei quali si colgono, in prospetti di palazzi o in idee di campanili, elementi di una sintassi rinascimentale un po' arcaica, sulla falsariga dei "lombardeschi" attivi a Vicenza tra Quattro e Cinquecento o, tutt'al più, dei maestri ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. Le discipline matematiche
Menso Folkerts
Richard P. Lorch
Anne Tihon
Le discipline matematiche
La matematica nell'Europa latina
di [...] non interi] è difficile, non solamente da trovare, ma anche da utilizzare. È per questo che si riscontra che la Sintassi di Tolomeo non viene compresa fino a oggi, per quanto sia possibile apprenderla dai commenti pubblicati che sono arrivati fino a ...
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 [...] , orientato al calcolo scientifico e pensato per essere universale, cioè eseguibile su ogni tipo di computer. La descrizione della sintassi è formalizzata mediante la forma normale di John W. Backus e sarà un modello per tutti i linguaggi successivi ...
Leggi Tutto
segno Fatto, manifestazione, fenomeno da cui si possono trarre indizi, deduzioni, conoscenze ecc. Qualsiasi oggetto o più spesso figura che sia convenzionalmente assunta come espressione e rappresentazione [...] la distinzione proposta da Morris a partire dal suo Foundations of the theory of signs (1938) della teoria dei s. in sintassi, semantica e pragmatica, intesa come analisi e studio della situazione in cui il s. viene usato, indagine sul rapporto tra s ...
Leggi Tutto
Affermazione, proposizione, tesi, opinione che, per il suo contenuto o per la forma in cui è espressa, appare contraria all’opinione comune o alla verosimiglianza e riesce perciò sorprendente o incredibile. [...] . A. Tarski, nel 1930, dimostrò che non è possibile in generale definire il concetto semantico di verità all’interno della sintassi di una teoria elementare e finalmente risolse così in forma, a quanto pare, definitiva l’antico p. del mentitore. Egli ...
Leggi Tutto
METAMATEMATICA
Alberto Pasquinelli
Aldo Marruccelli
. Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] , 1928, pp. 48-52; H. B. Curry, Outlines of a formalist philosophy of mathematics, Amsterdam 1958; R. Carnap, Sintassi logica del linguaggio (trad. it., a cura di A. Pasquinelli), Milano 1961; E. Agazzi, Introduzione ai problemi dell'assiomatica ...
Leggi Tutto
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] introdotto da A. Robinson (1965). Per introdurre i concetti fondamentali di quest'ultima occorre formulare anzitutto la sintassi delle clausole del calcolo dei predicati del primo ordine.
Supponiamo data una successione infinita di simboli distinti ...
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 [...] algebrica si sia dimostrata utile nella ricerca metamatematica, essa costituisce ‒ per così dire ‒ solamente la versione algebrica della sintassi, come testimonia il fatto che l'IPC stessa può essere trasformata in un'algebra di Heyting (l'algebra di ...
Leggi Tutto
Chimica
Generalità
L’a. chimica si occupa dei metodi che permettono di determinare la composizione chimica di un campione. Genericamente ha il significato di scissione in elementi più piccoli e loro esame, [...] ricerca le costanti e gli scarti delle armonie e delle melodie. L’ a. informatica ritiene la musica un tipo di sintassi basato sulle probabilità di occorrenza di ogni elemento rispetto all’elemento precedente; l’indice di una composizione manifesta l ...
Leggi Tutto
MATEMATICA
Federico Enriques
Matematica, o matematiche (gr. τὰ μαϑηματικά da μάϑημα "insegnamento") significa originariamente "disciplina" o "scienza razionale". Questo significato conferirono alla [...] sotto gli ‛Abbāsidi, a Baghdād da essi fondata (762). Quivi furono tradotti gli Elementi d'Euclide e la Sintassi di Tolomeo, poi Diofanto, Erone, Archimede, Apollonio, ecc. Nello stesso tempo s'incominciarono a tradurre le opere astronomiche ...
Leggi Tutto
sintassi
s. f. [dal gr. σύνταξις «associazione, organizzazione», comp. di σύν «con, insieme» e τάξις «sistemazione»]. – 1. Nella linguistica descrittiva, una delle quattro parti tradizionali della descrizione linguistica, che ha per oggetto...
sintano
s. m. [dall’ingl. syntan, comp. di syn(thetic) «sintetico» e tan(ning) «concia»]. – In chimica organica, nome generico di prodotto sintetico idrosolubile sostitutivo dei materiali vegetali concianti, generalm. ottenuto per condensazione...