Jacopini
Jacopini Giuseppe (Genova 1936 - Roma 2001) matematico e informatico teorico italiano. Ha contribuito allo sviluppo e alla diffusione dell’informatica in Italia. Si laureò in matematica a Roma [...] in un lavoro intitolato Macchina universale di von Neumann ad unico comando universale. Ha lavorato allo IAC (Istituto per le applicazioni del calcolo) ed è stato docente di logicamatematica e informatica presso l’Università La Sapienza di Roma. ...
Leggi Tutto
Kaufmann, Felix
Filosofo austriaco (Vienna 1895- New York 1949). Prof. di filosofia del diritto all’univ. di Vienna (1922-38). Membro del circolo di Vienna, non condivise i principi del positivismo logico. [...] del diritto di Kelsen, della cui Scuola fece parte (Logik und Rechtswissenschaft, 1922; Die Kriterien des Rechts, 1924); si occupò in seguito di logicamatematica (Das Unendliche in der Mathematik und seine Ausschaltung, 1930, trad. it. L’infinito in ...
Leggi Tutto
A
A [Forma maiusc. della lettera a] [ALG] [FAF] Nella logicamatematica, simb. dell'operazione di disgiunzione. ◆ [ASF] Simb. di un tipo spettrale di stelle: v. stella: V 622 a. ◆ [CHF] Simb., oltre [...] ad Ar, dell'elemento chimico argon. ◆ [ELT] Simb. di una classe di amplificatori elettrici: v. amplificazione di segnali elettrici: I 119 b. ◆ [GFS] Simb. (A e Ap o Ap) di indici dell'attività geomagnetica, ...
Leggi Tutto
decisione
decisióne [Der. del lat. decisio -onis, dal part. pass. decisus di decidere "tagliar via, metter fine", comp. di de- e caedere "tagliare", e quindi "espressione di una volontà"] [ALG] [FAF] [...] Problema di d.: nella logicamatematica, la ricerca di un procedimento effettivo (cioè concretabile in un numero finito di passi e applicabile a tutti i problemi dello stesso tipo) che consenta di stabilire se una certa proprietà o relazione convenga ...
Leggi Tutto
Sheffer Henry Maurice
Sheffer (talora Sheller) 〈šèfër〉 Henry Maurice [STF] (n. in Russia 1883 - Cambridge, Massachusetts, 1964) Prof. di matematica nell'univ. Harvard di Cambridge, Massachusetts. ◆ [ALG] [...] [FAF] Funtore di S.: nella logicamatematica, detto anche operatore di S., e anche negazione alternativa o non congiunzione o incompatibilità, introdotto da S. nel 1913 e denotato con il simb. |; se p e q sono due enunciati, p|q è sempre vero, salvo ...
Leggi Tutto
minimalizzazione
minimalizzazióne [Der. di minimalizzare "rendere minimo", da minimale] [ALG] [FAF] Nella logicamatematica, procedimento mediante il quale, dato un predicato P, si perviene, mediante [...] un apposito operatore di m. (solitamente denotato con μ), a definire una funzione che indica il minimo valore della variabile predicativa x che verifichi il predicato P; per es., la funzione mcm(a,b), ...
Leggi Tutto
aritmetizzazione
aritmetizzazióne [Atto ed effetto dell'aritmetizzare "rendere aritmetico", der. di aritmetico] [ALG] [FAF] [INF] Nella logicamatematica: (a) in senso generale e storico, programma sviluppato [...] ., procedimento con cui, seguendo determinate regole, si associano alcuni numeri interi ai segni e alle formule di un linguaggio, rendendo così possibile un calcolo matematico delle espressioni che sono prese in esame: v. Gödel, teorema di: III 55 c. ...
Leggi Tutto
non standard
nón stàndard [locuz. agg.] [LSF] Generic., di enti o condizioni non usuali, non rispondenti a certe norme, e simili. ◆ [ALG] [FAF] Analisi n.: disciplina nata nell'ambito della logicamatematica, [...] negli anni '60 di questo secolo, per rendere coerente e rigoroso il metodo degli infinitesimi e infiniti dell'analisi settecentesca; si è in seguito rivelata uno strumento utile per risolvere problemi ...
Leggi Tutto
rappresentabile
rappresentàbile [Der. di rappresentare (→ rappresentazione) "che è suscettibile di rappresentazione"] [ALG] [FAF] Funzione r.: nella logicamatematica, è tale una funzione di una o più [...] variabili numeriche f(x₁,x₂,..., xn) in un sistema S se e solo se c'è in S una formula P(x₁,..., xn+1), tale che per ogni sostituzione di valori numerici k₁,..., kn+1 rispettiv. alle variabili x₁,..., ...
Leggi Tutto
Hamilton, Sir William
Filosofo scozzese (Glasgow 1788 - Edimburgo 1856). Compì gli studi a Glasgow e a Oxford. Insegnò (dal 1821) storia e (dal 1836) filosofia a Edimburgo. La sua filosofia fonde motivi [...] menzione quella della cosiddetta «quantificazione del predicato», che ha avuto influsso sul posteriore sviluppo della logicamatematica e simbolica. Opere principali: Discussions on philosophy and literature (1852); Education and university reform ...
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,...
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...