La seconda rivoluzione scientifica: matematica e logica. La matematica negli Stati Uniti
Joseph W. Dauben
La matematica negli Stati Uniti
La matematica all'inizio del secolo
All'inizio del XX sec. [...] of Naval Research (ONR) la Rees fu invitata a dirigere il suo programmamatematico. Più tardi altre branche militari crearono programmi per finanziare la ricerca scientifica, inclusa la matematica, ma l'ONR fu il primo e il più innovativo. Importante ...
Leggi Tutto
L'Ottocento: matematica. Babbage e le origini del calcolo automatico
John Fauvel
Babbage e le origini del calcolo automatico
Il calcolatore elettronico programmabile, nella sua forma attuale, è figlio [...] e attenzione per il ruolo dei simboli e della notazione matematica che investiva sia la ricerca sia l'insegnamento, tre un testo introduttivo su quella che oggi viene chiamata 'programmazione'.
Nelle sue approfondite note riguardanti l'articolo di ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'analisi numerica
Paolo Zellini
L'analisi numerica
L'analisi numerica moderna comincia a delinearsi verso la metà del XX sec., con le prime [...] , del classico progetto di fondare l'analisi sul concetto di numero intero, come intendevano i matematici di fine Ottocento e primo Novecento, ma di un programma di riduzione al numero intero per via di un calcolo approssimato effettivo, con i limiti ...
Leggi Tutto
LUINO (Luini), Francesco
Ugo Baldini
Nacque a Luino il 22 marzo 1740 da Carlo (che una fonte dice "dottore") e Maria Caterina Iugali.
Alcuni lo dissero nato a Lugano, e questa indicazione ha prevalso. [...] novembre 1788, sono in Mantova, Arch. dell'Accademia Virgiliana, Memorie di matematica, B, b. 61, nn. 8, 30); tracce dell'insegnamento del L., almeno quanto ai programmi, sono da ricercare nei documenti residui sul ginnasio mantovano (Arch. di Stato ...
Leggi Tutto
Fondamenti della matematica e teoria algoritmica dell'informazione
Gregory J. Chaitin
Ciò che possiamo dimostrare intorno ai fondamenti della matematica usando i suoi stessi metodi costituisce la metamatematica, [...] elegante teoria dell'informazione algoritmica e della casualità, una teoria della complessità in termini di lunghezza di programma per U.
La matematica è quasi-empirica?
A nostro parere i risultati di incompletezza di cui abbiamo parlato hanno molta ...
Leggi Tutto
sintassi
sintassi [Der. del gr. sy´ntaxis "organizzazione", comp. di sy´n "insieme" e táxis "sistemazione"] [ALG] [FAF] Nella logica matematica, lo studio delle proprietà e delle relazioni formali di [...] e di teorema, in quanto le regole per essi prescindono da casi o signif. specifici. ◆ [ELT] [INF] Nella tecnica dei calcolatori elettronici, insieme di regole per la corretta costruzione delle istruzioni in un linguaggio di programmazione. ...
Leggi Tutto
programma
s. m. [dal lat. tardo programma -mătis, gr. πρόγραμμα -ματος, der. di προγράϕω, propr. «scrivere prima»] (pl. -i). – 1. Enunciazione particolareggiata, verbale o scritta, di ciò che si vuole fare, d’una linea di condotta da seguire,...
simbolico
simbòlico agg. [dal lat. tardo symbolĭcus, gr. συμβολικός, der. di σύμβολον «simbolo»] (pl. m. -ci). – 1. Che ha natura e valore di simbolo: numeri, segni s.; il linguaggio s. della matematica; un atto, un gesto s.; in partic., azioni...