combinatorio
Enciclopedia on line
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 logica matematica.
Informatica
Ottimizzazione combinatoria
Locuzione, usata anche nella ricerca operativa, per indicare quei problemi di ottimizzazione ...
Leggi Tutto
riducibilità
Enciclopedia on line
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 logica matematica l’assioma di r. fu introdotto da B. Russell per superare alcune difficoltà che si presentavano nella teoria dei tipi ...
Leggi Tutto
Frege, Gottlob
Enciclopedia on line
Filosofo e matematico tedesco (Wismar 1848 - Bad Kleinen, Meclemburgo, 1925); insegnò lungamente a Jena; erano gli anni in cui scienziati illustri come K. Weierstrass, J. W. R. Dedekind, G. Cantor davano [...] lavori di F. hanno notevole importanza, sia dal punto di vista filosofico sia da quello tecnico, nel quadro storico della logica matematica. Il valore della sua opera, pressoché ignorata in vita, fu pienamente riconosciuto solo dopo la sua morte. La ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
coerente
Enciclopedia on line
Botanica
Qualifica di organi appartenenti a uno stesso verticillo, più o meno fusi insieme. Sono c. (o coesi) i sepali dei calici gamosepali (Lamiacee) o i carpelli che costituiscono un ovario unico. Se [...] condizione indispensabile al verificarsi di fenomeni di interferenza tra grandezze ondulatorie che queste siano coerenti.
Matematica
In logica matematica, una teoria formalizzata viene detta c. o non contraddittoria, se in essa non sono dimostrabili ...
Leggi Tutto
CATEGORIA:
ANATOMIA MORFOLOGIA CITOLOGIA
–
ELETTROLOGIA
–
FISICA MATEMATICA
–
OTTICA
–
LOGICA MATEMATICA
Casari, Ettore
Enciclopedia on line
Logico e filosofo della matematica italiano (Smarano 1933 - Firenze 2019); prof. di filosofia della scienza presso l'Università di Firenze dal 1967, dal 1998 al 2006 ha insegnato presso la Scuola normale [...] dei predicati (1957); Lineamenti di logica matematica (1959); Questioni di filosofia della matematica (1964); Introduzione alla logica (1997); La matematica della verità. Strumenti matematici della semantica logica (2006); Bolzano’s logical system ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Beth, Evert Willem
Enciclopedia on line
Logico-matematico olandese (Almelo 1908 - Amsterdam 1964). Dal 1946 prof. all'univ. di Amsterdam. Dopo studi di storia della logica e della matematica (De wijsbegeerte der wiskunde van Parmenides tot Bolzano, [...] , 1944) passò a ricerche nel campo della logica matematica ottenendo importanti risultati nella teoria della definizione (teorema di definibilità), nell'analisi semantica della logica classica e di quella intuizionista (specie col suo metodo delle ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
connettivo
Enciclopedia on line
Linguistica
Termine con il quale si indicano gli elementi (specialmente avverbi o locuzioni avverbiali e congiunzioni coordinanti o subordinanti) che hanno la funzione di collegare le parti di un testo [...] , avversativi, concessivi, temporali, causali, finali.
Medicina
Per il tessuto connettivo ➔ connettivo, tessuto.
Matematica
Connettivi enunciativi
In logica matematica, termini sincategorematici che o si premettono a un enunciato (negazione) o si ...
Leggi Tutto
Thue, Axel
Enciclopedia on line
Matematico norvegese (n. 1863 - m. 1922), prof. all'univ. di Oslo. Le sue ricerche vanno dalla meccanica all'algebra e alla logica matematica. Tra le sue pubblicazioni: Über Annäherungswerthe algebraischer [...] Zahlen (1909); Probleme über Veränderungen von Zeichenreihen nach gegebenen Regeln (1914). Da quest'ultima hanno preso lo spunto altre opere (per es., di E. L. Post) nelle quali, per mezzo dei cosiddetti ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
conseguenza
Enciclopedia on line
In logica, relazione che si instaura tra un gruppo di proposizioni e una proposizione quando quest’ultima è detta seguire logicamente dalle prime. Si distinguono vari tipi di c. a seconda delle particolari [...] modalità concettuali che conducono all’affermazione che qualcosa ‘segua’ da qualcos’altro.
In logica matematica, relazione di c. è una particolare relazione che un’espressione ha con un insieme di espressioni, nel senso che ogni interpretazione di ...
Leggi Tutto
CATEGORIA:
LOGICA
Poreckij, Platon Sergeevič
Enciclopedia on line
Matematico, astronomo, logico russo (Elizavetgrad 1846 - Žoved 1907), P. è ricordato soprattutto per i notevoli contributi alla logica moderna. Laureatosi a Tartu in matematica, studiandone i fondamenti [...] ravenstv i ob obratnom sposobe matematičeskoj logiki ("Sulle possibilità di risoluzioni di equazioni logiche e sulla conseguente possibilità di una logica matematica", 1884), nel quale, riprendendo le idee di Boole, P. avviò la trattazione del ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE