Ruffini, Paolo
Enciclopedia dei ragazzi (2006)
Il matematico delle equazioni di grado superiore
Il medico e matematico italiano Paolo Ruffini, vissuto tra Settecento e Ottocento, deve la propria fama ai risultati raggiunti in campo algebrico. Ha scoperto [...] di matematici, non fu possibile ottenere procedimenti simili nel caso di equazioni di grado maggiore e la dimostrazione che in effetti questi procedimenti di validità generale non esistono rappresenta uno dei risultati più rilevanti nella storia ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Informatica teorica
Enciclopedia della Scienza e della Tecnica (2007)
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 [...] un analogo tipo di protocolli chiamati 'giochi tra Artù e Merlino'. In questo tipo di protocolli, si ipotizza un dialogo tra un dimostratore P e un verificatore V in merito a una determinata asserzione. Se l'asserzione è vera, P riesce a convincere V ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La topologia degli insiemi di punti
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. La topologia degli insiemi di punti
Roger Cooke
Brian Griffith
La topologia degli insiemi di punti
La topologia generale o topologia degli insiemi [...] ciò non è possibile. Si può prendere però una derivata seconda generalizzata di F(x), e questa è la chiave della dimostrazione. Riemann dimostra che
in ogni punto x. Ne segue facilmente che il grafico della funzione F(x) non può avere 'angoli', non ...
Leggi Tutto
BAGNERA, Giuseppe
Dizionario Biografico degli Italiani (1963)
BAGNERA, Giuseppe
Nicola Virgopia
Nacque a Bagheria (Palermo) il 14 nov. 1865. Orfano dall'infanzia e di disagiate condizioni economiche, riuscì a completare gli studi tecnici a Palermo, ove, nel 1890, [...] i gruppi dei poliedri regolari dello spazio euclideo a quattro dimensioni. Invertendo il risultato di F. Klein, il B. dimostrò che ogni gruppo finito di omografie è oleodricamente isomorfo a un gruppo di movimenti reali dello spazio ellittico a ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Hilbert, David
Enciclopedia on line
{{{1}}}
Matematico tedesco (Königsberg 1862 - Gottinga 1943). È la figura più notevole della matematica della prima metà del Novecento e forse dell'intero secolo. A Königsberg frequentò l'università con [...] successivi, ci si può ridurre. Dopo una notevole mole di lavoro tecnico in questa direzione, i risultati di K. Gödel dimostrarono sostanzialmente l'impossibilità del sogno hilbertiano. Forse H. non ne fu mai convinto ma una delle sue ultime opere, i ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
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 [...] definite a partire dalle regole di riscrittura. Centrali a questo riguardo divengono così le varie forme del teorema dimostrato originariamente da Church e John B. Rosser che garantiscono la possibilità di identificare queste classi d’equivalenza con ...
Leggi Tutto
CATEGORIA:
LOGICA
problema
Enciclopedia on line
Ogni quesito di cui si ritenga necessaria o si proponga la soluzione.
In matematica e nelle sue applicazioni, il concetto di p. è strettamente legato ai concetti di equazione, disequazione, sistema, in [...] il p. ammette almeno una soluzione, senza però indicare come la si possa costruire o calcolare effettivamente); in altri casi si dimostra che il p. non ha soluzione, cioè che non può, in linea di principio, essere risolto con gli strumenti in gioco ...
Leggi Tutto
La Rivoluzione scientifica: i protagonisti. Evangelista Torricelli
Storia della Scienza (2002)
Evangelista Torricelli
Nell'antiporta delle Lezioni accademiche, pubblicate postume nel 1715, troviamo un ritratto dell'autore accompagnato dalla didascalia "En virescit Galilaeus alter", anagramma incompleto [...] della quadratura della cicloide, la curva descritta da un punto fisso di un cerchio che rotoli sulla propria tangente. Torricelli dimostra, due volte con il metodo degli indivisibili e una volta con il metodo di esaustione, che lo spazio compreso fra ...
Leggi Tutto
BERTINI, Eugenio
Dizionario Biografico degli Italiani (1967)
BERTINI, Eugenio
**
Nacque a Forlì l'8 nov. 1846 da Vincenzo, tipografo,e da Agata Bezzi. Si iscrisse nel 1863 all'università di Bologna, grazie alla Congregazione di carità di Forlì, con l'intenzione [...] considerazioni intuitive, un teorema sui punti multipli di una curva variabile in un sistema lineare, teorema che egli poi dimostrò in forma più generale e in modo rigoroso, insieme con un altro teorema sui sistemi lineari composti di curve o ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
CALÒ, Benedetto
Dizionario Biografico degli Italiani (1973)
CALÒ, Benedetto
Antonio C. Garibaldi
Nacque a Bagno a Ripoli (Firenze) il 22 novembre 1869 da Raffaele e Emilia Raquis. Compì gli studi a Pisa, dando prova di ingegno assai versatile: conseguita nel [...] . Il primo, una memoria inserita negli Annali di matematica (s. 2, XXIII [1895], pp. 159-79), presenta una nuova dimostrazione, puramente algebrica, di un teorema di Weierstrass sulle forme bilineari, teorema che interessava i geometri dell'epoca ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE