LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] sono stati formulati modelli più adeguati, per es. la macchina a registri illimitati di J.C. Shepherdson e H.E. Sturgis (1963).
La macchina a registri illimitati consta di una casella R0, detta contatore di programma, e di una successione ...
Leggi Tutto
PROGRAMMAZIONE NON LINEARE
Amato Herzel
. Il termine "p. matematica" indica l'analisi dei problemi del tipo: trovare il massimo (o il minimo) di una "funzione obiettivo" quando le variabili sono soggette [...] almeno allo stato attuale, parlare di una teoria completa o anche solo di un'impostazione sistematica principi diversi, possono integrarsi a vicenda.
Col primo approccio si cerca di ottenere una successionedi vettori x0, x1, ..., tale che: f(x0) > ...
Leggi Tutto
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 [...] si allontanano al crescere di n; (c) 'compattezza a meno di traslazioni', quando esiste una successionedi punti yn∈ℝN per Terra verso l'alto attraversando il mantello terrestre, di materia allo stato plastico, e sboccando là dove la crosta ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] consiste nella separazione, prevista da Paul Dirac, distatidi atomi idrogenoidi con identici numeri quantici totale e une application continue J. Leray sviluppa la teoria delle successioni spettrali, da lui introdotte nel 1946 ed elaborate da ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] (1908-1991), che è stato allievo di Peano, gli ha rimproverato l’inerzia di fronte all’obiezione russelliana che i suoi assiomi non caratterizzano la successione dei numeri naturali, ma qualsiasi successionedi numeri posti in progressione infinita ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Gabriele Lolli
La teoria degli insiemi
La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] , nel 1890, era stato uno dei primi a rifiutare esplicitamente il principio, scoprendo che, nella sua dimostrazione del teorema di esistenza di soluzioni per equazioni differenziali, la definizione di una successione sembrava richiedere l'assioma ...
Leggi Tutto
La Rivoluzione scientifica: i protagonisti. Galileo Galilei
William Shea
Galileo Galilei
La formazione e l'insegnamento
Galileo Galilei nacque a Pisa il 15 febbraio 1564 (e non il 18, come riportano [...]
Nell'autunno del 1618 l'apparizione in rapida successionedi tre comete suscitò un grande entusiasmo. Galilei era e la confisca dei beni. Che il nome di Galilei fosse stato associato a quelli di Morandi e Visconti fu quanto meno un caso sfortunato ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola matematica di Mosca
Sergej Sergeevic Demidov
La scuola matematica di Mosca
La matematica a San Pietroburgo e a Mosca
Nella seconda [...] teorema che oggi porta il suo nome: una successionedi funzioni misurabili convergente quasi ovunque su un intervallo lo sviluppo della matematica nell'Unione Sovietica era stato in larga misura autonomo: le relazioni internazionali cominciarono ...
Leggi Tutto
PINCHERLE, Salvatore
Enrico Rogora
PINCHERLE, Salvatore. – Nacque a Trieste l’11 marzo 1853 da Mosè ed Evelina Dörfles.
Di famiglia ebraica frequentò le scuole medie e il liceo Imperiale a Marsiglia, [...] di ordine infinito come anche l’enunciato e le prime applicazioni del concetto fondamentale disuccessionedi funzioni equilimitate.
In una serie di . «Alle doti di grande scienziato univa quelle di maestro insigne. Chi è stato suo scolaro non ...
Leggi Tutto
scala
scala [Lat. scala "dispositivo per salire", dal tema di scandere "salire"] [LSF] (a) Oltre che nel signif. concreto proprio, il termine è più spesso usato per indicare, figurat., una gradazione [...] ◆ [ACS] S. musicale: la successionedi intervalli tonali in cui è ripartito l'intervallo di ottava, cioè quello limitato da due suoni le cui frequenze fondamentali siano nel rapporto 2:1; tali successioni sono state formate, nel corso dei tempi, con ...
Leggi Tutto
ciclo1 s. m. [dal lat. tardo cyclus, gr. κύκλος «cerchio, giro»]. – 1. In matematica, generalizzazione del concetto di linea chiusa; in algebra, sottogruppo ciclico di un gruppo. 2. In botanica, il complesso dei fillomi (foglie, antofilli, brattee)...
stòria (ant. o letter. istòria) s. f. [dal lat. historia, gr. ἱστορία, propr. «ricerca, indagine, cognizione» da una radice indoeur. da cui il gr. οἶδα «sapere» (e ἴστωρ «colui che sa») e il lat. vid- da cui vĭdēre «vedere»]. – 1. Esposizione...