La seconda rivoluzione scientifica: matematica e logica. Equazioni differenziali alle derivate parziali
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. Equazioni differenziali alle derivate parziali
Haïm Brezis
Felix Browder
Equazioni differenziali alle derivate parziali
Lo studio delle equazioni [...] F(u)=f ha un'unica soluzione in un intorno di u0, per ogni f in un intorno di f0=F(u0).
Un programma tendente a estendere questo risultato quando F'(u0) non è invertibile, detto 'teoria della biforcazione', ebbe origine dai lavori di Ljapunov (1906 ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
La Rivoluzione scientifica: i domini della conoscenza. L'aristotelismo e le sue alternative
Storia della Scienza (2002)
La Rivoluzione scientifica: i domini della conoscenza. L'aristotelismo e le sue alternative
John A. Schuster
L'aristotelismo e le sue alternative
L'organizzazione della conoscenza all'inizio della [...] parole, tutti i filosofi naturali disponevano di un insieme condiviso di regole per la costruzione e la difesa dei loro programmi di ricerca e per i loro attacchi contro i rivali. Prendere in considerazione questo punto aiuta a comprendere modalità e ...
Leggi Tutto
Langlands, Robert Phelan
Enciclopedia on line
Matematico canadese (n. New Westminster 1936). Laureatosi presso l'Univ. della Columbia Britannica nel 1957, ha conseguito il PhD alla Yale University. Prof. alla Princeton University (1960-67), alla Yale [...] , alla teoria delle forme automorfe e a quella delle rappresentazioni dei gruppi, formulando una serie di congetture (nota come programma di L.) che esprimono i legami tra esse. Tra i riconoscimenti ricevuti in carriera, si ricordano il premio Wolf ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
salto
Dizionario delle Scienze Fisiche (1996)
salto
salto [Der. del lat. saltus -us "atto ed effetto del saltare", dal supino saltum di salire "saltare"] [LSF] (a) Generic., variazione finita di una grandezza fisica, come, per es., il s. idraulico [...] in quanto consente di risparmiare tempo e spazio di memoria (per es., un certo sottoprogramma che sia utilizzato più volte in un programma, è scritto una sola volta in questo, ricorrendo a un'istruzione di s. in tutti i punti dove esso è utilizzato ...
Leggi Tutto
Il Rinascimento. Verso una nuova matematica
Storia della Scienza (2001)
Il Rinascimento. Verso una nuova matematica
Enrico Giusti
Paolo Freguglia
Pier Daniele Napolitani
Pierre Souffrin
Verso una nuova matematica
Introduzione
di Enrico Giusti
A chi si volga alla matematica [...] e non alla lettera del testo. Non meno importante è il metodo di riesposizione che egli adotta. Dato che il suo programma non è la semplice riproposizione dei testi classici, ma la loro rifusione in un tutto organico, Maurolico punta a individuare ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
Metodo
Enciclopedia del Novecento (1979)
Metodo
GGerard Radnitzky
di Gerard Radnitzky
Metodo
sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari livelli. b) Definizione [...] in materia di teoria dell'azione: ad esempio con discipline in larga misura formali come le scienze dei sistemi e della programmazione, le teorie della decisione e dei giochi e la logica dell'azione in senso ristretto (M. Nowakowska, G. H. von Wright ...
Leggi Tutto
METAMATEMATICA
Enciclopedia Italiana - IV Appendice (1979)
METAMATEMATICA
Alberto Pasquinelli
Aldo Marruccelli
. Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] (1934-39), dello stesso Hilbert e di P. Bernays, occorre subito precisare che già a partire dal 1931 il suddetto programma è apparso irrealizzabile. Infatti, proprio nel 1931, K. Gödel ha dimostrato sia l'omonimo teorema d'incompletezza riguardante l ...
Leggi Tutto
Peirce, Benjamin
Enciclopedia on line
Matematico e astronomo (Salem, Massachusetts, 1809 - Cambridge, Massachusetts, 1880), prof. nella Harvard University (dal 1842), direttore e poi sovraintendente dell'Ufficio federale per la determinazione [...] (Nettuno), indipendentemente da U.-J.-J. Le Verrier; più tardi studiò gli anelli di Saturno. Promosse il programma di rilevamento del sistema costiero statunitense in modo da rendere possibile un grande sistema geodetico. Come matematico ha dato ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
NUMERICI CALCOLI
Enciclopedia Italiana - III Appendice (1961)
NUMERICI CALCOLI (XXV, p. 29)
Enzo APARO
Generalità. - Il concetto di calcolo numerico si può introdurre da un punto di vista generale, come segue. Un insieme finito di oggetti, un insieme finito di [...] p richiesta per le soluzioni in S, con un'altra proprietà, p′, il cui verificarsi o meno è riconoscibile, in S′, mediante un programma. Detto {x′} l'insieme di tutti gli x′ soluzione del problema (S′,p′), si prenderà in considerazione, se {x′} non è ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1981-1990
Storia della Scienza (2003)
La grande scienza. Cronologia scientifica: 1981-1990
1981-1990
1981
Il sistema operativo MS-DOS. Tale sistema, realizzato dalla Microsoft e destinato a dominare nel suo settore, è utilizzato per la prima [...] che il modello minimale non è unico, anche se lo è a meno di trasformazioni birazionali dette flops. L'ultimo passo del programma, l'esistenza dei flips, è compiuto da Mori in questo anno. Per tale lavoro, e per la soluzione di una congettura di ...
Leggi Tutto