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
assioma
Enciclopedia on line
Filosofia
Principio certo per immediata evidenza e costituente la base per l’ulteriore ricerca. Kant, nella Critica della ragion pura, chiama a. dell’intuizione alcuni giudizi a priori, di evidenza immediata, [...] significato attribuito agli a. dagli antichi e dai logici moderni si hanno due diversi tipi di assiomatica: J. Lukasiewicz, D. Hilbert-W. Ackermann, D. Hilbert-P. Bernays. matematica
In origine, presso i Greci, l’a. in quanto nozione generale evidente ...
Leggi Tutto
deduzione
Enciclopedia on line
Filosofia
Rapporto per il quale una conclusione deriva da una o più premesse. Nella storia della filosofia si distinguono tre principali interpretazioni di tale rapporto. Secondo la prima, esso è fondato [...] realizzare un accordo: è questa la posizione convenzionalistica della logica contemporanea per cui le regole della d. non si dimostrazione sistematica di tutte le proposizioni della filosofia.
Matematica
Teorema di d. Noto anche come teorema di ...
Leggi Tutto
CATEGORIA:
LOGICA