Cerca in:
metamatematica
Dizionario delle Scienze Fisiche (2012)
metamatematica
metamatemàtica [Comp. di meta- e matematica] [ALG] [ANM] [FAF] La scienza che ha per oggetto l'analisi formale delle strutture matematiche e che può essere identificata con la logica matematica. ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
ALGEBRA
–
ANALISI MATEMATICA
–
EPISTEMOLOGIA
–
METAFISICA
metalinguaggio
Dizionario delle Scienze Fisiche (1996)
metalinguaggio
metalinguàggio [Comp. di meta- e linguaggio] [FAF] [INF] (a) Termine introdotto inizialmente nella logica matematica (sul modello di metamatematica) e poi esteso per indicare in generale [...] un sistema di simboli costituente un linguaggio atto alla descrizione di determinati procedimenti. (b) In termini molto generici, linguaggio convenzionale ...
Leggi Tutto
Tarski, Alfred
Enciclopedia on line
Logico, matematico e filosofo di origine polacca (Varsavia 1901 - San Francisco 1983), naturalizzato statunitense. Considerato uno dei massimi esponenti della Scuola logica polacca, fu autore di fondamentali [...] di uno spazio topologico e sviluppando ulteriormente la tendenza, già presente nel suo lavoro, a trattare algebricamente problemi metamatematici) e di algebre cilindriche. Da notare infine la sua ripresa del calcolo delle relazioni binarie di E ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] , dove 0 è l'elemento minimo del reticolo (un'algebra booleana è un caso speciale di un'algebra di Heyting).
Metamatematica della logica e dell'aritmetica intuizioniste dopo il 1940
Agli inizi degli anni Quaranta Kleene concepì un'interpretazione che ...
Leggi Tutto
Metodo
Enciclopedia del Novecento (1979)
Metodo
GGerard Radnitzky
di Gerard Radnitzky
Metodo
sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari livelli. b) Definizione [...] insorgere di antinomie connesse soprattutto con la nascita della teoria degli insiemi. Come risposta a questa sfida è nata la cosiddetta metamatematica, con il cui aiuto si è cercato di rendere a priori impossibile ogni antinomia e ciò con la messa a ...
Leggi Tutto
EPISTEMOLOGIA
Enciclopedia Italiana - IV Appendice (1978)
. Assumendo la parola "epistemologia" nel senso di "riflessione critica generale intorno alla conoscenza scientifica", il presente tentativo di sintesi problematica delle acquisizioni epistemologiche post-ottocentesche [...] prospettando quanto meno valide basi genetiche in vista di un discorso maggiormente articolato sul tema.
Dalla nuova logica alla metamatematica. - Negli ultimi anni del 19° secolo e all'inizio del 20°, l'edificazione della logica simbolica, o logica ...
Leggi Tutto
CATENA, Pietro
Dizionario Biografico degli Italiani (1979)
CATENA, Pietro
Giulio Cesare Giacobbe
Della sua vita si conoscono pochissimi elementi: nacque a Venezia nel 1501; nel 1547 fu nominato lettore di matematiche presso l'università di Padova (la stessa [...] , Memorie e docum. per la storia della Università di Padova, Padova 1880, I, pp. 63 s.; G. C. Giacobbe, La riflessione metamatematica di P. C., in Physis, XV (1973), 2, pp. 178-196; Id., La riflessione epistemologica rinascimentale: le opere di P. C ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Storia della Scienza (2004)
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] è "più esatto sia di Kronecker sia di Brouwer" riconosce Weyl. È "strettamente formalista in matematica, strettamente intuizionista in metamatematica" (in Reid 1970, p. 240). La realizzazione del programma, in cui si impegnano Hilbert e la sua scuola ...
Leggi Tutto
matematica
Enciclopedia on line
Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] dello status degli enti matematici, dall’intuizionismo al formalismo fino agli importanti risultati di K. Gödel (➔ metamatematica; logica). Nell’ampia serie di proposte sulla natura della conoscenza matematica vanno inoltre segnalati gli approcci di ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
–
MATEMATICA APPLICATA
–
STORIA DELLA MATEMATICA
–
EPISTEMOLOGIA
–
METAFISICA
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 [...] matematica, da trattare con i metodi matematicamente rigorosi nell'ambito della emergente disciplina chiamata logica matematica o metamatematica. La teoria della dimostrazione iniziata da Hilbert si è sviluppata fino a essere una parte sostanziale e ...
Leggi Tutto