Gentzen, Gerhard Karl Erich
Enciclopedia on line
Matematico (Greifswald 1909 - Praga 1945), prof. (dal 1944) all'univ. di Praga. Si occupò soprattutto di teoria dei numeri e di logica matematica. Tra le opere: Die gegenwärtige Lage in der mathematischen [...] Grundlagenforschung (1938) ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Swineshead, Richard
Enciclopedia on line
Matematico, filosofo e teologo inglese del sec. 14º, professore (1348) del Merton College di Oxford. Maestro nell'usare le sottigliezze della logica occamista, fu soprannominato calculator per il suo frequente [...] ricorso al calcolo delle proporzioni e al simbolismo letterale nella misura degli elementi quantitativi dei fenomeni fisici. È autore di varî trattati, tra cui: De insolubilibus et obligationibus; De sensu ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Thue, Axel
Enciclopedia on line
Matematico norvegese (n. 1863 - m. 1922), prof. all'univ. di Oslo. Le sue ricerche vanno dalla meccanica all'algebra e alla logica matematica. Tra le sue pubblicazioni: Über Annäherungswerthe algebraischer [...] Zahlen (1909); Probleme über Veränderungen von Zeichenreihen nach gegebenen Regeln (1914). Da quest'ultima hanno preso lo spunto altre opere (per es., di E. L. Post) nelle quali, per mezzo dei cosiddetti ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
PETRELLA, Bernardino
Dizionario Biografico degli Italiani (2015)
PETRELLA, Bernardino
Gregorio Piaia
PETRELLA, Bernardino. – Nacque nel 1529 a Borgo del Santo Sepolcro (oggi Sansepolcro, in provincia di Arezzo), da Domenico Petrella; non è noto il nome della madre.
Fu [...] , ad MDCCLVI, Patavii 1757 (rist. anast. Bologna 1978), pp. 296-97 e 303.
P. Ragnisco, Giacomo Zabarella il filosofo. Una polemica di logica nell’Università di Padova nelle scuole di B. P. e di G. Zabarella, in Atti del r. Istituto veneto di scienze ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Sacchèri, Giovanni Girolamo
Enciclopedia on line
Matematico e filosofo (Sanremo 1667 - Milano 1733), gesuita; insegnò dapprima filosofia e teologia nei collegi della Compagnia di Gesù, poi (1699) matematica nell'univ. di Pavia. Acutissimo logico, S., [...] usando un particolare procedimento di dimostrazione per assurdo (elaborato nella Logica demonstrativa, 1697), tentò di dimostrare il 5º postulato degli Elementi di Euclide: "per un punto fuori di una retta passa una sola parallela alla retta data" ( ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Burali-Fòrti, Cesare
Enciclopedia on line
Matematico (Arezzo 1861 - Torino 1931). Insegnò (dal 1887) all'Accademia d'artiglieria e genio di Torino. È noto particolarmente per i suoi lavori sul calcolo vettoriale e la logica matematica, nell'indirizzo [...] di G. Peano. Collaborò con quest'ultimo al Formulario mathematico ed è autore, tra l'altro, del vol. Logica matematica (1894, 2a ed. 1919), la migliore esposizione sistematica della logica di Peano. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Novikov, Pëtr Sergeevič
Enciclopedia on line
Matematico russo (Mosca 1901 - ivi 1975). Il suo nome è legato a ricerche di algebra, di teoria della misura, di teoria degli insiemi, di logica matematica, di teoria degli algoritmi, di matematica intuizionista [...] negativamente il problema di W. Burnside sui gruppi periodici. Membro effettivo dell'Accademia delle scienze dell'URSS dal 1960. Tra le sue opere ricordiamo gli Elementy matematičeskoj logiki (1959; trad. it. Elementi di logica matematica, 1975). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Speróni, Sperone
Enciclopedia on line
Letterato e giurista (Padova 1500 - ivi 1588). Allievo di P. Pomponazzi, ricoprì a Padova importanti uffici e vi tenne la cattedra di logica (1520-23) e di filosofia (1525-28). Famoso in patria e fuori [...] come grande erudito, filosofo e oratore, godé per circa un quarantennio di grandissima autorità nel mondo delle lettere. Membro dell'Accademia degli Infiammati, ne divenne principe nel semestre 1541-42, ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
BALDINOTTI, Cesare
Dizionario Biografico degli Italiani (1963)
BALDINOTTI, Cesare
Simonetta Gori Savellini
Nato a Firenze il 12 luglio 1747, monaco dell'Ordine benedettino olivetano, fu abate nel convento fiorentino di S. Miniato al Monte. Nel 1774 venne chiamato [...] : l'Introductio ad Philosophiam, Metaphysicam et Logicam continens di W. J. Van's Gravesande (Leidae 1736) e le Istituzioni di Logica, Metafisica ed Etica di F. Soave (Milano 1791).
Nel novembre del 1796, quando era stata già riaperta l'università di ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Giovanni XXI papa
Enciclopedia on line
Pietro di Giuliano (port. Pedro Julião: Lisbona 1220 circa - Viterbo 1277). Scienziato, archiatra di Gregorio X, filosofo di fama, noto col nome di Pietro Ispano, tanto che Dante (Par. XII, 134-35) lo [...] sorta di malattia), che continuava la tradizione della medicina greco-araba trapiantata in Occidente da Costantino Africano, e per un compendio di logica formale, le Summulae logicales, che nelle prime sei parti esponeva i principî essenziali della ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE