Logica matematica
Abraham Robinson
*La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] n, è posseduta anche da un numero naturale più piccolo di n. È questo il ‛principio della discesa infinita' che fu reso famoso da Fermat, ma che era già usato da Euclide. Euclide non lo formulò comunque in veste di assioma.
L'‛analisi' si basa su una ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Filosofia della matematica
Roshdi Rashed
Filosofia della matematica
Gli storici della filosofia islamica dimostrano un interesse molto [...] diofantea degli interi. Nella sezione del Kitāb al-Šifā᾽ dedicata alla dimostrazione, egli discute il primo caso della congettura di Fermat, già trattato da almeno due matematici del X sec., al-Ḫuǧandī e al-Ḫāzin. Avicenna scrive: "quando ci si ...
Leggi Tutto
Scienza indiana: periodo classico. Matematica
Takao Hayashi
Matematica
'Gaṇita' ('matematica')
Prima dell'introduzione e diffusione dell'astrologia oroscopica e dell'astronomia matematica nella società [...] ciclico di Jayadeva. Il quarto degli esempi relativi a questa equazione, 61x2+1=y2, coincide con il problema posto da Fermat nella lettera del 1657 a Frénicle.
La parte principale tratta della 'quaterna di semi' in cinque paragrafi: (1) equazioni a ...
Leggi Tutto
Computer science
Scott Kirkpatrick
La computer science si colloca con caratteristiche peculiari tra le scienze cosiddette esatte e l’ingegneria, costituendo dal punto di vista accademico un settore [...] comunicare informazione in modo diretto.
Un approccio efficace per verificare che un numero è primo risale a Pierre de Fermat, che nel 1640 affermò (senza fornire quella dimostrazione, che Leibniz e Leonhard Euler avrebbero trovato in seguito) che ...
Leggi Tutto
La grande scienza. Computer science
Scott Kirkpatrick
Computer science
La computer science si colloca con caratteristiche peculiari tra le scienze cosiddette esatte e dell'ingegneria, costituendo dal [...] comunicare informazione in modo diretto.
Un approccio efficace per verificare che un numero è primo risale a Pierre de Fermat, che nel 1640 affermò (senza fornire quella dimostrazione, che Leibniz e Leonhard Euler avrebbero trovato in seguito) che ...
Leggi Tutto
GALILEI, Galileo
Ugo Baldini
Nacque a Pisa il 15 febbr. 1564 da Vincenzio e Giulia Ammannati.
I Galilei (detti così dal nome o soprannome d'un antenato, il cui cognome era Bonaiuti) appartenevano alla [...] densità del mezzo). Nell'isolamento della cecità la corrispondenza lo distrasse e stimolò. Nel giugno 1637 replicò a P. de Fermat sulla caduta dei gravi; dal tardo 1638 discusse il De motu naturali gravium solidorum (Genova 1638) del Baliani, che per ...
Leggi Tutto
Informatica
Fabrizio Luccio
Franco P. Preparata
Carl-Erik Fröberg
Piero Sguazzero
Piero Dell'Orco e Tomaso Poggio
Teoria della computazione di Fabrizio Luccio
SOMMARIO: 1. Origine e motivazioni. [...] multiplo di a e b, poniamo λ(N) = [p − 1, q − 1]. Supponiamo dapprima che né p né q siano fattori di T. Allora, per il teorema di Fermat, si ha Tp-1 ≡ 1 (mod. p) e Tq-1 ≡ 1 (mod. q). Inoltre, scrivendo λ(N)/(p − 1) = w (w è un intero), abbiamo
Tλ(N ...
Leggi Tutto
problema
problèma s. m. [dal lat. problema -ătis «questione proposta», gr. πρόβλημα -ατος, der. di προβάλλω «mettere avanti, proporre»] (pl. -i). – 1. Ogni quesito di cui si richieda ad altri o a sé stessi la soluzione, partendo di solito...
variazionale
agg. [der. di variazione]. – Nel linguaggio scient., relativo a una variazione o a variazioni. Per es., in fisica, induzione v., l’induzione elettromagnetica prodotta da variazioni di un campo magnetico (si contrappone a mozionale,...