La scienza in Cina: dai Qin-Han ai Tang. La matematica
Alexei Volkov
Karine Chemla
Qu Anjing
La matematica
Le bacchette
di Alexei Volkov
Il sistema di numerazione cinese, sistema decimale e principio [...] da parte il problema originale, nel quale a/b e c/d sono l'altezza e la base di un rettangolo, e, ai fini della dimostrazione, introduce un nuovo problema: "5 [ossia b] cavalli valgono 3 [ossia a] jin d'oro [un jin equivale a 220 o 250 g ca.]; se ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Geometria pratica
Hélène Bellosta
Geometria pratica
Nella classificazione delle scienze di al-Fārābī figura la categoria dei 'procedimenti [...] Questa neũsis si basa sull'intersezione di un cerchio e di un'iperbole, ed equivale a una delle soluzioni di questo problema esposte e dimostrate da al-Ḫāzin nella prima metà del X secolo.
Sia AB il lato del cubo che si vuole duplicare (fig. 4). Si ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Gabriele Lolli
La teoria degli insiemi
La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] di W, ma Zermelo ha buon gioco a confutarle. Di W si parla molto in quegli anni e lo si usa anche nelle dimostrazioni; si sa che è contraddittorio, ma questo non vuol dire che non lo si menzioni, per quanto non sia chiaro come modificarne la ...
Leggi Tutto
Matematico e logico matematico statunitense (Long Branch, New Jersey, 1934 - Stanford 2007), professore di matematica a Stanford dal 1964. Il suo più importante risultato (teorema di C., 1963) è la dimostrazione [...] dall'ipotesi cantoriana del continuo ("non esistono cardinalità intermedie tra quella del numerabile e quella del continuo"); questa dimostrazione è stata realizzata col "metodo del forcing" ideato dallo stesso Cohen. Altre sue ricerche riguardano i ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Geometria delle coniche, luoghi, contatti e costruzioni
Philippe Abgrall
Hélène Bellosta
Geometria delle coniche, luoghi, contatti e costruzioni
L'opera [...] la costruzione di questo triangolo prolungando la retta BC da entrambi i lati, fino a due punti D ed E tali che CD=CA e BE=BA.
Dimostra allora che la divisione (D,C,B,E) deve soddisfare le relazioni DB∙BC=BE2 e CE∙EB=CD2, e dunque che è di tipo I ...
Leggi Tutto
Hauptsatz di Gentzen
Silvio Bozzi
Con questo nome (che significa teorema fondamentale) nella letteratura logica si indica una classe di teoremi il cui prototipo è dato dal risultato ottenuto da Gerhald [...] in base al quale – all’interno del calcolo classico dei sequenti LK per la logica elementare – ogni sequente dimostrabile Γ⇒Δ ha una dimostrazione che non utilizza la regola del taglio
Poiché la regola del taglio è l’unica del calcolo che comporta ...
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 [...] del mondo: non perché io creda all'eternità del mondo o che la conceda loro, ma perché è attraverso questa via che la dimostrazione diventa valida; e si arriva alla certezza perfetta di queste tre cose ‒ l'esistenza di Dio, che Egli sia unico e che ...
Leggi Tutto
Affermazione, proposizione, tesi, opinione che, per il suo contenuto o per la forma in cui è espressa, appare contraria all’opinione comune o alla verosimiglianza e riesce perciò sorprendente o incredibile. [...]
P. del liberale paretiano Teorema presentato dall’economista indiano A.K. Sen (1970) con il quale si vuole dimostrare come, nell’ambito della teoria delle scelte collettive, sia impossibile trovare regole capaci di soddisfare simultaneamente sia il ...
Leggi Tutto
Numeri, teoria dei
LLarry Joel Goldstein
di Larry Joel Goldstein
SOMMARIO: 1. Introduzione: a) argomenti fondamentali; b) la teoria dei numeri nel XVII e XVIII secolo; c) Gauss. □ 2. Teoria algebrica [...] gt;AT per una costante A indipendente da T. Questo risultato è stato migliorato in modo sostanziale da A. Selberg che, nel 1944, ha dimostrato che N0(T)>AT log T. In altre parole, almeno una parte, 2πA, degli zeri di ζ(s) si trovano dove l'ipotesi ...
Leggi Tutto
Linguistica
Forme o parole postulate Quelle forme o parole antiche, di solito contrassegnate con asterisco, che non sono documentate in alcun testo, ma di cui viene ragionevolmente supposta l’esistenza [...] del francese roche e del logudorese rocca).
Matematica
Proposizione che, senza essere dimostrata, si assume, o si richiede all’interlocutore di assumere, come fondamento di una dimostrazione o di una teoria (in generale, di un sistema deduttivo). È ...
Leggi Tutto
dimostrazione
dimostrazióne s. f. [dal lat. demonstratio -onis]. – 1. a. Ogni atto, fatto, comportamento, parola o discorso che mostra o dimostra o rivela qualche c0sa, che cioè rende o con cui si rende manifesto, conosciuto, chiaro o certo...