Cipólla, Michele
Enciclopedia on line
Matematico italiano (Palermo 1880 - ivi 1947). Prof. di analisi matematica nell'univ. di Catania (1911-23), quindi in quella di Palermo. Ha portato notevoli contributi alla teoria dei numeri, alla teoria [...] dei gruppi e dei corpi numerici. Insigne cultore di logica matematica: per evitare il postulato di Zermelo, ideò la teoria delle successioni di insiemi, che fu poi largamente usata dai cultori della teoria delle funzioni di variabile reale. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Boole, George
Enciclopedia on line
Matematico e logico inglese (Lincoln 1815 - Cork 1864). Già nel 1844 ebbe riconoscimenti dalla Royal Society; prof. di matematica dal 1849 al Queen College di Cork. Autore di ricerche sulle equazioni differenziali [...] differenze finite, è tuttavia principalmente noto per i suoi studî di logica matematica che lo pongono a fondatore dell'algebra della logica (The mathematical analysis of logic, 1847; An investigation of the laws of thought, 1854). Egli introdusse ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Frege, Gottlob
Enciclopedia on line
Filosofo e matematico tedesco (Wismar 1848 - Bad Kleinen, Meclemburgo, 1925); insegnò lungamente a Jena; erano gli anni in cui scienziati illustri come K. Weierstrass, J. W. R. Dedekind, G. Cantor davano [...] lavori di F. hanno notevole importanza, sia dal punto di vista filosofico sia da quello tecnico, nel quadro storico della logica matematica. Il valore della sua opera, pressoché ignorata in vita, fu pienamente riconosciuto solo dopo la sua morte. La ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
PROBABILITÀ, Calcolo delle
Enciclopedia Italiana - IV Appendice (1981)
PROBABILITÀ, Calcolo delle (XXVIII, p. 259; App. II, 11, p. 611; III, 11, p. 485)
Giorgio Dall'Aglio
Il calcolo delle p., entrato con l'inizio del secolo nella sua fase moderna, ha proseguito anche negli [...] in una certa misura", che è appunto la p. di B, data A. La teoria della p. viene così vista come "la logica dell'incerto". Per formalizzare la determinazione della p. e le sue regole di calcolo sono stati fatti numerosi tentativi, basati in genere su ...
Leggi Tutto
distributivita
Dizionario delle Scienze Fisiche (1996)
distributivita
distributività [Der. di distribuito] [ALG] Il carattere, proprio di una certa operazione, di godere della proprietà distributiva rispetto a un'altra operazione: così, in un anello si ha [...] d. del prodotto rispetto alla somma (ma non viceversa). ◆ [FAF] Nella logica enunciativa vale la d. della congiunzione (simb. ⌃) rispetto alla disgiunzione (simb. ⌄), e viceversa; si hanno cioè le due leggi: p⌃(q⌃r)=(p⌃q)⌄(p⌃r), p⌄(q⌃r)=(p⌄q)⌃(p⌄r). ...
Leggi Tutto
Post, Emil Leon
Enciclopedia on line
Logico e matematico statunitense (Augustów, Polonia, 1897 - New York 1954); prof. (1944) all'univ. di New York. Nel 1921 diede la prima dimostrazione della completezza sintattica del calcolo proposizionale [...] calcolo dei predicati; poco dopo introdusse, indipendentemente da L. Wittgenstein, il metodo delle tavole di verità per la logica elementare, proponendo inoltre un sistema formale in cui ciascuna variabile potesse assumere non solo i due valori di ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Cantor, Georg
Enciclopedia on line
Matematico tedesco (Pietroburgo 1845 - Halle 1918); prof. all'univ. di Halle dal 1872 al 1905. È stato uno dei matematici più acuti del sec. 19º, le cui idee, spesso contrastate all'inizio, hanno rivoluzionato [...] concezioni tradizionali della matematica e della logica. Il C. ha ricondotto l'idea di numero cardinale (degli oggetti di un insieme) a quella di corrispondenza: il numero cardinale di un insieme I non è altro che l'astratto degli insiemi i cui ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Scienza indiana. La scienza nella cultura indiana
Storia della Scienza (2001)
Scienza indiana. La scienza nella cultura indiana
Frits Staal
La scienza nella cultura indiana
Il concetto di scienza e la classificazione delle scienze
Per designare le conoscenze sistematiche indiane [...] cielo e della Terra, redatto in collaborazione con Wang Ling e pubblicato nel 1959, e il v. VII, Il linguaggio e la logica, redatto da Christoph Harbsmeier e pubblicato nel 1998, dopo la morte di Needham) darà fondamento all'idea che è l'India e non ...
Leggi Tutto
singolare
Dizionario delle Scienze Fisiche (1996)
singolare
singolare [agg. Der. del lat. singularis "proprio di uno solo"] [LSF] Di ente che si comporta in modo diverso dal normale, che presenta eccezioni rispetto a qualche proprietà, in contrapp. [...] a normale e regolare. ◆ [ALG] [FAF] Proposizioni s.: nella logica matematica, proposizioni che riguardano uno e un solo oggetto o individuo. ◆ [ALG] [ANM] Punto s.: (a) di una curva, una superficie o, in generale, una varietà, un punto costituente ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
ALGEBRA
–
ANALISI MATEMATICA
–
EPISTEMOLOGIA
–
METAFISICA
fuzzy
Enciclopedia on line
Con la locuzione 'insieme fuzzy' si indicano: (a) un insieme al quale alcuni elementi appartengono in modo parziale (tali insiemi possono descrivere situazioni reali nelle quali è difficile precisare un [...] posto molti problemi a causa della loro elusività e che hanno spinto Gottlob Frege a espungerli dall’orizzonte della logica. La proposta di Zadeh ha sollevato, in effetti, alcune questioni interessanti dal punto di vista fondazionale. Un problema ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA