quantificazione
Dizionario delle Scienze Fisiche (1996)
quantificazione
quantificazióne [Der. dell'ingl. quantification, da to quantify "quantificare" (→ quantificatore), "atto ed effetto del quantificare"] [LSF] Termine talora usato, impropr., come sinon. [...] di quantizzazione. ◆ [ALG] [FAF] Teoria della q.: nella logica matematica, lo studio dei quantificatori e delle loro funzioni, strettamente collegato con lo studio dei predicati. ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
ALGEBRA
–
EPISTEMOLOGIA
–
METAFISICA
poliadico
Dizionario delle Scienze Fisiche (1996)
poliadico
poliàdico [agg. (pl.m. -ci) Der. di poliade] [LSF] Che è relativo a una poliade, spec. nella matematica, ove equivale a n-adico. ◆ [ALG] [FAF] Predicato, o attributo, p.: nella logica matematica, [...] predicato riferibile a più elementi, come, per es., il predicato "è maggiore di" ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
ALGEBRA
–
EPISTEMOLOGIA
–
METAFISICA
Becker, Oskar
Enciclopedia on line
Filosofo e storico della matematica (Lipsia 1889 - Bonn 1964), professore di filosofia nelle univ. di Friburgo (dal 1928) e di Bonn (1931-55). Seguace della fenomenologia di Husserl, di cui era stato discepolo, [...] si occupò di logica e storia della logica, di filosofia e storia della matematica. Tra le sue opere: Mathematische Existenz: Untersuchungen zur Logik und Ontologie mathematischer Phänomene, 1927; Geschichte der Mathematik (in collab. con J. E. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Vailati, Giovanni
Enciclopedia on line
Storico delle scienze, filosofo e matematico (Crema 1863 - Roma 1909). Figura di studioso originale, costantemente in contatto con la ricerca e la cultura europea (e statunitense) più avanzata, si occupò [...] di logica, filosofia della scienza, filosofia del linguaggio e storia della scienza (in partic. della matematica), con contributi ispirati a un acuto senso degli aspetti metodologici e linguistici dei problemi affrontati.
Vita
Laureato in matematica ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
esistenza
Enciclopedia on line
Filosofia
Nel linguaggio filosofico, lo stato di ogni realtà in quanto è tale, o, in senso specifico, lo stato della realtà che può essere oggetto di un’esperienza sensibile.
E. ed essenza
Nella storia [...] una soluzione in problemi estremali (di massimo e di minimo), K.T.W. Weierstrass e i suoi allievi, costruendo alcuni esempi nei quali non si hanno soluzioni, hanno messo in luce la necessità logica di dimostrare in primo luogo l’e. di una soluzione. ...
Leggi Tutto
matematica
Enciclopedia on line
Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] dell’Ottocento sorse il bisogno di una revisione e di un assetto della m. più soddisfacente dal punto di vista puramente logico.
Il nuovo atteggiamento di critica degli studi matematici, che ha fatto definire il 19° sec. il secolo della m. pura, fu ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
–
MATEMATICA APPLICATA
–
STORIA DELLA MATEMATICA
–
EPISTEMOLOGIA
–
METAFISICA
Modelli, Teoria dei
Enciclopedia della Scienza e della Tecnica (2007)
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] della teoria elementare dei numeri reali e mostra come trasferire queste proprietà alla geometria, formulando in termini logici generali la procedura che sta alla base della coordinatizzazione dello spazio euclideo sul campo dei reali. Strumento ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
Wallis, John
Enciclopedia on line
Matematico (Ashford 1616 - Oxford, Inghilterra, 1703). Personalità poliedrica, W. fu insegnante, teologo, e uomo politico, ma la sua impronta maggiore resta per i suoi studi matematici. Si occupò di quadratura [...] memoria presentata (1669) a un concorso bandito dalla Royal Society, di cui fu uno dei fondatori. Si occupò anche di logica e di teoria della definizione (Institutio logicae, 1687). W. curò, infine, un'edizione completa (1695-99) delle proprie opere ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
topos
Enciclopedia on line
topos Luogo comune, motivo ricorrente, in un’opera nella tematica di un autore o di un’epoca.
In matematica, particolare categoria, introdotta per la prima volta in questioni di topologia algebrica e di [...] logica matematica da A. Grothendieck verso il 1960; la nozione di t. è stata successivamente sviluppata da F.W. Lawvere e da altri. ...
Leggi Tutto
Sheffer Henry Maurice
Dizionario delle Scienze Fisiche (1996)
Sheffer Henry Maurice
Sheffer (talora Sheller) 〈šèfër〉 Henry Maurice [STF] (n. in Russia 1883 - Cambridge, Massachusetts, 1964) Prof. di matematica nell'univ. Harvard di Cambridge, Massachusetts. ◆ [ALG] [...] [FAF] Funtore di S.: nella logica matematica, detto anche operatore di S., e anche negazione alternativa o non congiunzione o incompatibilità, introdotto da S. nel 1913 e denotato con il simb. |; se p e q sono due enunciati, p|q è sempre vero, salvo ...
Leggi Tutto