Cerca in:
La grande scienza. Cronologia scientifica: 1951-1960
Storia della Scienza (2003)
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] opportunamente formalizzata, può essere ridotta al problema di decisione della teoria dei reali. Il metodo dimostrativo usato da Tarski, l'eliminazione dei quantificatori, è uno degli strumenti più importanti della teoria dei modelli.
Teoria di Hodge ...
Leggi Tutto
logica intuizionista
Enciclopedia della Scienza e della Tecnica (2008)
logica intuizionista
Silvio Bozzi
La più studiata rivale della logica classica sin da quando fu assiomatizzata da Arend Heyting nel 1930. Già Anchei M. Kolmogorov nel 1925 e Vasili I. Glivenko nel 1929 [...] di libera scelta, teoria delle specie ecc.). Un passo decisivo sul piano dell’elaborazione semantica lo compie nel 1935 Alfred Tarski che prova che i teoremi proposizionali di HI coincidono con le formule vere (che hanno cioè come valore l’insieme ...
Leggi Tutto
CATEGORIA:
LOGICA
Łukasiewicz, Jan
Enciclopedia on line
Studioso di logica (Leopoli 1878 - Dublino 1956). Tra i maggiori esponenti della cosiddetta Scuola logica polacca, svolse importanti ricerche sulla logica aristotelica e stoica. Considerando insoddisfacente [...] 1929); Philosophische Bemerkungen zu mehrwertigen Systemen des Aussagenkalküls (1930); Untersuchungen über den Aussagenkalkül (con A. Tarski, 1930); Zur Geschichte der Aussagenlogik (1935); Aristotle's syllogistic from the standpoint of modern formal ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
La seconda rivoluzione scientifica: matematica e logica. Le logiche modali
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. Le logiche modali
Fabio Bellissima
Paolo Pagli
Le logiche modali
L'Organon di Aristotele, atto di nascita della logica formale, comprende, oltre [...] algebre di Boole lo sono della logica classica. McKinsey e Tarski dimostrarono che l'insieme degli elementi chiusi di un'algebra con la teoria della dualità sviluppata da Bjarni Jónsson e Tarski. Tale teoria, che generalizza quella di Marshall H. ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
definibilita
Enciclopedia della Scienza e della Tecnica (2008)
definibilità
Silvio Bozzi
Nella logica matematica, concetto utilizzato in due sensi: uno riferito alle costanti extralogiche di una teoria in un linguaggio L, l’altro alle relazioni o funzioni su una [...] teorie formulate in linguaggi più ricchi, per es., al secondo ordine dove era stato dimostrato precedentemente da Alfred Tarski nel 1935. Molti risultati interessanti riguardano il problema di sapere per quali linguaggi e sotto che forma il risultato ...
Leggi Tutto
CATEGORIA:
LOGICA
TEORIE FORMALIZZATE
Enciclopedia Italiana - IV Appendice (1981)
TEORIE FORMALIZZATE
Aldo Marruccelli
. Una t. deduttiva T è un insieme di enunciati espressi in un determinato linguaggio (ordinario o simbolico) suscettibile di interpretazioni su opportuni insiemi [...] ai problemi dell'assiomatica, Milano 1961; G. T. Kneebone, Mathematical logic and foundations of mathematics, Londra 1963; A. Tarski, Introduction to logic and to methodology of deductive sciences, Oxford 1965 (trad. it. di E. Ballo e S. Bozzo ...
Leggi Tutto
scelta
Enciclopedia on line
Libero atto di volontà per cui, tra due o più offerte, proposte, possibilità o disponibilità, si manifesta o dichiara di preferirne una (in qualche caso anche più di una), ritenendola migliore, più adatta [...] Altre formulazioni equivalenti all’assioma di s. furono date nel 1914 da G. Hausdorff, nel 1924 e nel 1938 da A. Tarski, nel 1922 da C. Kuratowski. L’enunciato formulato da Kuratowski è abitualmente chiamato lemma di Zorn-Kuratowski o principio dell ...
Leggi Tutto
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 [...] 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 altro aspetto, che ...
Leggi Tutto
rappresentazione
Enciclopedia on line
L’attività e l’operazione di rappresentare con figure, segni e simboli sensibili, o con processi vari, anche non materiali, oggetti o aspetti della realtà, fatti e valori astratti, e quanto viene così [...] delle operazioni di complementazione, unione e intersezione (teorema di M.H. Stone, equivalente al teorema di Lindenbaum-Tarski).
Psicologia
In psicologia si indica con r. il rinnovarsi dell’esperienza percettiva in assenza dello stimolo sensoriale ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
MECCANICA QUANTISTICA
–
GEOMETRIA
–
DOTTRINE TEORIE E CONCETTI
–
METAFISICA
La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsività
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] a chiedere quale fosse allora la classe delle funzioni calcolabili. Alonzo Church, Kurt Gödel, Emil L. Post, Alfred Tarski e Alan M. Turing proposero diverse possibili definizioni. Ciascuna era basata su un particolare aspetto della nozione di ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA