Logica matematica
Abraham Robinson
*La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] numeri naturali. Esso è denotato dal simbolo ℵ0, dove il segno ℵ - che si legge ‛alef' - è la prima lettera dell'alfabeto ebraico. ℵ0 è anche il numero cardinale ℵ dell'insieme dei numeri razionali e anche dell'insieme di tutti i numeri algebrici, ma ...
Leggi Tutto
compattezza logica proprietà di una classe di modelli M tale che, comunque sia preso un insieme infinito di enunciati E, questo ha un modello in M se e solo se ha un modello in M ogni sottoinsieme finito di enunciati di E. Il teorema di compattezza afferma che un insieme di enunciati Γ ammette un modello ... ...
Leggi Tutto
Parte della logica strutturata in un sistema di calcolo formale, elaborata soprattutto in età contemporanea.
Sintassi e semanticaLe espressioni di un discorso deduttivo possono essere considerate o sintatticamente, cioè formalmente come oggetti grafici combinabili tra loro, o semanticamente, cioè ... ...
Leggi Tutto
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono essere considerate formalmente come oggetti grafici combinabili tra loro (sintassi) o in relazione ... ...
Leggi Tutto
Silvio Bozzi
Pur potendo vantare come erede della logica formale un'origine risalente almeno ad Aristotele, come disciplina scientifica la logica matematica è un acquisto recente. Possiamo far risalire la sua data di nascita al massimo alla metà dell'Ottocento, con i lavori di George Boole sull'analisi ... ...
Leggi Tutto
Walter Maraschini
Simboli per ragionare correttamente
Quando due amici discutono non sempre sono d’accordo: possono avere intenzioni e gusti diversi, oppure opinioni contrastanti sul mondo o su altre persone. Ma esiste un criterio oggettivo per affermare chi ha ragione e chi torto? Se parliamo di calcolo ... ...
Leggi Tutto
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 verificatisi nell'ambito della l. m. nell'ultimo quindicennio una sintesi dei princìpi fondamentali della l. m. medesima, ... ...
Leggi Tutto
(XXI, p. 398; App. II, 11, p. 226)
Alberto PASQUINELLI
Ludovico GEYMONAT
MATEMATICA Il recente sviluppo della l. m. è caratterizzato da un ulteriore consolidamento istituzionale e da particolari estensioni, da una generale accentuazione del rigore e da ricorsi a nuove procedure. L'impostazione linguistica, ... ...
Leggi Tutto
(XXI, p. 398)
Ludovico GEYMONAT
MATEMATICA Negli ultimi decennî si è notevolmente sviluppata in direzioni assai diverse.
L'indirizzo di Peano. - L'uso del simbolismo di G. Peano, che pareva aver ricevuto la più larga applicazione possibile nella 5ª edizione del Formulario di Matematica (1908), si ... ...
Leggi Tutto
Beppo LEVI
*
. Logica matematica ovvero logistica o logica simbolica o algebra della logica o logica teorica o logica della matematica sono termini fra loro parzialmente equivalenti, per indicare sfumature e svolgimenti diversi di una dottrina il cui nascimento si può, per motivi diversi, far risalire ... ...
Leggi Tutto
Scienza greco-romana. Scienza e istituzioni nella Tarda Antichita
Ilsetraut Hadot
Scienza e istituzioni
La matematica
Le quattro scienze matematiche ‒ aritmetica, geometria, astronomia e musica, riunite [...] nel corso del VI sec.) e in arabo (nel corso del IX sec.), poi dall'arabo in latino e dal latino in ebraico. I commenti di Galeno a Ippocrate, che esercitarono dunque una forte influenza sulla medicina araba e sul Medioevo latino, sono importanti ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Geometria: la tradizione euclidea rivisitata
Pascal Crozet
Geometria: la tradizione euclidea rivisitata
Introduzione
Fin dai primi sviluppi [...] di questo tipo di problemi composti da autori come Abū 'l-Wafā᾽ al-Būzǧānī (in arabo), ᾽Avrāhām bar Ḥiyya (in ebraico), e Leonardo Fibonacci, Giordano Nemorario o Luca Pacioli (in latino), i quali testimoniano l'esistenza di una tradizione reale.
Per ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Scienza e filosofia nel tardo-ellenismo
Gerhard Endress
Scienza e filosofia nel tardo-ellenismo
La cultura urbana dell'Islam è erede della [...] (590-628), Ābā di Kashgari si fece un nome come conoscitore del greco e del persiano nonché del siriaco e dell'ebraico e praticò sia la medicina sia l'astronomia. Nello stesso ambito furono anche tradotti in siriaco da versioni medio-persiane alcuni ...
Leggi Tutto
ebraico
ebràico agg. e s. m. [dal lat. tardo hebraĭcus, gr. tardo ἑβραϊκός] (pl. m. -ci). – Degli Ebrei, che appartiene o si riferisce agli Ebrei: la storia, la civiltà, la religione, la letteratura ebraica. Alfabeto e., l’alfabeto adoperato...
ebraicista
(o ebraista) s. m. e f. [der. di ebraico] (pl. m. -i). – Conoscitore, studioso della lingua ebraica, o, più genericam., esperto di storia, cultura, tradizioni e costumi ebraici.