Informatica
Guido Martinotti
Introduzione
Il termine 'informatica', entrato ormai nell'uso quotidiano della lingua italiana, è di origine francese, circostanza che spiega, forse, la sua scarsa diffusione [...] astronomo di Heidelberg, nel 1642 - quasi certamente per via indipendente - da Blaise Pascal e nel 1673 da GottfriedWilhelmLeibniz, che costruì una macchina dedicata alla semplificazione dei calcoli astronomici e in grado di effettuare tutte e ...
Leggi Tutto
L'Ottocento: fisica. Meccanica dei continui e dei sistemi discreti
Craig G. Fraser
Meccanica dei continui e dei sistemi discreti
Origine dei concetti di sforzo e di deformazione
La teoria matematica [...] che queste forze agissero alle estremità della barra curvandola.
Riguardo al problema della rottura, ricercatori come GottfriedWilhelmLeibniz, Pierre Varignon e Antoine Parent ottennero risultati che si possono facilmente interpretare in termini di ...
Leggi Tutto
Intelligenza artificiale
Francesco Amigoni
Viola Schiaffonati
Marco Somalvico
L’intelligenza artificiale è una disciplina recente che negli anni ha fornito un importante contributo al progresso dell’intera [...] e all’avvento dei primi calcolatori elettronici. Si citano inoltre Charles Babbage e la sua macchina analitica, GottfriedWilhelmLeibniz e il suo progetto di meccanizzare la ragione, risalendo fino alla macchina logica di Raimondo Lullo e agli ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Algebra e linguistica. Gli inizi dell'analisi combinatoria
Roshdi Rashed
Algebra e linguistica. Gli inizi dell'analisi combinatoria
Intorno [...] (1654-1705), pubblicato postumo, a Basilea, nel 1713; e infine la Dissertatio de arte combinatoria di GottfriedWilhelmLeibniz (1646-1716). La ricerca sulle combinazioni trae origine dal neonato calcolo delle probabilità (che si presenta dapprima ...
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 [...] un'interpretazione semantica delle modalità, pur sapendo che una semplice chiave interpretativa era già stata suggerita da GottfriedWilhelmLeibniz nel Settecento: sono necessarie quelle proposizioni che sono vere comunque vada il mondo, e cioè vere ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La teoria della misura
Maurice Sion
La teoria della misura
Con la nozione matematica di misura si vogliono analizzare concetti che si riferiscono [...] del sistema numerico. Nella seconda metà del XVII sec., con il calcolo integrale di Isaac Newton (1643-1727) e GottfriedWilhelmLeibniz (1646-1716), venne formulata una teoria più sistematica e completa. In tale teoria il grafico di una funzione f ...
Leggi Tutto
L'Ottocento: matematica. Metodi del calcolo numerico
Dominique Tournès
Metodi del calcolo numerico
Prima del 1870 l'analisi numerica non si era ancora sviluppata come disciplina autonoma; esisteva [...] più semplici, moltiplicazione e divisione per le più elaborate. Le prime, come quelle di Wilhelm Schickard (1623), Blaise Pascal (1642) o GottfriedWilhelmLeibniz (1674), erano state costruite in alcune decine di esemplari riservati a pochi fruitori ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Claudio Fiocchi
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Scienziato e filosofo, Leibniz ha esercitato (e continua a esercitare) un’influenza [...] questo problema, cerca di differenziare vari concetti di materia, ma le soluzioni a cui perviene rimangono oscure.
GottfriedWilhelmLeibniz
Filalete e Teofilo discutono sui termini
Nuovi saggi sull’intelletto umano
I termini generali
§ I. FILALETE ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Claudio Fiocchi
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
In età cartesiana il momento decisivo del dibattito sul male è rappresentato da Bayle [...] . Nei decenni successivi, infatti, i suoi argomenti costituiranno un formidabile arsenale critico.
Già il titolo dell’opera di GottfriedWilhelmLeibniz (1646-1716) Saggi di teodicea sulla bontà di Dio, la libertà dell’uomo e l’origine del male ...
Leggi Tutto
Per lingua inventata si intende una lingua artificiale, provvista di proprie regole sintattiche (descritte o meno) e proprio lessico (inventariato o meno). Sono state inventate lingue artificiali per motivi [...] di autori come Comenio (1592-1670), René Descartes (1596-1650), John Wilkins (1614-1672) e GottfriedWilhelmLeibniz (1646-1716).
Nelle alterne vicende di questa ricerca plurisecolare ricorrono due esigenze fondamentali: la comprensibilità universale ...
Leggi Tutto