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
ars combinatoria
Enciclopedia on line
Locuzione con cui G. Leibniz definì quella che già R. Lullo aveva battezzato ars magna, e cioè il simboleggiamento dei vari concetti in segni geometrici o algebrici, tale che permettesse di combinarli [...] , la sussistenza di un mondo concettuale in sé conchiuso ed esauribile nei suoi limiti, e dall’altro la possibilità di simboleggiare i concetti in segni geometrici o algebrici. A quest’ultimo aspetto si rifarà più tardi la logica matematica. ...
Leggi Tutto
indiscernibilità
Enciclopedia on line
indiscernibilità Caratteristica di ciò che non si può percepire o distinguere.
Principio dell’i. degli identici In logica matematica, è stato così chiamato (per es., da W.V.O. Quine e S. Kripke) il principio, [...] detto anche legge di Leibniz, secondo cui individui identici hanno in comune tutte le proprietà; in base a esso due nomi dello stesso individuo sono intercambiabili in ogni contesto senza che se ne alteri ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
Newell, Allen
Enciclopedia on line
Matematico e informatico statunitense (San Francisco 1927 - Pittsburgh 1992). Prof. di computer science alla Carnegie-Mellon University (1967), ha dato importanti contributi in intelligenza artificiale, [...] umano con processi informatici e dimostrando così, mediante l'elaborazione di diversi teoremi del calcolo, predicati del primo ordine della logica matematica. È autore, tra l'altro, di Human problem solving (in collab. con H. A. Simon, 1972). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Birkhoff, Garrett
Enciclopedia on line
Matematico statunitense (Princeton 1911 - Water Mill, New York, 1996), figlio di George David; è stato prof. alle univ. di Washington e Cincinnati. Ha dato un contributo essenziale allo sviluppo dell'algebra [...] astratta, sviluppandone i collegamenti con tutti i rami delle matematiche superiori (dalla topologia al calcolo delle probabilità fino alla logica matematica) e applicandola ad essi. Gran parte dei suoi risultati sono raccolti nel volume sui reticoli ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
topos
Enciclopedia on line
topos Luogo comune, motivo ricorrente, in un’opera nella tematica di un autore o di un’epoca.
In matematica, particolare categoria, introdotta per la prima volta in questioni di topologia algebrica e di [...] logica matematica da A. Grothendieck verso il 1960; la nozione di t. è stata successivamente sviluppata da F.W. Lawvere e da altri. ...
Leggi Tutto
Richard, Jules
Enciclopedia on line
Matematico francese (n. 1862 - m. 1956), prof. al liceo di Digione, autore di varie ricerche di matematica, fisica matematica e logica matematica; tra le sue opere principali: Sur la philosophie des mathématiques [...] (1903). È specialmente noto per aver enunciato (1905) un paradosso in cui compaiono particolari numeri naturali, detti numeri di R ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Kőnig, Gyula
Enciclopedia on line
Matematico ungherese (Győr 1849 - Budapest 1913). Docente universitario; membro dell'Accademia ungherese delle scienze; si è occupato in modo particolare di questioni inerenti alla teoria degli insiemi [...] e alla logica matematica. Suoi lavori: Analízis ("Analisi", 1887), Az algebrai mennyiségek általános elméletének alapvonalai ("Lineamenti fondamentali della teoria generale delle quantità algebriche", 1903). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Gentzen, Gerhard Karl Erich
Enciclopedia on line
Matematico (Greifswald 1909 - Praga 1945), prof. (dal 1944) all'univ. di Praga. Si occupò soprattutto di teoria dei numeri e di logica matematica. Tra le opere: Die gegenwärtige Lage in der mathematischen [...] Grundlagenforschung (1938) ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE