La civilta islamica: antiche e nuove tradizioni in matematica. Aritmetica
Pascal Crozet
Aritmetica
Se ciò che in questa sede intendiamo per aritmetica si ricollega in generale al calcolo con quantità [...] si ha notizia. In particolare sembra che a partire da quest'opera si sia formata tutta una tradizione che raggiungerà la piena maturità che questi materiali sono esterni e ⟨i materiali dei problemi logici> sono di ordine intellettuale. È ciò di cui ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] . Dai lavori di Kurt Gödel degli anni Trenta era noto che la teoria logica degli interi con le operazioni + e × è indecidibile; ciò lasciava aperta la ricerca di sottoteorie decidibili. Un primo risultato era stato ottenuto da Thomas Pressburger ...
Leggi Tutto
Programmazione lineare
Robert Dorfman
di Robert Dorfman
Programmazione lineare
Introduzione
La programmazione lineare è una famiglia di metodi matematici per individuare i modi più redditizi o in [...] attualmente numerosi programmi per calcolatore che eseguono automaticamente questa operazione a una velocità soddisfacente.
Chiarite queste nozioni di base, possiamo illustrare la logica applicata dai computer per risolvere un problema standard di ...
Leggi Tutto
Numeri
Umberto Zannier
Quanti? Quanto? Quando? A che distanza? Domande a cui rispondiamo, di solito, con numeri. Di essi facciamo continuo uso, e l’importanza concettuale, oltre che pratica, della nozione [...] non tentiamo nemmeno di giustificare.
Un’argomentazione logica ne mostra l’equivalenza con un altro principio un triangolo rettangolo, suggerisce l’estrazione di radice quadrata come quinta operazione, allo scopo di ottenere
da a e b; ebbene, già ...
Leggi Tutto
DE GIORGI, Ennio
Enrico Moriconi
Nacque l’8 febbraio del 1928 a Lecce figlio di Nicola e di Stefania Scopinich.
La madre proveniva da una famiglia di navigatori di Lussino, mentre il padre era insegnante [...] notevole delle sue ricerche fu dedicata alla logica e alla teoria dei fondamenti.
Seguendo la De Giorgi e Sergio Spagnolo dedicato alla Convergenza degli integrali dell’energia per operatori ellittici del secondo ordine (in Bollettino dell’U.M.I., n. ...
Leggi Tutto
ENRIQUES, Federigo
Giorgio Israel
Nacque a Livorno il 5 genn. 1871 da Giacomo e da Matilde Coriat.
La famiglia si trasferi a Pisa, dove egli frequentò le scuole secondarie. Già qui manifestò la sua [...] che internazionale. Degni di menzione sono in tali settori. oltre a quelle già citate, le seguenti opere: Per la storia della logica, Bologna 1922 (trad. franc., Paris 1925); Storia del pensiero scientifico, I, L'antichità, in collaborazione con ...
Leggi Tutto
L'Ottocento: matematica. Algebra della logica
Massimo Mugnai
Algebra della logicaLogica e matematica: pensare e calcolare
Sia nell'Antichità sia durante il Medioevo, la logica e la matematica si configurano [...] ) non è l'unica possibile. I simboli possono essere usati per designare in modo altrettanto legittimo operazionilogiche e concetti generali (classi di oggetti qualsiasi). Ciò, sostiene Boole, sanziona l'avvenuta evoluzione della matematica ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria dei sistemi e controllo
Mark Aizerman
Teoria dei sistemi e controllo
La teoria del controllo si è formata, come campo di ricerca indipendente, [...] metodi di frequenza alla teoria del controllo e ai circuiti logici e, ancora più importante, per la prima volta considerava il :
[1] D(p)x*=K(p)f(t),
dove p=d/dt è l'operatore di derivazione rispetto a t e D(p) e K(p) sono polinomi con coefficienti ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] Egli iniziò notando che i numeri naturali sono generati a partire dallo 0, mediante l'operazione S (detta successore) tale che S(x)=x+1:
[1] 0, S 'affermazione che le attività cerebrali di natura logica o deduttiva si possono simulare mediante un ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia
Ettore Casari
La scuola di Leopoli-Varsavia
Gli inizi
La singolare vicenda intellettuale divenuta nota come 'Scuola [...] vi fu, accanto alla pubblicazione dei teoremi gödeliani di completezza e compattezza della logica elementare e della sistemazione formale a opera di Arend Heyting delle idee brouweriane, l'autentico insediamento sulla scena internazionale della ...
Leggi Tutto
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...
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...