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 [...] in questa forma). Gli assiomi inoltre stabiliscono che (III) 0 non è successore di alcun numero naturale, (IV) sc è un'operazione iniettiva da ℕ a ℕ, e (V) ℕ è il più piccolo insieme che contiene 0 ed è chiuso rispetto al successore. Un po' più ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] definizione 71, Dedekind arriva a caratterizzare il sistema dei numeri naturali come un insieme N su cui è data una funzione iniettiva f da N a N. (l’operazione di passaggio al successore), che include un unico elemento non appartenente all’immagine ...
Leggi Tutto
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 [...] λ, tranne al più un insieme numerabile di valori isolati, l'applicazione che porta f−λAf in un punto g è un'applicazione iniettiva di C[a,b] su sé stesso, con inversa continua che definisce f come funzione di g. I valori isolati che fanno eccezione ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] per sistematizzare i problemi algebrici della topologia. In particolare, sono sviluppati i concetti di modulo iniettivo e proiettivo, di risoluzione iniettiva o proiettiva di un modulo e di funtore derivato.
Il linguaggio Lisp. L'informatico ...
Leggi Tutto
iniettare
v. tr. [dal lat. tardo iniectare, intens. di inicĕre «gettar dentro», comp. della prep. in e iacĕre «gettare»] (io iniètto, ecc.). – 1. tr. a. Introdurre in una cavità del corpo o in un tessuto sostanze medicamentose, o anche stupefacenti,...