Medioevo: la scienza siriaca. La tradizione della logica aristotelica
Storia della Scienza (2001)
Medioevo: la scienza siriaca. La tradizione della logica aristotelica
Henri Hugonnard-Roche
La tradizione della logica aristotelica
Della letteratura siriaca profana, scientifica o filosofica, ci [...] sillogistica categorica degli Analitici primi, a sua volta considerata la garanzia formale della teoria della dimostrazione.
Atanasio aveva anche tradotto ‒ o ritradotto, basandosi su precedenti versioni ‒ molti testi di logica. Ci è pervenuta, in ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] Bernays (1888-1977) fu il primo ad afferrare le implicazioni del risultato di Gödel.
Importante per la teoria della dimostrazione della logica intuizionista fu la formulazione (Gentzen 1935) del calcolo dei sequenti LK e LJ. Usando il suo teorema ...
Leggi Tutto
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
logica intuizionista
Enciclopedia della Scienza e della Tecnica (2008)
logica intuizionista
Silvio Bozzi
La più studiata rivale della logica classica sin da quando fu assiomatizzata da Arend Heyting nel 1930. Già Anchei M. Kolmogorov nel 1925 e Vasili I. Glivenko nel 1929 [...] dal punto di vista della teoria della dimostrazione delle numerose assiomatizzazioni di specifici settori della matematica intuizionista (teoria dei numeri, teoria delle successioni di libera scelta, teoria delle specie ecc.). Un passo decisivo ...
Leggi Tutto
CATEGORIA:
LOGICA
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
Aristòtele
Enciclopedia on line
Filosofo greco (Stagira 384-83 a. C. - Calcide 322 a. C.). Fu, con Socrate e Platone, uno dei più grandi pensatori dell'antichità e di tutti i tempi. Nato da una famiglia di medici, si formò nell'Accademia [...] lo sviluppo dell'uomo.
Anche in tema di teoria dell'anima, l'A. della maturità abbandona della realtà, più schiettamente aristotelica, della dimostrazione, la condizione ultima, più propriamente platonica, della contemplazione.
Nella dottrina dell ...
Leggi Tutto
paradosso
Enciclopedia on line
Affermazione, proposizione, tesi, opinione che, per il suo contenuto o per la forma in cui è espressa, appare contraria all’opinione comune o alla verosimiglianza e riesce perciò sorprendente o incredibile. [...] Teorema presentato dall’economista indiano A.K. Sen (1970) con il quale si vuole dimostrare come, nell’ambito della teoria delle scelte collettive, sia impossibile trovare regole capaci di soddisfare simultaneamente sia il criterio paretiano (secondo ...
Leggi Tutto
analisi
Enciclopedia on line
Chimica
Generalità
L’a. chimica si occupa dei metodi che permettono di determinare la composizione chimica di un campione. Genericamente ha il significato di scissione in elementi più piccoli e loro esame, [...] metodi hanno ricevuto ulteriore impulso dalla dimostrazione, di M.F. Atiyah e I.M. Singer, dell’invarianza topologica dell’indice (analitico) di un’ampia classe di operatori ellittici su una varietà (teoria dell’indice). Il progetto originario di ...
Leggi Tutto
CATEGORIA:
FILOSOFIA DEL LINGUAGGIO
–
LINGUISTICA GENERALE
–
TEMI GENERALI
–
STRUMENTI MUSICALI
–
CHIMICA ANALITICA
–
CHIMICA FISICA
–
STRUMENTI
–
FISICA MATEMATICA
–
ANALISI MATEMATICA
–
STORIA E FILOSOFIA DEL DIRITTO
–
DOTTRINE TEORIE E CONCETTI
–
FILOSOFIA DEL DIRITTO
–
METAFISICA
–
PEDAGOGIA
–
BIOGRAFIE
–
PSICANALISI
–
PSICOLOGIA COGNITIVA
–
PSICOLOGIA DELL ETA EVOLUTIVA
–
PSICOLOGIA GENERALE
–
PSICOLOGIA SOCIALE
–
PSICOLOGIA SPERIMENTALE
–
PSICOMETRIA
–
PSICOTERAPIA
–
STORIA DELLA PSICOLOGIA E DELLA PSICANALISI
–
ARCHIVISTICA BIBLIOGRAFIA E BIBLIOTECONOMIA
numero
Enciclopedia on line
Ciascuno degli enti astratti che costituiscono una successione ordinata e che, fatti corrispondere ciascuno a ciascun oggetto preso in considerazione, servono a indicare la quantità degli oggetti costituenti [...] il grande teorema di Fermat (➔ Fermat, Pierre de). A seguito della dimostrazione del grande teorema di Fermat da parte di A. J. di un n. intero che permettono di svolgere la teoria della divisibilità (massimo comun divisore, minimo comune multiplo, ...
Leggi Tutto
matematica
Enciclopedia on line
Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] dell’informatica teorica; fra m. astratta (di stampo bourbakista, che tende alla massima generalità) e m. concreta (legata agli esempi, all’intuizione); fra m. strutturale, che punta alla dimostrazione di teoremi nel quadro di teorie assiomatizzate ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
–
MATEMATICA APPLICATA
–
STORIA DELLA MATEMATICA
–
EPISTEMOLOGIA
–
METAFISICA