La seconda rivoluzione scientifica: matematica e logica. I fondamenti della geometria
Umberto Bottazzini
I fondamenti della geometria
Verso la metà del XIX sec. Georg Friedrich Bernhard Riemann (1826-1866) [...] linguaggio geometrico al caso di un numero qualunque di valori (coordinate del fondamenti che cambia i temi all'ordinedel giorno nell'agenda dei geometri: è ottenuto i risultati più brillanti. Sembra a prima vista che questo dominio sia assai limitato ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'emergere della concezione strutturale in algebra
Leo Corry
L'emergere della concezione strutturale in algebra
Il punto di vista strutturale [...] della teoria di Galois nel linguaggio tradizionale della teoria della a parte forse il loro ordinamento) sono invarianti del gruppo.
La formulazione e 1911-1996) e Saunders Mac Lane, la cui prima edizione apparve nel 1941 e che divenne una pietra ...
Leggi Tutto
Fondamenti della matematica e teoria algoritmica dell'informazione
Gregory J. Chaitin
Ciò che possiamo dimostrare intorno ai fondamenti della matematica usando i suoi stessi metodi costituisce la metamatematica, [...] e non un linguaggio imperativo, ovvero strutturato intorno a un insieme di istruzioni pensate come ordini impartiti a una macchina. Questa caratteristica del LISP lo rende particolarmente adatto ai nostri scopi.
Il primo teorema moderno di ...
Leggi Tutto
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 [...] descrive algoritmi specificando un linguaggio ristretto nel quale (1888-1977) fu il primo ad afferrare le implicazioni del risultato di Gödel.
Importante conoscenza; un nodo più in alto nell'ordine corrisponde a un'estensione delle nostre conoscenze. ...
Leggi Tutto
ordine
órdine s. m. [lat. ōrdo ōrdĭnis]. – 1. a. Disposizione regolare di più cose collocate, le une rispetto alle altre, secondo un criterio organico e ragionato, rispondente a fini di praticità, di opportunità, di armonia, e sim.: mettere,...
ordinare
v. tr. [dal lat. ordinare «mettere in ordine, dare assetto» e poi anche con i sign. del n. 3; der. di ordo -dĭnis «ordine»] (io órdino, ecc.). – 1. a. Mettere in ordine, collocare un insieme di oggetti, di elementi, ciascuno al posto...