Cerca in:
Frege Gottlob
Dizionario delle Scienze Fisiche (1996)
Frege Gottlob
Frege 〈frég✄e〉 Gottlob [STF] (Wismar 1848 - Bad Kleinen, Meclemburgo, 1925) Prof. di matematica nell'univ. di Jena (1896). ◆ [FAF] Logica di F.: programma di riduzione della matematica [...] alla logica, esposto inizialmente da F. nel 1879 e poi sviluppato nei due volumi dei Grundgesetze der Arithmetik (1893, 1903): v. logica: III 482 d ...
Leggi Tutto
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. ...
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 [...] ) della geometria euclidea, che all'inizio del secolo si era posto per primo Gauss e che un grande logico come Gottlob Frege (1848-1925) ancora agita contro le nuove teorie geometriche (Tav. I), passa in secondo piano rispetto a quello della coerenza ...
Leggi Tutto
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 [...] di più basilari nozioni insiemistiche o logiche. Gottlob Frege (1848-1925) e Bertrand Russell ( come la classe delle estensioni delle Q tali che P∼Q; che nel sistema di Frege svolge il ruolo di card(X) per
Su questa base, si può procedere a definire ...
Leggi Tutto
formalizzazione della vaghezza
Enciclopedia della Scienza e della Tecnica (2008)
Formalizzazione della vaghezza
Settimo Termini
Il problema della formalizzazione della vaghezza pone domande innovative al confine tra problemi concettuali e problemi tecnici. In particolare ci chiediamo [...] aspetti essenziali di una nozione estremamente sottile e sfuggente come quella di predicato vago (non a caso espulsa da Gottlob Frege dal dominio della logica). Si ha l’impressione che l’impostazione data dalla teoria degli insiemi fuzzy al problema ...
Leggi Tutto
CATEGORIA:
LOGICA