Matematico russo (Mosca 1901 - ivi 1975). Il suo nome è legato a ricerche di algebra, di teoria della misura, di teoria degli insiemi, di logicamatematica, di teoria degli algoritmi, di matematica intuizionista [...] negativamente il problema di W. Burnside sui gruppi periodici. Membro effettivo dell'Accademia delle scienze dell'URSS dal 1960. Tra le sue opere ricordiamo gli Elementy matematičeskoj logiki (1959; trad. it. Elementi di logicamatematica, 1975). ...
Leggi Tutto
Matematico e filosofo (Brno 1906 - Princeton 1978). Libero docente di matematica all'univ. di Vienna (1933-38), fu uno degli studiosi che si riunivano attorno a M. Schlick nel Verein Ernst Mach, poi (1929) [...] Princeton) e dell'Association for symbolic logic. Si è occupato prevalentemente di logicamatematica, di teoria degli insiemi e of the axiom of choice and of the generalized continuum hypothesis (1940); Russell's mathematical logic (1944). ...
Leggi Tutto
Matematico (Berlino 1871 - Friburgo in Brisgovia 1953). Studiò a Gottinga e fu prof. di matematica nell'univ. di Zurigo (1910). Il suo nome è legato a importanti problemi del calcolo delle variazioni, [...] insieme può essere bene ordinato, ha suscitato la più viva discussione tra i matematici all'inizio del sec. 20º e ha condotto a un rilevante sviluppo dell'indagine critica dei fondamenti della logicamatematica e della teoria generale degli insiemi. ...
Leggi Tutto
Linguistica
La parte della linguistica che studia la connessione di unità minori a formare unità maggiori. In questo senso si parla anche di fonetica sintattica (o sandhi, con il termine della grammatica [...] di una sillabazione sintattica solo quando c’è un apostrofo (per es., u-n’altra, e invece un - altro).
Matematica
In logicamatematica, nello studio di una teoria formalizzata, la s. è quella parte della metateoria che studia le proprietà degli ...
Leggi Tutto
Filosofia
Formulazione logicamente coerente di un insieme di definizioni, principi e leggi generali che consente di descrivere, interpretare, classificare, spiegare fenomeni di varia natura.
Le domande [...] certo rilievo presentano alcune recenti analisi semantiche delle t., intese come sistemi assiomatici, nei termini della teoria logico-matematica dei modelli. Tali analisi, per le quali la distinzione teorico-osservativo ha perduto la centralità che ...
Leggi Tutto
(o eguaglianza) Condizione di cose o persone che siano tra loro identiche, o abbiano le stesse qualità, gli stessi attributi in ordine a determinate relazioni. In particolare, condizione per cui più persone [...] In generale, in algebra il concetto di u. si riduce a quello di isomorfismo.
In logicamatematica il concetto di u. si basa sul concetto logico di identità. È possibile definire esplicitamente l’identità mediante il linguaggio predicativo del secondo ...
Leggi Tutto
Economia
In scienza della gestione, gestione delle o., l’insieme dei processi e delle attività che utilizzano risorse (umane e finanziarie, macchinari, informazioni, tecnologie ecc.) per trasformare ingressi [...] di M o più spesso addirittura un singolo elemento di M.
In matematica e in logicamatematica, procedimento che, a partire da uno o più enti matematici o logici, detti operandi, permette di costruire un altro ente, detto risultato dell’operazione ...
Leggi Tutto
tavola matematica T. (o tabella) di composizione (o di moltiplicazione, o di Cayley) di un gruppo Specchio, o quadro, che contiene i prodotti degli elementi del gruppo a due a due. Se il gruppo è finito, [...] che ha per elemento iniziale gh e della colonna che ha per primo elemento gk si scrive il prodotto gh gk.
Nella logicamatematica, t. di verità (o tabella di verità) di un connettivo, tabella schematica che permette di stabilire se una proposizione A ...
Leggi Tutto
Filosofia
G.W. Leibniz chiamò arte c. quella che R. Lullo aveva battezzato ars magna, e cioè il simboleggiamento dei vari concetti in segni geometrici o algebrici, tale che permettesse di combinarli reciprocamente [...] possibilità di simboleggiare i concetti in segni geometrici o algebrici si rifarà più tardi la logicamatematica.
Informatica
Ottimizzazione combinatoria
Locuzione, usata anche nella ricerca operativa, per indicare quei problemi di ottimizzazione ...
Leggi Tutto
riducibilità In analisi vettoriale due sistemi di vettori applicati (per es., due sistemi di forze) si dicono mutuamente riducibili se si può passare dall’uno all’altro con sole operazioni elementari (➔ [...] (ma non sufficiente) è che essi siano complanari e che le loro rette di applicazione s’incontrino in un punto.
In logicamatematica l’assioma di r. fu introdotto da B. Russell per superare alcune difficoltà che si presentavano nella teoria dei tipi ...
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...