Delannoy
Delannoy Henri-Auguste (Bourbonne-les-Bains, Haute-Marne, 1833 - Guéret, La Creuse, 1915) matematico francese. Formatosi allʼÉcole polytechnique, seguì la carriera militare e coltivò la matematica [...] F.E. Lucas con cui condivise lʼinteresse per la teoria dei numeri. Autore di molti saggi e contributi sullʼaritmetica, sui numeri triangolari, pentagonali, esagonali, e sulla combinatoria, curò la pubblicazione postuma del terzo e quarto volume delle ...
Leggi Tutto
teoria indecidibile
teoria indecidibile in logica, teoria formalizzata in un sistema formale S per la quale non per ogni formula ben formata a di S esiste un algoritmo di calcolo che riesce a stabilire [...] , vale a dire se a è o non è dimostrabile nel sistema formale dato. Esempi di teorie indecidibili sono l’aritmetica formalizzata dagli assiomi di → Peano e la teoria degli insiemi formalizzata secondo gli assiomi di → Zermelo-Fraenkel (→ decidibilità ...
Leggi Tutto
Matematico, da Lazesio Veronese vissuto nella seconda metà del sec. XV e nel primo quarto del XVI. Racconta egli stesso di "avere per spazio di anni XXXII insegnato a putti ed a uomini a conteggiare e [...] "Maestri d'abbaco" che divulgarono anche fuori d'Italia le idee, le nozioni, i metodi, che in materia di aritmetica, di geometria, di algebra, e delle loro applicazioni furono primamente esposte da Leonardo Pisano, e poi coltivate nelle nostre scuole ...
Leggi Tutto
GEOMETRIA ALGEBRICA
Ciro Ciliberto
Igor R. Shafarevich
Lo sviluppo delle idee di Ciro Ciliberto
Sommario: 1. I temi classici della geometria algebrica. a) Integrali abeliani e curve algebriche. b) [...] di questo risultato c'è un importante teorema, detto ‛teorema di regolarità dell'aggiunto' che afferma che: se D è una curva aritmeticamente connessa (cioè tale che per ogni suddivisione D = A + B con A, B curve effettive, si ha (A • B) > 0) sulla ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Il ruolo delle istituzioni
Ekmeleddin Ihsanoglu
Il ruolo delle istituzioni
Nel corso del processo di istituzionalizzazione della scienza, e [...] che è legale e illegale, lo studio delle leggi che regolano le eredità, le leggi sulla discendenza e la distribuzione, l'aritmetica e la geodesia, la medicina, la scienza che insegna come trarre vantaggio dagli animali, la cura della salute e quella ...
Leggi Tutto
sistema formale
sistema formale apparato simbolico mediante il quale è possibile rappresentare formalmente i procedimenti logico-deduttivi delle dimostrazioni matematiche. Esempi di sistemi formali sono [...] I sistemi formali hanno lo scopo di formalizzare le teorie matematiche: si pensi al sistema di assiomi di → Peano per l’aritmetica o al sistema di assiomi di Zermelo-Fraenkel per la teoria degli insiemi (→ Zermelo-Fraenkel, teoria di). La nozione di ...
Leggi Tutto
semplificazione
semplificazione termine generico che indica la riscrittura in forma equivalente, ma più semplice, di una espressione matematica. La semplificazione di una frazione è la sua riscrittura [...] comune divisore. Per esempio, la frazione 12/18 è equivalente alla frazione semplificata 2/3. Una espressione aritmetica si intende semplificata quando tutte le operazioni indicate siano state effettuate, pervenendo a un risultato numerico finale ...
Leggi Tutto
(v. calcolatrici, macchine, VIII, p. 352; App. I, p. 339; II, I, p. 482; III, I, p. 281; elaboratori elettronici, IV, I, p. 650)
La diffusione e lo sviluppo degli e. nell'arco di tempo che va dalla metà [...] (bus) fra tali unità funzionali (v. App. IV, i, p. 650). L'insieme dell'unità (od organo) di governo e dell'unità aritmetica e logica è detta generalmente unità centrale.
Le elaborazioni di un'architettura alla von Neumann sono eseguite in base a un ...
Leggi Tutto
Scienza greco-romana. La matematica nel V secolo
Reviel Netz
La matematica nel V secolo
Il titolo di questo capitolo è di per sé problematico. Decidere se al di là di alcuni lavori isolati si possa [...] (ma senza nominarlo), prendendosi tuttavia la libertà di cambiare la gerarchia all’interno della famiglia mettendo per prima l’aritmetica e subordinando poi tutta la matematica alla dialettica e alla filosofia. Le tre fonti più antiche per l’idea di ...
Leggi Tutto
L'Ottocento: matematica. Algebra della logica
Massimo Mugnai
Algebra della logica
Logica e matematica: pensare e calcolare
Sia nell'Antichità sia durante il Medioevo, la logica e la matematica si configurano [...] e Georg J. von Holland (1742-1784), che si ingegnano per la realizzazione di calcoli logici sul modello di quelli aritmetici. Agli inizi del XIX sec. il matematico Joseph-Diez Gergonne (1771-1859), fondatore delle "Annales des mathématiques pures et ...
Leggi Tutto
aritmetica
aritmètica (ant. arismètica e arismètrica) s. f. [dal lat. arithmetĭca (lat. mediev. arismet[r]ica), gr. ἀριϑμητική (τέχνη): v. aritmetico]. – 1. Parte della matematica concernente lo studio dei numeri, soprattutto dei numeri interi;...
aritmetico
aritmètico (ant. arismètico e arismètrico) agg. [dal lat. arithmetĭcus (lat. mediev. arismet[r]icus), gr. ἀριϑμητικός, der. di ἀριϑμός «numero» (pl. m. -ci). – 1. Che riguarda l’aritmetica, o anche, che concerne i numeri interi;...