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 [...] Horn, vale a dire clausole della forma p1,…,pn⇒q, e per dei goal del tipo ∃y1,…,∃up A, dove A è una congiunzione D1 … Dtdi formule atomiche. Se indichiamo con Γ′ l'insieme di tutte le clausole ottenute per sostituzione da quelle in Γ, possiamo allora ...
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 [...] di riferimento impedì a Lagadha di costruire un sistema funzionale. Se non è noto quando nel passato si sia verificata una congiunzione tra il Sole e la Luna all'inizio delle Śraviṣṭhā, non è possibile calcolare in quale momento del corrente yuga ci ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia
Ettore Casari
La scuola di Leopoli-Varsavia
Gli inizi
La singolare vicenda intellettuale divenuta nota come 'Scuola [...] di funzioni'). Si hanno così la categoria dei funtori proposizionali monadici (fra cui la negazione), diadici (fra cui la congiunzione, il condizionale, ecc.), poi i funtori da questi funtori a proposizioni o da questi funtori ad altri funtori, e ...
Leggi Tutto
Matematica
CCarla Frova
Tra le scienze oggetto dell'interesse di Federico II e coltivate presso la sua corte, la matematica occupa certamente uno spazio meno ampio di quello che ebbe la filosofia naturale. [...] consueta cultura mercantile: ciò spiega come questo suo testo abbia potuto svolgere la funzione di "anello di congiunzione tra la matematica teorica successivamente insegnata nelle università e la matematica pratica, destinata a essere utilizzata dai ...
Leggi Tutto
L'Eta dei Lumi: matematica. La matematica della teoria delle perturbazioni da Euler a Laplace
Curtis Wilson
La matematica della teoria delle perturbazioni da Euler a Laplace
Accanto allo sviluppo dei [...] 8] e [9] restava però la variabile v, che varia cospicuamente allorché i due pianeti passano dalla congiunzione all'opposizione e viceversa, e questa variazione rendeva la risoluzione delle equazioni particolarmente complessa; vedremo in seguito come ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Gino Loria
Livia Giacardi
Gino Loria è soprattutto noto per le sue ricerche di storia delle matematiche, settore in cui diede estesi e spesso significativi contributi in varie direzioni (studi su temi [...] alla formazione degli insegnanti con opportuni corsi universitari di didattica e di storia della matematica, «anello di congiunzione», secondo Loria, fra l’insegnamento secondario e quello superiore.
Questa sua convinzione e il desiderio di ...
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 [...] ' è l'unità determinativa (dispari e maschile), mentre la 'diade' è la potenza moltiplicativa (pari e femminile), e la loro congiunzione genera i numeri. Ora, nella numerazione sumera, il numero 1 si dice gesh, che significa anche 'uomo, maschio ...
Leggi Tutto
La scienza bizantina e latina prima dell'influsso della scienza araba. Aritmetica e geometria
Menso Folkerts
Aritmetica e geometria
Le discipline matematiche del quadrivio
Tra il 500 e il 1100 ca., [...] considerazione da Euler e sottoposti ad approfondite elaborazioni matematiche. Questo testo rappresenta dunque l'anello di congiunzione tra le conoscenze matematiche dell'Antichità, sia occidentali che orientali, e la matematica occidentale medievale ...
Leggi Tutto
Reticoli, analisi dei
Antonio M. Chiesi
Definizione
L'analisi dei reticoli, o network analysis, consiste in un insieme di metodi e tecniche di analisi strutturale che si basano sui seguenti postulati [...] i punti denominati con lettere maiuscole, gli archi sono i segmenti che li congiungono, denominati con lettere minuscole. La congiunzione di un vertice con un arco è detta incidenza, due vertici collegati da un arco sono detti adiacenti. La sequenza ...
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 [...] così chiamate in onore di De Morgan, al quale si deve un'applicazione sistematica di esse) sono un tipico esempio di comportamento duale di congiunzione e disgiunzione: 'non(p e q)' equivale a 'non-p o non-q'; 'non(p o q)' equivale a 'non-p e non-q ...
Leggi Tutto
congiunzione
congiunzióne s. f. [dal lat. coniunctio -onis, der. di coniungĕre «congiungere»]. – 1. a. Atto, effetto del congiungere o del congiungersi: la c. dei due eserciti; punto di c.; c. carnale, accoppiamento sessuale. b. L’essere congiunto,...
che2
che2 〈ké〉 pron. e agg. [lat. quid e altre forme pronominali] (radd. sint.). – È parola frequentissima, con usi varî: può essere pronome relativo, interrogativo, esclamativo, indefinito; con valore interrogativo-esclamativo può avere anche...