La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] a problemi dicompletezza.
Valerij Ivanovič Glivenko (1897-1940) presentò nel 1928 una formalizzazione (incompleta) della logica proposizionale intuizionista derivando informalmente ¬¬(¬P⋁P), ¬¬¬P→¬P, (¬P⋁P→¬Q)→¬Q; egli utilizzò questi teoremi per ...
Leggi Tutto
MIRANDA, Carlo
Franco Palladino
Nacque a Napoli il 15 ag. 1912 da Giovanni, medico e professore all’Università di Napoli (di cui fu rettore nel 1921-23) e da Elena Nimmo.
Compiuti gli studi secondari, [...] n-1 in n variabili, alle equazioni lineari ellittiche in applicazione del metodo dicompletezzadi Caccioppoli, alle equazioni ellittiche di ordine superiore per le quali dette il teorema del massimo modulo; è questo il periodo durante il quale il M ...
Leggi Tutto
GRAFFI, Dario
Adriano Morando
Nacque il 10 genn. 1905 a Rovigo da Michele e da Amalia Tedeschi. Nella città natale frequentò la sezione fisico-matematica dell'istituto tecnico, diplomandosi nel 1921. [...] delle equazioni di Maxwell. Il suo studio, esemplare per la profondità e la completezza dell'indagine -109). Tale risultato, noto nella letteratura internazionale come teoremadi reciprocità di Graffi e oggi impiegato in sismologia, risale al periodo ...
Leggi Tutto
GUCCIA, Giovan Battista
Aldo Brigaglia
Nacque da Giuseppe Maria e da Chiara Cipponeri il 21 ott. 1855, a Palermo. La famiglia paterna apparteneva a un ramo cadetto dei marchesi di Ganzaria, il cui titolo [...] di curve piane.
In particolare sono notevoli due lavori: Generalizzazione di un teoremadi Noether, in Rendiconti del Circolo matematico di armoniosa completezza può aver contribuito a un oblio dei pionieristici contributi del Guccia.
A seguito di ...
Leggi Tutto
Peter Fritz
Peter 〈pétër〉 Fritz [STF] (Tengen 1899 - Überlingen 1949) Prof. di matematica in scuole medie. ◆ [ALG] Teoremadi P.-Weyl: dimostra la completezza dei caratteri delle rappresentazioni unitarie [...] dei gruppi compatti ...
Leggi Tutto
di Massimiliano Caramia e Paolo Dell'Olmo
L'obiettivo del processo decisionale è quello di migliorare lo stato di un individuo o di un'organizzazione in termini di uno o più criteri. Il trattamento delle [...] una sola soluzione. Diversi paradossi testimoniano la difficoltà di formalizzare questo tipo di d. collettive. Il teorema dell'impossibilità di Arrow stabilisce la non esistenza di una funzione di utilità del gruppo (ossia una funzione che aggreghi ...
Leggi Tutto
Caos
Robert L. Devaney
Introduzione storica
Secondo l'accezione più comune, il termine ‛caos' significa totale annientamento dell'ordine o assenza di qualsiasi struttura. Analogamente, in matematica, [...] di periodo n, e n viene prima di k nell'ordinamento di Sarkovskii, F ha anche un ciclo di periodo k. Si noti la potenza di questo teorema dimensione è compresa fra le due. Per completezzadi informazione, la dimensione frattale dell'immagine nella ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] completezza e la consistenza delle teorie logiche e il potere computazionale dei sistemi formali di calcolo. Proseguendo questa linea di è possibile garantire l'applicabilità del teorema del punto fisso di Knaster-Tarski e individuare la funzione ...
Leggi Tutto