Cerca in:
La seconda rivoluzione scientifica: matematica e logica. L'economia matematica 1870-1950
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. L'economia matematica 1870-1950
Angelo Guerraggio
L'economia matematica 1870-1950
Di matematica sociale comincia a parlare Condorcet nella Francia [...] delle Scienze e nel 1960 si terrà il primo convegno sull'impiego dei metodi matematici in economia e nella pianificazione.
Il 'padre' della programmazione lineare in Occidente è Dantzig che, durante la guerra, lavora al Pentagono come esperto ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
La seconda rivoluzione scientifica: matematica e logica. Teoria dei sistemi e controllo
Storia della Scienza (2004)
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, [...] primo lavoro scientifico nel quale si usò un metodo matematico per analizzare l'interazione di un controllore e di impostati in questo modo, metodo che fu poi chiamato 'di programmazione dinamica'. Il lavoro di Bellmann stimolò la pubblicazione di un ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
La seconda rivoluzione scientifica: matematica e logica. Calcolo delle variazioni
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. Calcolo delle variazioni
Craig Fraser
Mario Miranda
Calcolo delle variazioni
Tra il 1870 e il 1920 si assiste al consolidamento degli argomenti [...] Cinquanta, la teoria del controllo ottimo e della programmazione dinamica.
Il problema della condizione sufficiente
di Craig degli studi di Adrien-Marie Legendre del 1786 i matematici supponevano che l'equazione variazionale per un dato problema ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsività
Storia della Scienza (2004)
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 [...] numeri. In altri termini, il teorema di Gödel afferma che la verità matematica non può essere compressa né in sistemi assiomatici, né in programmi di computer.
I programmi dei computer definiscono funzioni mediante metodi di calcolo. Poiché però tali ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
logica matematica
Enciclopedia dei ragazzi (2006)
logica matematica
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 [...] V
V F F
F V V
F F V
La logica matematica ha regole ferree, spesso trascurate nel linguaggio quotidiano. Quando si del funzionamento dei moderni computer (linguaggi di programmazione).
La logica dei proverbi
I proverbi sono ...
Leggi Tutto
CATEGORIA:
LOGICA
lambda-calcolo
Enciclopedia della Scienza e della Tecnica (2008)
lambda-calcolo
Silvio Bozzi
Presentato per la prima volta da Alonzo Church nel 1932 come frammento di un più ampio sistema (poi dimostratosi contraddittorio) per la fondazione della matematica, il λ-calcolo [...] veste esso ha oggi un grande interesse tanto nella logica matematica (teoria dei tipi, teoria delle funzioni e dei funzionali base per la formulazione e lo studio di linguaggi di programmazione. L’idea alla base delle diverse formulazioni è quella ...
Leggi Tutto
CATEGORIA:
LOGICA
linguaggio
Dizionario delle Scienze Fisiche (1996)
linguaggio
linguàggio [Der. di lingua] [LSF] Il mezzo con cui gli uomini si scambiano reciprocamente informazioni; tale scambio, i cui veicoli (vocaboli) sono simboli di significato noto agli interlocutori, [...] detti anche l. formali o formalizzati, che nella logica matematica sono alla base delle varie teorie logiche; sono costruiti I 343 a. ◆ [ELT] [INF] L. simbolico: v. linguaggi di programmazione: III 424 e. ◆ [ELT] [INF] L. speciale di simulazione: v. ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
ALGEBRA
–
EPISTEMOLOGIA
–
METAFISICA
–
ELETTRONICA
Kantorovič, Leonid Vital´evič
Enciclopedia on line
Matematico ed economista russo (Pietroburgo 1912 - Mosca 1986). Vincitore nel 1975 (con l'economista statunitense di origine olandese T. Ch. Koopmans) del premio Nobel per le scienze economiche per i suoi [...] delle risorse, è particolarmente noto per aver ideato (1939) una tecnica matematica per la soluzione del problema delle scelte, simile alla programmazione lineare, elaborata indipendentemente qualche anno dopo e perfezionata da T. Ch. Koopmans ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
sostegno
Enciclopedia on line
sostegno agraria Viene chiamato s. (o tutore) ogni elemento utilizzato per sostenere le piante, particolarmente quelle giovani e quelle scandenti, o per proteggerle dall’azione meccanica del vento e della [...] di programmazione e verifica. L’integrazione comporta, tra l’altro, la programmazione di contenuti disciplinari previsti; disposizioni particolari riguardano lo svolgimento degli esami. matematica S. di una forma L’ente geometrico sul quale è definita ...
Leggi Tutto
matematica, economia
Enciclopedia on line
In senso lato, lo studio dei problemi economici con il ricorso allo strumento matematico; in senso stretto, l’indirizzo di pensiero economico (scuola matematica) che configura i sistemi economici come [...] , corrente di pensiero che combina insieme analisi economica, statistica e matematica e ha consentito l’analisi delle interdipendenze settoriali, gli studi sulla programmazione lineare e una più rigorosa impostazione dei problemi relativi alla ...
Leggi Tutto