La seconda rivoluzione scientifica: matematica e logica. Le origini dell'analisi funzionale
Angus E. Taylor
Le origini dell'analisi funzionale
L'analisi funzionale acquista una precisa identità nel [...] scelto per una classe dotata di una topologia basata su tali assiomi fu quello di 'spazio metrico'. Esso venne usato di Hermann Günter Grassmann (1809-1877) pubblicato nel 1888, Giuseppe Peano (1858-1932) avesse fornito una definizione assiomatica di ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La topologia algebrica all'inizio del XX secolo
John McCleary
La topologia algebrica all'inizio del XX secolo
Le radici della topologia algebrica [...] tra ℝn e ℝm per ogni m e n e Giuseppe Peano (1858-1932) aveva costruito un'applicazione continua dall'intervallo [0,1 di Mayer del 1929, Über abstrakte Topologie (Sulla topologia astratta), viene definito un sistema diassiomi per i gruppi di ...
Leggi Tutto
BURALI FORTI, Cesare
Evandro Agazzi
Nacque ad Arezzo il 13 ag. 1861 da Cosimo e da Isoletta Guiducci. Dopo aver compiuto gli studi medi nel collegio militare di Firenze, s'iscrisse nel dicembre 1879 [...] i famosi "assiomi peaniani" per l'aritmetica elementare), oltre ad un analogo volumetto dedicato ai Principi di geometria, logicamente esposti (Torino 1889).
L'anno dopo, il Peano vince la cattedra di calcolo infinitesimale all'università di Torino e ...
Leggi Tutto
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 [...] e il 1890 G. Cantor aveva fatto uso in alcune dimostrazioni di un ragionamento che equivale logicamente all’assiomadi scelta. Nel 1890 G. Peano incidentalmente diede una formulazione di questo assioma. Nel 1902 B. Levi lo enunciò come principio a sé ...
Leggi Tutto
Linguistica
Forme o parole postulate Quelle forme o parole antiche, di solito contrassegnate con asterisco, che non sono documentate in alcun testo, ma di cui viene ragionevolmente supposta l’esistenza [...] geometrici). Nella logica moderna la differenziazione tra assiomi e p. è venuta meno a partire dalla fine del 19° sec., specialmente per opera di G. Frege, G. Peano, B. Russell e D. Hilbert. Oggi per assioma o p. si intende un enunciato primitivo ...
Leggi Tutto
uno
uno [agg. Der. del lat. unus] [ALG] (a) Il primo numero non nullo della successione crescente dei numeri naturali, indicato, nella numerazione con cifre arabe, con il simb. 1. Nel mondo antico, per [...] numeri. Nell'aritmetica di G. Peano il numero 1 è considerato un concetto primitivo definito implicitamente dagli assiomi. (b) Nella teoria degli insiemi, considerata la relazione di equipotenza definita nella famiglia di tutti gli insiemi finiti ...
Leggi Tutto