Cerca in:
PADOA, Alessandro
Dizionario Biografico degli Italiani (2014)
PADOA, Alessandro
Clara Silvia Roero
PADOA, Alessandro. – Nacque a Venezia il 14 ottobre 1868 da Pellegrino, commerciante, e da Pasqua Levi.
Dopo aver compiuto gli studi superiori nella sezione fisico-matematica [...] , Milano, 1997, pp. 84-85; L’Archivio Giovanni Vailati, a cura di L. Ronchetti, Milano 1998, pp. 72-73; A. Tarski - S. Givant, Tarski’s system of geometry, in The Bullettin of Symbolic Logic, V (1999), 2, pp. 175-214; P. Cantù, Osservazioni sulla ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
MOSTOWSKI, Andrzej
Enciclopedia Italiana - IV Appendice (1979)
MOSTOWSKI, Andrzej
Logico matematico polacco, nato a Leopoli il 1° novembre 1913. Dal 1947 professore di matematica all'università di Varsavia; dal 1956 membro dell'Accademia polacca delle scienze. Nel [...] of relations (1947), Some impredicative definitions in the axiomatic set theory (1951), Undecidables theories (1953, con A. Tarski e M.R. Robinson), Models of axiomatic theories admitting automorphisms (1955, con A. Ehrenfeucht), On recursive model ...
Leggi Tutto
Vienna, Circolo di (Wiener Kreis)
Dizionario di filosofia (2009)
Vienna, Circolo di (Wiener Kreis)
Vienna, Circolo di
(Wiener Kreis) Associazione di filosofi e scienziati che si riunirono attorno a Schlick, prof. di filosofia della natura presso l’univ. di Vienna, [...] , K. Lewin, W. Köhler, von Mises, Hempel; dall’altro con la scuola logica polacca di Twardowski, Kotarbiński, Łukasiewicz, Tarski (➔ Varsavia, Scuola logica di). A seguito dell’ascesa del nazismo molti membri del Circolo di V. si trasferirono negli ...
Leggi Tutto
Ł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 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
Banach
Enciclopedia della Matematica (2013)
Banach
Banach Stefan (Cracovia 1892 - Leopoli 1945) matematico polacco, fu uno dei fondatori dell’analisi funzionale moderna. Ha dato importanti contributi alla teoria degli spazi vettoriali topologici [...] : il teorema di → Hahn-Banach; il teorema di punto fisso (o delle contrazioni) di → Banach-Caccioppoli; il paradosso di → Banach-Tarski (stabilito per la prima volta dai due matematici nel 1924 e legato all’assioma della scelta). Banach fu uno degli ...
Leggi Tutto
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
Paradossi e antinomie
Storia della civiltà europea a cura di Umberto Eco (2014)
Paradossi e antinomie
Roberto Limonta e Rolando Longobardi
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Accanto all’analisi sistematica delle teorie [...] agito da stimolo per il dibattito logico-epistemologico, fino alle soluzioni complesse delle teorizzazioni moderne di Lewis, Tarski, Russell.
“Diodoro era alla corte di Tolomeo Soter quando Stilpone gl’indirizzà alcuni argomenti dialettici; non ...
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 [...] della proposizione p.
Accanto a quella degli studiosi nominati ricorderemo ancora l’opera dei logici polacchi (J. Łukasiewicz, S. Łesniewski, A. Tarski e altri) e la scuola nominalista di W.V.O. Quine e N. Goodman. In seguito, le varie tendenze hanno ...
Leggi Tutto