lògica matemàtica
Enciclopedia on line
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] assiomi, mediante le dimostrazioni, le formule dimostrabili, dette anche teoremi o tesi logiche. L'interpretazione è una rappresentazione (applicazione) dei simboli sugli elementi dell'insieme che costituisce l'universo (o dominio) di interpretazione ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
Jung, Joachim
Enciclopedia on line
Naturalista, matematico e filosofo (Lubecca 1587 - Amburgo 1657); godette di altissima stima tra i contemporanei. In contrapposizione alle dottrine scolastiche, fu fautore del metodo sperimentale e matematico, [...] . Notevole anche la sua attività nel campo della logica formale, che segna, grazie alla sua opera, alcuni dei maggiori progressi prima dell'avvento della logica simbolica moderna (significativi soprattutto gli ampliamenti della teoria della ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Pàdoa, Alessandro
Enciclopedia on line
Matematico (Venezia 1868 - Genova 1937), docente nell'univ. di Genova. Allievo di G. Peano, fu uno dei suoi più stretti collaboratori per quel che concerne lo studio dei fondamenti dell'aritmetica e l'istituzione [...] di una rigorosa logica simbolica. P. dimostrò, tra l'altro, l'indipendenza degli "assiomi di Peano" e propose l'importante metodo o principio di P.; eseguì la riduzione delle idee primitive della logica a tre nozioni fondamentali (di "uguaglianza", ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] opere di Cantor e di Peano: dal primo attraverso la sua teoria delle classi; dal secondo mediante la sua logica simbolica. Russell aveva incontrato Peano nel 1900 e fu colpito dalla precisione del suo approccio. Russell elaborò la propria sintesi ...
Leggi Tutto
Peano, Giuseppe
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Giuseppe Peano
Clara Silvia Roero
Negli ultimi decenni dell’Ottocento e nei primi del Novecento le ricerche matematiche, logiche e linguistiche di Giuseppe Peano ebbero una straordinaria eco internazionale. [...] affermò che il «Formulaire de mathématiques di Peano segnava una nuova epoca nella storia della logica simbolica» (Roero, in Giuseppe Peano between mathematics and logic, 2010, p. 101).
In Francia e in Italia le discussioni si intrecciarono con la ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
STRUTTURA
Enciclopedia Italiana - II Appendice (1949)
STRUTTURA (fr. structure, système de choses; ingl. structure, lattice; ted. Verband, Dualgruppe)
Fabio Conforto
Con questo nome si intende nella matematica moderna ogni insieme S di elementi di natura [...] in ispecie da K. Menger, J. von Neumann e G. Köthe, quelli con la topologia da P. Alexandroff, quelli con la logica simbolica da A. Tarski in Polonia e da G. C. Moisil in Romania.
Alla definizione di struttura più sopra riportata si può dare un ...
Leggi Tutto
TARSKI, Alfred
Enciclopedia Italiana - III Appendice (1961)
TARSKI, Alfred
Vito A. BELLEZZA
Studioso di logica matematica, nato a Varsavia il 14 gennaio 1902, naturalizzato americano nel 1945. Dopo aver insegnato nell'univ. di Varsavia e dal 1939 in varie università [...] di matematica a Berkeley (Cal.).
Il campo di ricerche del T. riguarda la "logica simbolica" e la "semantica logica", intesa quest'ultima nell'accezione propria della scuola logica polacca, di cui il T. è uno dei maggiori esponenti. La tesi del T ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1941-1950
Storia della Scienza (2003)
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] McCulloch e il matematico Walter H. Pitts riconducono i meccanismi basilari del cervello umano alla logica simbolica booleana. Il modello suggerisce che tali meccanismi fisiologici potrebbero essere riprodotti in un elaboratore elettronico.
Definito ...
Leggi Tutto
logica
Enciclopedia on line
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] l.; a lui si richiameranno poi il francese L. Couturat e l’italiano G. Peano, cui si deve l’elaborazione di un simbolismo logico vicino a quello comune e la fondazione di una ‘scuola italiana’ di l. molto attiva tra la fine dell’Ottocento e l’inizio ...
Leggi Tutto
sistema
Enciclopedia on line
sistema Nell’ambito scientifico, qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti tra loro e con l’ambiente esterno, reagisce o evolve [...] la piramide, la scala, la bilancia, l’orologio). A differenza di quello analogico, il s. formale è una costruzione logica e simbolica di una situazione reale, elaborata mentalmente, che non ricorre al paragone con realtà di altra natura né presume di ...
Leggi Tutto
CATEGORIA:
ANATOMIA MORFOLOGIA CITOLOGIA
–
SISTEMATICA E FITONIMI
–
TEMI GENERALI
–
CHIMICA FISICA
–
CHIMICA INORGANICA
–
FISICA MATEMATICA
–
METROLOGIA
–
OTTICA
–
ALGEBRA
–
ANATOMIA
–
ORGANISMI E ORGANIZZAZIONI INTERNAZIONALI
–
STORIA E FILOSOFIA DEL DIRITTO
–
METODI TEORIE E PROVVEDIMENTI
–
MONETAZIONE
–
DOTTRINE TEORIE E CONCETTI
–
FILOSOFIA DEL DIRITTO
–
METAFISICA
–
SCIENZE DELLA FORMAZIONE
–
SOCIOLOGIA
–
POLITOLOGIA
–
MECCANICA APPLICATA