Cerca in:
coerenza
Enciclopedia della Matematica (2013)
coerenza
coerenza in logica, termine (sinonimo di non contraddittorietà e di consistenza), che indica la proprietà di un sistema assiomatico in cui non è possibile derivare contraddizioni: un sistema [...] è coerente, la sua coerenza non è dimostrabile nell’ambito della teoria stessa; questo risultato è di centrale importanza nella cosiddetta crisi dei fondamenti della matematica perché ha storicamente cancellato la possibilità di basare la validità ...
Leggi Tutto
bit
Enciclopedia della Scienza e della Tecnica (2008)
bit
Mauro Cappelli
Contrazione della locuzione inglese binary digit, rappresenta l’unità di misura del contenuto di informazione di un dato o di un messaggio. Il termine bit viene impiegato con significati [...] modo la teoria dell’informazione si arricchisce delle proprietà della meccanica quantistica con la possibilità di sviluppare applicazioni computazionali molto innovative, tuttora in fase di studio.
→ Fondamenti della matematica e teoria algoritmica ...
Leggi Tutto
CATEGORIA:
PROGRAMMAZIONE E PROGRAMMI
Ramsey, Frank Plumpton
Dizionario di filosofia (2009)
Ramsey, Frank Plumpton
Filosofo e logico inglese (Cambridge 1903 - ivi 1930). Insegnò nell’univ. di Cambridge. Fondamentale la sua analisi critica dei Principia mathematica di Russell e Whitehead che [...] sono stati raccolti in The foundations of mathemat-ics and other logical essays (1931; trad. it. I fondamenti della matematica e altri scritti di logica); Foundations: essays in philosophy, logic, mathematics and economics (1978), riedizione con ...
Leggi Tutto
Bernays
Enciclopedia della Matematica (2013)
Bernays
Bernays Paul Isaac (Londra 1888 - Zurigo 1977) logico e matematico svizzero. Diede importanti contributi ai fondamenti logici della matematica e alla teoria assiomatica degli insiemi. Vittima [...] dopo la seconda guerra mondiale, divenne professore. Fu coautore con Hilbert dei monumentali Grundlagen der Matematik (Fondamenti della matematica, 1934-39). Tra le sue opere più importanti è la Axiomatic set theory (Teoria assiomatica degli insiemi ...
Leggi Tutto
Bolzano
Enciclopedia della Matematica (2013)
Bolzano
Bolzano Bernhard (Praga 1781 - 1848) matematico e filosofo boemo. Fu sacerdote e insegnò scienza della religione all’università di Praga, ma il suo nome è legato agli studi sui fondamenti della [...] Bolzano fu uno dei primi a cogliere l’importanza dell’applicazione dello strumento della dimostrazione in ambiti fondamentali della matematica usualmente trattati in termini intuitivi (→ Bolzano-Weierstrass, teorema di). Nell’opera Wissenschaftlehre ...
Leggi Tutto
Schroder
Enciclopedia della Matematica (2013)
Schroder
Schröder Ernst (Mannheim, Baden-Württemberg, 1841 - Karlsruhe, Baden-Württemberg, 1902) logico e matematico tedesco. Le sue ricerche si orientarono verso la teoria delle equazioni a variabili [...] ma i suoi interessi e contributi preminenti si collocano nel campo dei fondamenti della matematica (dove fu tra i primi a riconoscere il valore dell’opera di G. Cantor) e della logica, di cui pose in secondo piano le motivazioni filosofiche rispetto ...
Leggi Tutto
metamatematica
Enciclopedia on line
Scienza che ha per oggetto l’analisi formale delle strutture matematiche, e che si può identificare con la logica matematica. Con significato più ristretto la m., o teoria della dimostrazione (Beweistheorie), [...] e le relative proprietà strutturali. Per l’indirizzo ideato da Hilbert (➔ formalismo), il fine ultimo della m. è di chiarire i fondamenti della matematica, in modo da metterla al riparo dai paradossi; il suo metodo specifico consiste, innanzitutto ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
Quine, Willard Van Orman
Enciclopedia on line
Logico e filosofo statunitense (Akron, Ohio, 1908 - Boston, Massachusetts, 2000). Partito dalla critica della teoria dei tipi per mostrarne l'eliminabilità in un lavoro di perfezionamento e di semplificazione [...] C. I. Lewis sia dal neopositivismo, a cui si avvicinò attraverso il contatto con R. Carnap. Inizialmente interessato ai fondamenti della matematica (nel cui ambito propose una soluzione per il paradosso di Russell), legò poi il suo nome a una famosa ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Frege, Gottlob
Enciclopedia on line
Filosofo e matematico tedesco (Wismar 1848 - Bad Kleinen, Meclemburgo, 1925); insegnò lungamente a Jena; erano gli anni in cui scienziati illustri come K. Weierstrass, J. W. R. Dedekind, G. Cantor davano [...] grande impulso alle ricerche sui fondamenti della matematica. I lavori di F. hanno notevole importanza, sia dal punto di vista filosofico sia da quello tecnico, nel quadro storico della logica matematica. Il valore della sua opera, pressoché ignorata ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Sheffer, Henry Maurice
Enciclopedia on line
Logico matematico (n. in Russia 1883 - m. 1964), prof. alla Harvard University. Le sue ricerche, che riguardano soprattutto i fondamenti della matematica, gli procurarono grande fama. È soprattutto ricordato [...] operatore di S. è definito dal fatto che p / q è sempre vero salvo quando p e q sono entrambi veri. L'importanza dell'operatore di S. è legata al fatto che esso da solo costituisce una base per un linguaggio logico enunciativo, cioè è sufficiente per ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE