Filosofo statunitense (Peoria 1861 - Princeton 1933). Pastore a Chembersburg, poi professore di logica e rettore dell'univ. di Princeton, fu un attivo divulgatore del pensiero di Hegel e specialmente della [...] sua Logica. Tra le sue opere: The problems of philosophy (1898); Hegel's logic (1902); Deductive logic (1905); The philosophy of the enlightenment (1910). ...
Leggi Tutto
variabile libera, cattura di una
variabile libera, cattura di una in logica, procedura che si verifica quando, nel rinominare una variabile che in una formula è legata da un quantificatore, si utilizza [...] una lettera già impiegata per indicare una variabile libera. Tale procedura non garantisce una deduzione corretta perché la variabile, precedentemente libera, viene così “catturata” e ricade ora nell’ambito ...
Leggi Tutto
Matematico e logico-matematico statunitense (Washington 1903 - Hudson, Ohio, 1995), prof. di matematica (1947-61), poi di matematica e filosofia (1961-67) a Princeton, dal 1967 di matematica e filosofia [...] solo rendere accettabile con argomenti di carattere sperimentale. Ch. sviluppò anche altre linee di ricerca, quali le relazioni con la logica combinatoria di Curry, le questioni di teoria dei tipi e il λ-calcolo. Tra le opere: The calculi of lambda ...
Leggi Tutto
Filosofo e scrittore russo (Pachtino, Kostroma, 1922 - Mosca 2006). Prof. (1962-76) di filosofia, di logica e di metodologia della scienza nell'univ. di Mosca, noto in ambito scientifico per una serie [...] cui si occupò principalmente di problemi riguardanti la logica, in particolare la logica polivalente: Filosofskie problemy mnogoznačnoj logiki ("Problemi filosofici di logica polivalente", 1960); Osnovy logičeskoj teorii naučnych znanij ("Fondamenti ...
Leggi Tutto
funzione ricorsiva generale
funzione ricorsiva generale o funzione ricorsiva totale, in logica, → funzione ricorsiva definita per ogni numero naturale (o ennupla di numeri naturali nel caso di funzioni [...] a più variabili). Se ci sono numeri naturali per i quali la funzione non è definita, essa è detta funzione ricorsiva parziale. Funzioni ricorsive come l’addizione e la moltiplicazione sono ricorsive totali ...
Leggi Tutto
algoritmo quantistico
algoritmo quantìstico locuz. sost. m. – Algoritmo sviluppato secondo la logica della computazione quantistica (v.). Lo studio di a. q. è stato sostanzialmente improntato alla ricerca [...] di metodi di calcolo capaci di risolvere, in tempo polinomiale, problemi che non hanno soluzione polinomiale nel contesto classico. La struttura della meccanica quantistica mette infatti naturalmente a ...
Leggi Tutto
forma normale congiuntiva
forma normale congiuntiva impiegata nel linguaggio di programmazione logica → prolog, è una forma proposizionale composta come congiunzione di sottoforme proposizionali, ciascuna [...] delle quali è una disgiunzione di lettere enunciative. È, quindi, del tipo A1 ∧ A2 ∧ ... ∧ An, dove A1, A2, ..., An indicano disgiunzioni di lettere enunciative. Per esempio, una proposizione in forma ...
Leggi Tutto
F
F 〈èffe〉 [Forma maiusc. della lettera f] [ALG] [FAF] Nella logica matematica, simb. di falso, usato partic. nelle tavole di verità. ◆ [ASF] Simb. di un tipo spettrale di stelle, diviso in 10 sottoclassi, [...] da F0 a F9: v. stella: V 622 a. ◆ [CHF] Simb. dell'elemento chimico fluoro. ◆ [FSD] Tipo di centro di colore: v. centri di colore: I 555 b. ◆ [GFS] Simb. della più alta delle regioni ionosferiche normali, ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'analisi numerica
Paolo Zellini
L'analisi numerica
L'analisi numerica moderna comincia a delinearsi verso la metà del XX sec., con le prime [...] aritmetizzazione e algoritmi efficienti
Il calcolo automatico poteva anche considerarsi una sorta di 'materializzazione' della logica costruttiva, intuizionista, elaborata nei primi decenni del Novecento (la matematica di Brouwer, notava von Neumann ...
Leggi Tutto
Peyer, Johann Konrad
Medico svizzero (Sciaffusa 1653 - ivi 1712). Prof. di logica e fisica a Basilea. Si dedicò con passione a ricerche anatomiche e a lui si deve la descrizione dei noduli linfatici [...] dell’intestino noti come placche di P., che rappresentano una delle componenti principali per la risposta immunitaria che si svolge nel tratto gastrointestinale.
Placche di Peyer
Grandi aggregati linfoidi ...
Leggi Tutto
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
logicismo
s. m. [der. di logica, logico1]. – 1. a. In senso ampio, ogni dottrina che pone la logica a fondamento della filosofia, o le assegna comunque un posto preponderante in questa disciplina. b. In filosofia della matematica, indirizzo...