Cerca in:
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 [...] dell'aritmetica. Né è motivo di conforto sapere che la critica colpisce del pari tutti coloro che, come Dedekind e Cantor, hanno fatto ricorso a estensioni di concetti (classi o insiemi) per fondare la matematica.
La scoperta di Russell, che inaugura ...
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 [...] n/m, e identifica (n,m) con (p,q) se e solo se n/m=p/q, ossia nq=mp. La rappresentazione di Cantor dei numeri reali prende una successione di numeri razionali r=(r0,…,rn,…) per rappresentare
quando r soddisfa il criterio (interno) di convergenza di ...
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
SCIENZA
Enciclopedia Italiana - V Appendice (1994)
SCIENZA
Pietro Corsi
(XXXI, p. 154)
Storia della scienza. - La storia della s. è una disciplina che sta vivendo un momento di grande vitalità ed espansione. In Italia, come in altri paesi e in particolare [...] W.F. Bynum, E.J. Browne e R. Porter (1983; trad. it., 1988), H. Kragh (1987; trad. it., 1990), R.C. Olby, G.N. Cantor, J.R.R. Christie e M.J.S. Hodge (1990).
Storia della scienza e filosofia della scienza. - Il tentativo di ricostruire le vicende di ...
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 [...] stimolo da quelli dei grandi analisti della seconda metà dell’Ottocento, K.T.W. Weierstrass, J.W.R. Dedekind e G. Cantor che, proseguendo le ricerche di K.F. Gauss e A.-L. Cauchy, avevano richiamato l’attenzione sul problema dei fondamenti della ...
Leggi Tutto
paradosso
Enciclopedia on line
Affermazione, proposizione, tesi, opinione che, per il suo contenuto o per la forma in cui è espressa, appare contraria all’opinione comune o alla verosimiglianza e riesce perciò sorprendente o incredibile. [...] sveglia solo gli altri, non un altro, perché l’unico che può svegliare altri è lui stesso.
Per il p. di Cantor ➔ Cantor, Georg; per quello di Skolem ➔ Skolem, Thoralf.
Classificazione dei p. e soluzione dei p. linguistici
E.W. Beth ha distinto dai ...
Leggi Tutto
infinito
Enciclopedia on line
Lo spazio dalle dimensioni illimitate, o il tempo senza confini.
Il pensiero greco si è occupato fin dalle sue origini del concetto di infinito. Delle soluzioni proposte dai pensatori della scuola ionica [...] dei numeri pari che è del primo un sottoinsieme o parte propria). Viceversa, questo non è possibile per un insieme finito.
G. Cantor, tra il 1879 e il 1884, estese il concetto di numero cardinale e di numero ordinale dal caso di insiemi finiti a ...
Leggi Tutto
CATEGORIA:
FILOSOFIA DEL LINGUAGGIO
–
GRAMMATICA
–
ANALISI MATEMATICA
–
GEOMETRIA
–
DOTTRINE TEORIE E CONCETTI
Russell, Bertrand Arthur William, conte
Enciclopedia on line
Filosofo e logico britannico (Trelleck, Galles, 1872 - Pernhyndeudraeth 1970). Tentò di risolvere i paradossi da lui stesso individuati nei progetti di fondazione logica dell'aritmetica, ed elaborò - risentendo [...] rilievo fu il tentativo di R. di portare a compimento i progetti di fondazione logica dell'aritmetica già intrapresi da G. Cantor, G. Peano e G. Frege. Nelle sue opere (A critical exposition of the philosophy of Leibniz, 1900, trad. it. 1972; The ...
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 [...] ; esso infatti era stato già usato in precedenza senza essere esplicitamente riconosciuto. Tra il 1880 e il 1890 G. Cantor aveva fatto uso in alcune dimostrazioni di un ragionamento che equivale logicamente all’assioma di scelta. Nel 1890 G. Peano ...
Leggi Tutto
PELACANI, Biagio
Dizionario Biografico degli Italiani (2015)
PELACANI, Biagio
Graziella Federici Vescovini
PELACANI, Biagio (Blasius de Pelacanis de Parma). – Nacque, in data incerta tra il 1350 e il 1354, a Costamezzana (attualmente Noceto), nei pressi di Parma.
Nulla [...] lettori legisti e artisti dello Studio bolognese dal 1384 al 1799, a cura di U. Dallari, IV, Bologna 1919; M. Cantor, Vorlesungen über Geschichte der Mathematick, Leipzig 1892, II, p. 152.
L. Thorndike, A history of magic and experimentals sciences ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE