Per una storia della scienza in Italia: realta nazionale e slancio cosmopolitico
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Per una storia della scienza in Italia: realtà nazionale e slancio cosmopolitico
Antonio Clericuzio
Saverio Ricci
Diversamente dalla storia della letteratura, fenomeno storico che ha nella lingua [...] un certo momento egemonico, per ragioni storiche, dell’inglese, o finanche, come immaginato dal logico italiano Giuseppe Peano, per un «latino sine flexione», di esprimere i passaggi non formalizzati delle enunciazioni e dimostrazioni scientifiche.
A ...
Leggi Tutto
CATEGORIA:
STORIA CONTEMPORANEA
VOLONTÉ, Gian Maria
Dizionario Biografico degli Italiani (2020)
VOLONTE, Gian Maria
Marina Pellanda
VOLONTÉ, Gian Maria. – Nacque il 9 aprile 1933 a Milano. La madre, Carolina Bianchi, era di origine lombarda e faceva la casalinga. Il padre, Mario , era di Saronno.
La [...] .
Fonti e Bibl.: R. De Monticelli, Cristiana consapevolezza del male nella Fedra di Racine, in Il Giorno, 9 novembre 1957; C.A. Peano, V., G.M., in Filmlexicon degli autori e delle opere, VII, Roma 1967, s.v.; F. Faldini - G. Fofi, Il cinema italiano ...
Leggi Tutto
TIMPANARO, Sebastiano senior
Dizionario Biografico degli Italiani (2019)
TIMPANARO, Sebastiano senior
Lucietta Di Paola
Nacque il 20 gennaio 1888 a Tortorici, in provincia di Messina, da Sebastiano, proprietario terriero, e da Maria Teresa Fonti, titolare di una rivendita [...] ); Leonardo (Milano 1926). Fu in corrispondenza con Piero Gobetti (Politi, 1996) e con Giuseppe Peano e s’iscrisse alla sua Accademia di interlingua (cfr. Carteggio Peano (1925-1932), in Di Paola, 2008, pp. 259-270).
Il 6 dicembre 1926 fu invitato ...
Leggi Tutto
Il teorema di Gödel ovvero i teoremi limitativi dell’aritmetica
Storia della civiltà europea a cura di Umberto Eco (2014)
Maria Conforti
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
I teoremi d’incompletezza di Gödel del 1931 sono i risultati più profondi e spettacolari [...] decisi dagli assiomi.” In altre parole, indicando la teoria formale dell’aritmetica con PA (“aritmetica di Peano”, dal nome del matematico italiano Giuseppe Peano) e con “|–” la relazione di dimostrabilità (PA |– A vuol dire che A è dimostrabile in ...
Leggi Tutto
resto
Enciclopedia della Matematica (2013)
resto
resto della divisione di un numero naturale a per un numero naturale non nullo b, è il numero naturale r, minore di b, che sommato al prodotto di b per il quoziente intero q della divisione dà [...] per indicare la differenza tra una funzione e il polinomio di Taylor a essa associato (→ Taylor, polinomio di; → Taylor, formula di), espresso in varie forme (si vedano in particolare: → Lagrange, resto di; → Peano, resto di; → resto integrale). ...
Leggi Tutto
modalità
Enciclopedia on line
Matematica
Nella logica, ciascuno dei modi con cui può configurarsi il nesso fra soggetto e predicato.
Nella sillogistica aristotelica, i giudizi erano distinti a seconda che il nesso che univa il soggetto [...] logica deontica, al cui sviluppo ha contribuito notevolmente G.H. von Wright), ‘p è dimostrabile nell’aritmetica di Peano’ (enunciati trattati nella logica della dimostrabilità), o ‘dopo che il programma termina, si ha p’ (enunciati trattati nella ...
Leggi Tutto
CATEGORIA:
LOGICA
La grande scienza. Combinatoria
Storia della Scienza (2003)
La grande scienza. Combinatoria
Peter J. Cameron
Combinatoria
Secondo alcuni la combinatoria costituisce soltanto una parte della matematica, secondo altri essa non rappresenta una branca separata, [...] di Gödel non aveva un significato matematico. Il primo esempio di enunciato di carattere matematico non dimostrabile nell'aritmetica di Peano fu scoperto da J. Paris e L. Harrington (1977), e si tratta di un problema di combinatoria (è un teorema ...
Leggi Tutto
CATEGORIA:
ALGEBRA
La cultura politecnica
Il Contributo italiano alla storia del Pensiero - Tecnica (2013)
La cultura politecnica
Frédéric Ieva
L’istruzione tecnica prima dell’Unità
Avviando nel 1839 la prima serie de «Il Politecnico», Carlo Cattaneo si propose di perseguire due intenti: il rinnovamento [...] più celebri erano Enrico d’Ovidio (1843-1933), docente di algebra e geometria dal 1872, il suo allievo Segre e Peano. Fondamentale fu il contributo di Volterra agli studi sulla teoria delle equazioni integrali, elaborata nel 1896-97. Nello stesso ...
Leggi Tutto
assiomatizzazione
Dizionario di filosofia (2009)
assiomatizzazione
Processo che riconduce un insieme di conoscenze a principi dai quali l’insieme può essere derivato o dedotto. È possibile distinguere nella riflessione matematica (e in quella filosofica [...] matematici, già a partire dalla fine del 19° sec. e nel 20° sec., offrirono risposte a tali domande: M. Pasch, G. Peano, M. Pieri, Hilbert furono tra questi. In modo particolare l’opera i Fondamenti della geometria (1899) di Hilbert incarnò la nuova ...
Leggi Tutto
Russell, Bertrand Arthur William, conte
Enciclopedia on line
Filosofo e logico britannico (Trelleck, Galles, 1872 - Pernhyndeudraeth 1970). Tentò di risolvere i paradossi da lui stesso individuati nei progetti di fondazione logica dell'aritmetica, ed elaborò - risentendo [...] il tentativo di R. di portare a compimento i progetti di fondazione logica dell'aritmetica già intrapresi da G. Cantor, G. Peano e G. Frege. Nelle sue opere (A critical exposition of the philosophy of Leibniz, 1900, trad. it. 1972; The principles of ...
Leggi Tutto