Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] ci ha portato alle proprietà dell'esistenziale e della disgiunzione sarebbe certamente noioso e non potremmo affidarlo a una macchina. è per questo che il tema dell'esplicitazione radica la teoria della dimostrazione nell'informatica. La nuova teoria ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Algebra
Claudio Procesi
Algebra
Per comprendere la storia dell'algebra del XX sec. è necessario fare un breve quadro dello sviluppo della disciplina [...] i gruppi. Ossia se dato un gruppo con un numero finito di generatori e di relazioni si possa determinare con una macchina, per esempio se il gruppo è banale.
Gli aspetti combinatori sono stati sempre presenti in algebra, specialmente nella teoria dei ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. Astronomia, astrologia e geografia matematica
John D. North
Anne Tihon
Graziella Federici Vescovini
Uta Lindgren
Astronomia, astrologia [...] era il loro ante diem tertium Kalendas Iunias (si veda La scienza greco-romana, cap. XXI, Tav. II). Questo sistema così macchinoso iniziò a perdere popolarità già prima della fine del millennio e il passaggio a quello oggi ancora in uso fu reso più ...
Leggi Tutto
Il Rinascimento. Verso una nuova matematica
Enrico Giusti
Paolo Freguglia
Pier Daniele Napolitani
Pierre Souffrin
Verso una nuova matematica
Introduzione
di Enrico Giusti
A chi si volga alla matematica [...] studi recenti è però data dal modo con cui Varro tratta il problema dell'equilibrio delle forze in gioco in una macchina semplice. L'argomentazione ha una generalità fino ad allora mai raggiunta e anticipa, con una somiglianza che colpisce, molte ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. Dalla Geometrie al calcolo: il problema delle tangenti...
Enrico Giusti
Dalla Géométrie al calcolo: il problema delle tangenti e le origini del [...] problemi, in primo luogo quello dell'integrazione delle equazioni differenziali, ma non li esaurisce. Esso opera come una macchina frantumatrice: da una parte si introduce l'equazione differenziale da integrare e dall'altra viene fuori pezzo a pezzo ...
Leggi Tutto
Scienza indiana: periodo classico. La scienza islamica in India
Mario Casari
Fabrizio Speziale
La scienza islamica in India
Contorni della scienza indo-islamica
di Mario Casari
Nel II millennio dell'era [...] sviluppo fu la veterinaria, sostenuta dalla passione naturalistica e venatoria dei regnanti musulmani, nonché dalle esigenze della macchina bellica.
La medicina yūnānī in India mantenne in vita e alimentò la connessione fra medicina e scienze ...
Leggi Tutto
macchina
màcchina (ant. màchina) s. f. [dal lat. machĭna, che è dal gr. dorico μαχανά, attico μηχανή]. – 1. In senso storico e antropologico, qualsiasi dispositivo o apparecchio costruito collegando opportunamente due o più elementi in modo...
macchinare
v. tr. [dal lat. machinari, der. di machĭna nel senso di «macchinazione, inganno»; nel sign. 2, der. di macchina] (io màcchino, ecc.). – 1. Ordire, preparare, tramare, a danno di altri: m. insidie; m. la morte, la rovina di qualcuno;...