logica
logica teoriadell’inferenza valida, cioè studio della correttezza dei ragionamenti, qualunque sia l’universo di discorso cui essi si riferiscano. Si riserva usualmente il termine «logica», privo [...] di trattare situazioni ambigue non riducibili al binomio vero-falso. Un altro ramo delle applicazioni della logica alla computer science è rappresentato dalla teoriadelladimostrazione automatica. In virtù di un teorema di A. Church del 1936, si sa ...
Leggi Tutto
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 teoriadelladimostrazione (Petrella separava nettamente la demonstratio potissima, che prendeva avvio da principi indimostrabili ...
Leggi Tutto
logica combinatoria
logica combinatoria locuzione utilizzata in due diverse accezioni:
• per indicare un modello di calcolo logico introdotto nel 1920 dal matematico ucraino M.I. Schönfinkel (combinatory [...] perché rappresenta una notazione più concisa e di minore complessità computazionale.
La logica combinatoria trova inoltre applicazioni in teoriadella → dimostrazione. In particolare, è possibile stabilire una corrispondenza fra le formule deducibili ...
Leggi Tutto
sequenti, calcolo dei
sequenti, calcolo dei calcolo logico introdotto da G. Gentzen negli anni Trenta del xx secolo i cui elementi sono i sequenti, vale a dire espressioni del tipo Γ ⊢ Δ in cui Γ e Δ [...] rende le deduzioni del calcolo dei sequenti paragonabili a procedure algoritmiche e stabilisce un legame fra la teoriadelladimostrazione e l’informatica teorica. Tale legame è sancito dall’isomorfismo di → Curry-Howard.
Il calcolo dei sequenti ...
Leggi Tutto
logica lineare
logica lineare area di ricerca della logica matematica nata nel 1986 e diffusasi in seguito alla pubblicazione, nel 1987, dell’articolo Linear logic del logico francese Jean-Yves Girard [...] di una pervasiva simmetria strutturale. La logica lineare nasce nell’ambito dellateoriadelladimostrazione e in particolare il suo sviluppo è legato alla semantica della logica intuizionista, tuttavia si pone come strumento utile alla ricerca in ...
Leggi Tutto
Herbrand
Herbrand Jacques (Parigi 1908 - La Bérarde, Isère, 1931) matematico e logico francese. Morì giovanissimo all’età di 23 anni in un incidente alpinistico. A 17 anni fu ammesso, primo in graduatoria [...] deduzione, anche riportato in letteratura con il suo nome, che egli dimostrò nella sua opera Recherches sur la théorie de la démonstration (Ricerche sulla teoriadelladimostrazione, 1930), e le procedure di riduzione quasi-algoritmica di espressioni ...
Leggi Tutto
Lob
Löb Martin Hugo (Berlino 1921 - Annen 2006) matematico tedesco. Figura centrale per i suoi lavori in logica matematica: di lui è noto il → paradosso che porta il suo nome. Cresciuto a Berlino, fuggì [...] la quale fu assistente dal 1951. Nei primi anni Settanta divenne professore all’università di Amsterdam, dove rimase fino al pensionamento. Le sue ricerche spaziano dalla teoriadelladimostrazione alla logica modale, alla teoriadella computabilità. ...
Leggi Tutto
taglio, eliminazione del
taglio, eliminazione del in logica, e in particolare nel calcolo dei → sequenti, possibilità di non utilizzare la regola del taglio (→ taglio, regola del) in una dimostrazione. [...] in cui non si faccia uso di tale regola, rendendo così le deduzioni del calcolo dei sequenti assimilabili a procedure algoritmiche e stabilendo un legame fra la teoriadelladimostrazione e l’informatica teorica (→ Curry-Howard, isomorfismo di). ...
Leggi Tutto
Lolli
Lolli Gabriele (Camagna, Alessandria, 1942) matematico e logico italiano. Studioso di teoriadelladimostrazione, è stato professore di logica matematica all’università di Torino e dal 2008 insegna [...] . Saggio su Kurt Gödel (1992), La crisalide e la farfalla (2000, sulla discriminazione delle donne nel mondo accademico scientifico), Filosofia della matematica (2002), QED - Fenomenologia delladimostrazione (2005), Discorso sulla matematica (2011). ...
Leggi Tutto
Howard
Howard William Alvin (1926) logico matematico statunitense. Professore all’Università della Pennsylvania e successivamente di Chicago, si è interessato in particolare di teoriadelladimostrazione [...] legami e relazioni tra la logica intuizionista e il λ-calcolo (→ lambda-calcolo). In questo ambito il suo nome è legato al cosiddetto isomorfismo di → Curry-Howard, che pone in relazione dimostrazioni matematiche e programmi per un elaboratore. ...
Leggi Tutto
dimostrazione
dimostrazióne s. f. [dal lat. demonstratio -onis]. – 1. a. Ogni atto, fatto, comportamento, parola o discorso che mostra o dimostra o rivela qualche c0sa, che cioè rende o con cui si rende manifesto, conosciuto, chiaro o certo...
dialèttica s. f. [dal gr. διαλεκτική (τέχνη), lat. dialectĭca o dialectĭce (v. dialettico)]. – 1. Arte del dialogare, del discutere, come tecnica e abilità di presentare gli argomenti adatti a dimostrare un assunto, a persuadere un interlocutore,...