La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Godel
Carlo Cellucci
I teoremi di incompletezza di Gödel
Nei giorni 5-7 settembre 1930 ebbe luogo a Königsberg [...] avanzato il dubbio che la loro validità potesse essere legata al tale che:
a) S⊦φ→¬PrT(⌈φ⌉).
1) Come nella dimostrazione del primo teorema di incompletezza.
2) Per (a) T⊦PrT(⌈φ⌉)→¬φ, da cui presso i logici, l'accettazione tra i matematici, invece, è ...
Leggi Tutto
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, [...] In tutti i lavori appena descritti l'azione esterna f(t) sul 'primo elemento' del sistema, cioè sull'oggetto da controllare (fig. 2), è , vengono considerate come vincoli ed è soltanto tra le loro soluzioni che bisogna ricercare la curva estremale del ...
Leggi Tutto
L'Ottocento: matematica. Equazioni differenziali ordinarie
Jeremy Gray
Equazioni differenziali ordinarie
Variabili reali
Durante il XVIII sec. i matematici avevano risolto un numero crescente di equazioni [...] Prima di Cauchy, i matematici davano per scontata l'esistenza di una soluzione generale e la loro nel suo lavoro del 1857, colse l'opportunità di spiegare, tra le altre cose, le relazioni tra le 24 soluzioni di Kummer dal punto di vista complesso. ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Equazioni differenziali ordinarie
Jean Mawhin
Equazioni differenziali ordinarie
Accanto a sostanziali progressi nella teoria delle equazioni [...] da Volterra. Nel 1928 Andronov menziona i loro lavori quando stabilisce un legame tra i cicli limite di Poincaré e le y) raggruppa i termini di ordine superiore a 1 in y, il primo metodo di Ljapunov consiste nel cercare condizioni su P(t) sotto le ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La matematizzazione della biologia e la biomatematica
Giorgio Israel
La matematizzazione della biologia e la biomatematica
Le sorgenti concettuali [...] di rendere conto di una vasta gamma di questioni variamente connesse tra di loro, dalla demografia alla salute pubblica, ai processi evolutivi e persino al commercio e alla politica. La prima occasione che gli si presentò per applicare queste idee fu ...
Leggi Tutto
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 [...] di grande valore, tra i quali Georg Friedrich Bernhard Riemann (1826-1866). Hilbert fu il primo a fornire una ℝn sono le frontiere degli insiemi di perimetro finito e la loro misura è data dal perimetro. De Giorgi diede nel 1960 un teorema ...
Leggi Tutto
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 [...] dal punto di vista della loro difficoltà di calcolo. Una prima classificazione consiste nel distinguere le funzioni tale automa può essere sintetizzato mediante fili elettrici, le connessioni tra i quali sostituiscono i neuroni, e il passaggio o meno ...
Leggi Tutto
MARCHETTI, Alessandro
Cesare Preti
Nacque a Pontormo (ora Pontorme, frazione di Empoli), il 17 marzo 1633 da Angelo e da Luisa Buonaventuri. Terzo di cinque figli, non ancora adolescente rimase orfano [...] si ricerca donde avvenga che alcune perette di vetro rompendosi il loro gambo tutte si stritolino, Firenze 1677, nella quale si asseriva 1717, il libro fu messo all'Indice, in prima classe, con decreto del 16 nov. 1718. Tra il 1710 e il 1714 il M. fu ...
Leggi Tutto
BONCOMPAGNI LUDOVISI, Baldassarre
Vincenzo Cappelletti
Nacque a Roma il 10 maggio 1821, secondogenito di don Luigi, principe di Piombino, e di Maria Maddalena Odescalchi. Tra gli studiosi che ebbero [...] di Leonardo Pisano, il B. pubblicava per la prima volta a stampa la Practica geometrie. Lo stesso inclinata si deve desumere dalla loro proiezione su un piano orizzontale, I due trateati editi dal B. sono tra i più importanti che rispecchiano l'uso ...
Leggi Tutto
BURALI FORTI, Cesare
Evandro Agazzi
Nacque ad Arezzo il 13 ag. 1861 da Cosimo e da Isoletta Guiducci. Dopo aver compiuto gli studi medi nel collegio militare di Firenze, s'iscrisse nel dicembre 1879 [...] teoria potrà essere pubblicata dal Cantor solo oltre un decennio dopo, tra il 1895 e il 1897. L'importanza delle teorie cantoriane non sfugge l'originalità del loro metodo: "Sotto gli aspetti indicati il nostro libro è il primo trattato italiano di ...
Leggi Tutto
tra
prep. [lat. intra] (radd. sint.). – 1. a. Indica fondamentalmente posizione intermedia tra persone, oggetti, o tra limiti di luogo e anche di tempo: un paesetto a mezza strada tra Siena e Firenze; tra un palo e l’altro c’è una distanza...
primo
agg. [lat. prīmus, superl. dell’avv. e prep. ant. pri «davanti», da cui anche il compar. prior]. – 1. Numerale ordinale (indicato con 1° se si utilizzano cifre arabiche, oppure con il numero romano I) che, con il suo normale uso di agg.,...