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 [...] e nel caso k=0 la formula equivarrà a (A1⋀… An)⇒⊥. Vedremo più avanti come il calcolo si possa estendere a linguaggi più forti; limitiamoci per ora al caso del primo ordine classico ‒ privato dell'identità ‒ introducendo il sistema LK.
Il sistema LK ...
Leggi Tutto
Il Rinascimento. Le arti matematiche
Eberhard Knobloch
Ivo Schneider
Le arti matematiche
Il concetto di scienze matematiche
di Eberhard Knobloch
Il Rinascimento riprese dal Medioevo il concetto delle [...] delle proporzioni derivava dal fatto che, prima dell'invenzione del calcolo infinitesimale nel XVII sec., essa rappresentava il linguaggio della filosofia naturale quando a essa era applicata la matematica. Lo stesso Galileo Galilei (1564-1642), che ...
Leggi Tutto
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 [...] a come è introdotta l'equazione di secondo grado nei Nove capitoli, cioè come un'operazione su due posizioni (nel nostro linguaggio, il coefficiente di x e il termine noto), l'equazione cubica è introdotta come un'operazione su tre posizioni (i ...
Leggi Tutto
Morbilità
Mirko D. Grmek
sommario: 1. Concetti e metodi. a) Orientamenti attuali dell'epidemiologia e definizione dei criteri di misura della morbilità. b) La malattia e le malattie: il problema della [...] .
È ovvio che la statistica classifica le diagnosi e non le malattie. La nomenclatura delle malattie costituisce una specie di linguaggio il cui uso non è privo di caratteristiche proprie di ciascuna istituzione medica e di ogni medico. La frequenza ...
Leggi Tutto
La scienza in Cina: i Ming. Matematica e astronomia
Guo Shirong
Li Zhaohua
Alexei Volkov
Peter Engelfriet
Chu Pingyi
Matematica e astronomia
La perdita delle conoscenze matematiche e astronomiche
di [...] termine cinese equivalente per rendere ogni determinato concetto. Benché questa scelta presentasse il vantaggio di dare luogo a un linguaggio elegante e di immediata comprensibilità, essa aveva però l'inconveniente di mettere in ombra, in vari casi ...
Leggi Tutto
L'Ottocento: matematica. Calcolo delle probabilita e statistica
Ivo Schneider
Calcolo delle probabilità e statistica
Il ruolo di Laplace nella stocastica del XIX secolo
Numerosi autori hanno contribuito [...] di φ(x) e dall'asse delle ascisse risulta
μ pertanto non è altro che il valore atteso dei singoli errori. Nel linguaggio dell'analisi dei tempi di Weierstrass, indicando gli errori con εi con i =1,…,s, il teorema di Laplace afferma che, fissati ...
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 [...] Una delle più significative tendenze nella teoria dei numeri degli ultimi cento anni è l'uso sempre maggiore del linguaggio e degli strumenti della geometria algebrica nei problemi aritmetici. In proposito la letteratura è tanto vasta da costringerci ...
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 [...] sviluppata in epoca alessandrina, che formulò la cosmologia egiziana del dio Theuth e di Ermete Trismegisto nel linguaggio della filosofia greca. Gli alchimisti arabi identificarono spesso Ermete Trismegisto con il profeta antidiluviano Idrīs (in ...
Leggi Tutto
Scienza indiana: periodo vedico. Discipline ausiliarie dei Veda
Christopher Minkowski
Takao Hayashi
David Pingree
Discipline ausiliarie dei Veda
Testi per i rituali solenni (Śrautasūtra)
di Christopher [...] da una parte, e i testi della rivelazione (śruti) e gli Śrautasūtra, dall'altra. Il formato e il linguaggio dei Gṛhyasūtra ricordano lo stile dei sūtra tipico degli Śrautasūtra; inoltre, la descrizione delle offerte di cibo cotto (pākayajña ...
Leggi Tutto
L'Ottocento: matematica. Analisi complessa
Jeremy Gray
Analisi complessa
Lo sviluppo dell'analisi complessa è una delle caratteristiche salienti della matematica del XIX secolo. Lo studio di funzioni [...] era il leader di un forte gruppo di geometri algebrici che cercarono di riscrivere le idee di Riemann nel linguaggio della geometria proiettiva delle curve algebriche e di ritornare all'analisi attraversando il ponte, come essi lo chiamavano, fornito ...
Leggi Tutto
linguaggio
linguàggio s. m. [der. di lingua]. – 1. Nell’uso ant. o letter., e talora anche nell’uso com. odierno, lo stesso che lingua, come strumento di comunicazione usato dai membri di una stessa comunità: parlare con proprietà di l.; Questi...
elaborazione del linguaggio naturale (sigla NLP, Npl) loc. s.le f. Ramo dell'informatica e, in particolare, dell'intelligenza artificiale, che studia come programmare i computer perché analizzino e comprendano i dati del linguaggio naturale...