Russell, Bertrand Arthur William, conte
Enciclopedia on line
Filosofo e logico britannico (Trelleck, Galles, 1872 - Pernhyndeudraeth 1970). Tentò di risolvere i paradossi da lui stesso individuati nei progetti di fondazione logica dell'aritmetica, ed elaborò - risentendo [...] parte sottolineava l'importanza delle verità scientifiche e dall'altra invitava a evitare qualsiasi sistema speculativo cioè la metafisica (An outline of philosophy, 1928, trad. it. 1966; An inquiry into meaning and truth, 1940, trad. it. 1963; Human ...
Leggi Tutto
analitico
Enciclopedia on line
Filosofia
Nella logica kantiana, giudizio a. è quello nel quale il concetto del predicato è implicitamente contenuto nel concetto del soggetto, e in cui quindi basta analizzare il soggetto per ricavarne [...] detto cerchio, f(z) si può rappresentare mediante la serie di potenze:
essendo an = f(n)(a)/n!. Inversamente, una serie di potenze P(z−a) entro al suo cerchio C di convergenza rappresenta una funzione derivabile (soddisfa alle condizioni di Cauchy ...
Leggi Tutto
risultante
Enciclopedia on line
Fisica
In analisi vettoriale, di un sistema di vettori, liberi o applicati, si dice r. o somma vettoriale il vettore che si ottiene come risultato dell’operazione di composizione. In particolare, il r. [...] di esse il prodotto va eseguito facendo variare gli indici r, s da 0 a n e, rispettivamente, da 0 a m). Un’espressione esplicita del r. per mezzo dei coefficienti a0, …, an, b0, …, bm, ottenuta da J.J. Sylvester con il suo ‘metodo dialitico’, è data ...
Leggi Tutto
Whitehead, Alfred North
Enciclopedia on line
Logico, matematico e filosofo britannico (Ramsgate 1861 - Cambridge, Mass., 1947). La sua attività speculativa fu caratterizzata in un primo tempo da indagini sui fondamenti e i problemi della logica matematica [...] i fondamenti e i problemi della logica matematica e della teoria della relatività, scaturirono: i volumi A treatise on universal algebra (1898), An introduction to mathematics (1911; trad. it. 1953), i saggi dedicati all'approfondimento delle teorie ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Turing, Alan Mathison
Enciclopedia on line
Matematico e logico matematico britannico (Londra 1912 - Wilmslow, Cheshire, 1954). Pioniere della scienza dell'informazione e dell'intelligenza artificiale, ha legato il suo nome, in particolare, a un [...] artefatto. Durante la seconda guerra mondiale T. contribuì a decrittare il codice Enigma usato dai tedeschi per le comunicazioni radio.
Tra le opere: On computable numbers, with an application to the Entscheidungsproblem (1936-37); Computability and ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
monotona, funzione
Enciclopedia on line
monotona, funzione In matematica, una funzione f(x), reale di una variabile reale, si dice m. se per ogni coppia di valori x′, x″ del suo insieme di definizione, per la quale sia x′<x″, risulta f(x′)≤f(x″) [...] (funzione m. non decrescente; fig. A), ovvero f(x′)≥f(x″) (funzione m. non crescente; fig. B); se, in particolare, le disuguaglianze an≤an+1, la successione si dice m. non decrescente; se an<an+1, crescente; se an≥an+1, non crescente; se an>an+ ...
Leggi Tutto
CATEGORIA:
ANALISI MATEMATICA
Kaplansky, Irving
Enciclopedia on line
Matematico canadese naturalizzato statunitense (Toronto 1917 - Sherman Oaks, California, 2006), prof. (dal 1945 al 1984) all'univ. di Chicago, dove diresse (1962-67) il dipartimento di matematica. Direttore [...] Prize. Le sue ricerche furono prevalentemente orientate verso questioni di carattere algebrico: studio delle forme quadratiche a infinite dimensioni, anelli con identità polinomiali, algebra di operatori. Tra le opere: Infinite Abelian groups (1954 ...
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 [...] , è 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 un nuovo tipo di ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Hörmander, Lars
Enciclopedia on line
Matematico svedese (Mjällby, Blekinge, 1931 - Lund 2012). Prof. a Lund (dal 1955, dal 1996 emerito) e a Stoccolma (1957-64) e dal 1964 al 1967 all'Institute for advanced studies di Princeton. È stato uno [...] varietà e di equazioni alle derivate parziali. Nel 1962, a Stoccolma, è stato insignito della Fields Medal. Socio Tra le opere: Linear partial differential oper ators (1963), An introduction to complex analysis in several variables (1966, rist. 1973 ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Wilkes, Maurice Vincent
Enciclopedia on line
Matematico britannico (Dudley 1913 - Cambridge 2010). Ricercatore presso i Cavendish Laboratories e pioniere nello sviluppo degli elaboratori elettronici, ha diretto il progetto e la costruzione dell'EDSAC, [...] society. Tra le opere: Preparation of programs for an electronic digital computer (1951); Automatic digital computers (1956 CAP computer and its operating system (1968); Memoirs of a computer pioneer (1985); Computing perspectives (1995). Tra i premi ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE