Prawitz, Dag
Enciclopedia on line
Logico e filosofo svedese (n. Stoccolma 1936), prof. di filosofia all'univ. del Michigan (1969), di Stanford (1970), di Oslo (1971-77) e (dal 1976) di filosofia teoretica all'univ. di Stoccolma; membro [...] mirante all'automazione del ragionamento e noto come deduzione automatica, alla teoria del significato e alla teoria della dimostrazione: a quest'ultima branca della logica ha dato un contributo decisivo in Natural deduction (1965), mettendo ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Kreisel, Georg
Enciclopedia on line
Logico e filosofo austriaco (Graz 1923 - Salisburgo 2015), docente (1962-85) alla Stanford University (California). Si è occupato dei problemi relativi ai fondamenti della matematica, nonché di logica [...] intuizionista, di teoria della dimostrazione e di teoria della ricursione. Tra i suoi scritti: Eléments de logique mathématique. Théorie des modèles (1967, in collaborazione con J. L. Krivine). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Scienza greco-romana. Galeno
Storia della Scienza (2001)
Scienza greco-romana. Galeno
Mario Vegetti
Galeno
L'eccezione Galeno
Galeno rappresenta senza dubbio, e per molti motivi, un caso eccezionale nel panorama intellettuale e scientifico del II sec. d.C.; [...] in via preliminare bisognerà studiare le opere che forniscono gli strumenti epistemologici (gnoseologia, logica, teoria della dimostrazione) per il controllo della consistenza argomentativa del sistema; si tratta del De demonstratione e del De optima ...
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 [...] conoscitiva, mentre Zabarella l’aveva ridotta a un semplice supporto alla dimostrazione) e la demonstratio; sulla teoria della dimostrazione (Petrella separava nettamente la demonstratio potissima, che prendeva avvio da principi indimostrabili ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Spallanzani, Lazzaro
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Lazzaro Spallanzani
Paolo Mazzarello
Erede della tradizione galileiana, Lazzaro Spallanzani ha condotto con instancabile impegno ricerche originali in numerosi ambiti della storia naturale. Per Spallanzani [...] de’ vasi (1773), riprese le indagini sulla circolazione del sangue iniziati a Modena. Spallanzani completò la dimostrazione della teoria di William Harvey (1578-1657), osservando i capillari negli animali a sangue caldo (embrione di pollo), fornendo ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
AUDIFFREDI, Giovanni Battista
Dizionario Biografico degli Italiani (1962)
AUDIFFREDI, Giovanni Battista
Paola Tentori
Nacque il 2 febbr. 1714 a Saorgio, da Giovanni Battista, di antica e nobile famiglia del ramo nizzardo dei consignori di Faucon, e da Margherita Bottone.
Nel [...] di Dadeii Ruffi); De solis parallaxi ad V. Cl. Grandjean de Fouchy Commentarius, ibid. 1766; Dimostrazione della teoria della Cometa dell'anno 1769, annunziata nel "Diario Ordinario di Roma", Roma 1770; Astronomia [Tre articoli concernenti la ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
DELLA VOLPE, Galvano
Dizionario Biografico degli Italiani (1990)
DELLA VOLPE, Galvano
Nicolao Merker
Nacque a Imola il 24 sett. 1895, secondogenito del conte Lorenzo e di Emilia Scali. Ufficiale di cavalleria negli anni della prima guerra mondiale, si laureò in filosofia [...] quest'ultimi, sia al testo della Poetica di Aristotele.
La dimostrazione dei coesistere e interagire nell' ;M. Modica, L'estetica di G. D. - Marxismo, linguistica e teoria della Ittteratura, Roma 1978; R. S. Bufalo, La "positività del molteplice" ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
DELLA PORTA, Giovambattista
Dizionario Biografico degli Italiani (1989)
DELLA PORTA, Giovambattista
Raffaella Zaccaria
G. Romei
Incerti sono il luogo e la data di nascita: nacque forse a Napoli (ma secondo altri a Vico Equense), intorno al 1535, se si dà fede alla dichiarazione [...] formulazione di una teoria delle lenti attraverso l'impiego dell'analisi matematica e della costruzione geometrica. Partendo D., fra l'altro, tenta di dare una dimostrazione della quadratura del cerchio.
Nel De aeris transmutationibus, pubblicato ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
DELLA CASA, Lorenzo
Dizionario Biografico degli Italiani (1988)
DELLA CASA, Lorenzo
Giovanni Colombini
Nacque a Lugo (prov. Ravenna) l'8 nov. 1803 da Bernardo e da Agata Ferraresi. Dopo avere frequentato le scuole elementari e secondarie nella sua città, fu ammesso, [...] le loro costruzioni teoriche e mise in luce le manchevolezze delle loro esperienze, dimostrando che, ogniqualvolta le esperienze erano state condotte correttamente, venivano a confermare la teoria classica.
La memoria Su l'equivalente meccanico del ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Torricèlli, Evangelista
Enciclopedia on line
Fisico e matematico (Roma 1608 - Firenze 1647). Succeduto a G. Galilei nell'incarico di matematico e filosofo del granduca di Toscana (1641), dimostrò la possibilità del vuoto in natura, scoprì e misurò [...] atmosferica, grandezza fisica sino a quel tempo insospettata. Lo strumento di dimostrazione, detto tubo di T. e dal 1667 barometro da R. formulano in modo chiaro ed esauriente la moderna teoria della pressione atmosferica, con un accenno a ciò che ...
Leggi Tutto