Intuizionismo
AArend Heyting
di Arend Heyting
Intuizionismo
sommario: 1. Concetti fondamentali. 2. Aritmetica elementare. 3. Il principio del terzo escluso. 4. I numeri reali. 5. Ineguaglianza e separazione [...] non posso ancora fare affermazioni dicarattere generale sui numeri naturali. di interlocutore. La comunicazione della matematica, come ogni tipodi comunicazione linguistica, è suscettibile di interpretazioni errate. È evidente che la costruzione di ...
Leggi Tutto
La scienza presso le civilta precolombiane. La natura della conoscenza e delle pratiche scientifiche nella civilta inca
Gary Urton
Jean-François Genotte
La natura della conoscenza e delle pratiche [...] combinate in un terzo tipodi operazione per la formazione di numeri composti. In caso di combinazione, l'applicazione colture, che erano influenzate anche da considerazioni dicarattere calendaristico. Infine un ruolo preminente nell'agricoltura ...
Leggi Tutto
L'Universo matematico
John D. Barrow
(Astronomy Centre, University of Sussex, Brighton, Gran Bretagna)
Parte di questo saggio è stata pubblicata sotto il titolo Perché il mondo è matematico? Roma-Bari, [...] matematica. Anche se questi fenomeni avessero un carattere matematico, la matematica non si rivelerebbe un alcuna forma. Esso deve contenere esempi di un qualche tipodi forma affrnché forme di complessità organizzata possano esistere e l'evoluzione ...
Leggi Tutto
Scienza greco-romana. La geometria da Apollonio a Eutocio
Reviel Netz
La geometria da Apollonio a Eutocio
Il periodo di formazione del canone geometrico greco si estende dal 200 a.C. al 550 d.C., come [...] a esse normali, è un fatto moderno che Apollonio non anticipò. Egli sarebbe forse stato attratto dal carattere sistematico che questo tipodi studio presenta, ma se ne sarebbe probabilmente tenuto lontano per il suo aspetto aperto e non conclusivo ...
Leggi Tutto
Scienza greco-romana. La scienza greca e l'Oriente
André Pichot
La scienza greca e l'Oriente
La scienza e la filosofia sono state a lungo considerate il frutto del 'miracolo greco', un frutto incomparabile [...] altro lato sono di natura diversa a seconda delle civiltà.
V'è prima di tutto una differenza nel tipodi scrittura. I queste e adattate. Probabilmente il carattere elementare e 'culturalmente neutro' di queste conoscenze ne rendeva possibile ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. La sintesi newtoniana
Maurizio Mamiani
La sintesi newtoniana
Le opere maggiori di Newton
Isaac Newton rese pubbliche due sole opere, destinate [...] dei Principia non ha ovviamente quel caratteredi accuratezza matematica raggiunto dalla meccanica successiva come l'uomo al suo corpo. La volontà umana è il 'tipo' di quella divina. Ogni difficoltà che concerne la natura della materia può ...
Leggi Tutto
La grande scienza. Combinatoria
Peter J. Cameron
Combinatoria
Secondo alcuni la combinatoria costituisce soltanto una parte della matematica, secondo altri essa non rappresenta una branca separata, [...] ). In parte è ditipo algoritmico: si dimostra che un certo numero di problemi di teoria dei grafi appartengono di Gödel non aveva un significato matematico. Il primo esempio di enunciato dicarattere matematico non dimostrabile nell'aritmetica di ...
Leggi Tutto
La grande scienza. Teoria dei numeri
Anatolij A. Karatsuba
Teoria dei numeri
La teoria dei numeri o, adottando una locuzione di Carl Friedrich Gauss (1777-1855), l'aritmetica superiore, è lo studio [...] 'carattere reale' χ, il problema degli zeri reali, strettamente legato al problema di Gauss sul comportamento del numero h(−d) delle classi di forme quadratiche binarie a discriminante negativo −d (l'insieme delle forme quadratiche binarie del tipo ...
Leggi Tutto
Scienza greco-romana. Archimede
Reviel Netz
Archimede
Archimede è l’unico dei matematici greci di cui abbiamo notizie storiche; questa eccezionalità è dovuta in parte ai risultati da lui ottenuti, [...] lo schiacciamento limite si costruiscono poligoni con molti lati, del tipodi quelli utilizzati nell’opera Della sfera e del cilindro, il punto cruciale, non si tratta di ipotesi dicarattere fisico. Archimede non coglie qualche comportamento ...
Leggi Tutto
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 [...] presentata in un simbolismo logico, nonostante il carattere tecnico di concetti, principî e argomenti adoperati, è all'interno di tale 'tipo'. In un adeguato ordinamento dei tipi, poi, il tipodi una classe è maggiore del tipodi ogni argomento ...
Leggi Tutto
tipo
s. m. [dal lat. typus, gr. τύπος «impronta; carattere, figura, modello», dal tema di τύπτω «battere»]. – 1. Con il sign. originario di impronta, fatta battendo o premendo, si conserva in due accezioni specifiche: a. In numismatica, figurazione...
famìglia s. f. [lat. famĭlia, che (come famŭlus «servitore, domestico», da cui deriva) è voce italica, forse prestito osco, e indicò dapprima l’insieme degli schiavi e dei servi viventi sotto uno stesso tetto, e successivamente la famiglia nel...