Cerca in:
Computazione, teoria della
Enciclopedia della Scienza e della Tecnica (2007)
Computazione, teoria della
Fabrizio Luccio
La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] dei Principia matematica di Bertrand Russell e Alfred N. Whitehead, aveva trovato una risposta negativa nel 1931 stato s∈S, legge un carattere c∈Π dal nastro ed esegue una delle azioni seguenti:
a) se ∂(s,c)=(t,d,m), con t∈S, d∈Π e m∈{←,→}, la ...
Leggi Tutto
CATEGORIA:
ANALISI MATEMATICA
Peano, Giuseppe
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Giuseppe Peano
Clara Silvia Roero
Negli ultimi decenni dell’Ottocento e nei primi del Novecento le ricerche matematiche, logiche e linguistiche di Giuseppe Peano ebbero una straordinaria eco internazionale. [...] ai sistemi di tali equazioni, mediante l’utilizzo dei complessi a n unità. Tuttavia il fatto che egli si fosse servito del Jules-Henri Poincaré, Bertrand Russell, Alfred North Whitehead, Couturat, Émile Borel, Maximilien Winter, Giovanni Vacca ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
algebra di Boole
Enciclopedia della Scienza e della Tecnica (2008)
algebra di Boole
Silvio Bozzi
Introdotte nel 1848 da George Boole come controparte algebrica della logica dei termini e di quella ipotetica, le algebre di Boole trovano una prima formulazione assiomatica [...] per opera di Alfred N. Whitehead ed Edward V. Huntington nei primi anni del Novecento e, nella doppia veste di algebra delle e un solo complemento diremo che è complementato e potremo definire un’operazione ′: A→A per cui
x ∨ x ′ = 1 x ∧ x ′ = 0 ...
Leggi Tutto
La logica e i fondamenti della matematica tra Ottocento e Novecento
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] :
1. 1 ∈ N
2. a ∈ N . ⊃ . . = a.
3. a, b ∈ N . ⊃ : . = b . = . . = a.
4. a, b, . ∈ N . ⊃ ∴ . = b . . = c : ⊃ . . = c.
5. a = . . . ∈ . : ⊃ . . ∈ N.
6. a ∈ N . ⊃ . a + 1 ∈ N.
7. a, b ∈ N . ⊃ : . = b . = . . + 1 = b + 1.
8. a ∈ N . ⊃ . . + 1 – = 1 ...
Leggi Tutto
Whitehead
Enciclopedia on line
Matematico (Madras 1904 - Princeton 1960), nipote di Alfred North Whitehead (v.). Compì i suoi studî a Oxford e a Princeton, dove incontrò il matematico O. Veblen che ebbe influenza sul suo orientamento [...] scientifico. Prof. di matematica pura a Oxford dal 1947; dal 1944 membro della Royal l'operazione chiamata prodotto di Whitehead. I suoi risultati sui gruppi campi di vettori indipendenti tangenti alla sfera n-dimensionale (Adams, 1962). È autore ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] il suo maestro, il matematico e filosofo Alfred North Whitehead (1861-1947) e doveva essere 'rivolto esclusivamente ai dato un qualsiasi n∈ℕ, stabilisce P(n), dapprima da P(0)⇒P(1), poi da P(1)⇒P(2),…, fino a raggiungere P(n−1)⇒P(n).
Il primo ostacolo ...
Leggi Tutto
Geometria
Enciclopedia della Scienza e della Tecnica (2007)
Geometria
Edoardo Vesentini
Nel tracciare i lineamenti essenziali di una storia della matematica, Federigo Enriques osservava nel 1938: "A chi raffronti gli sviluppi che i diversi rami delle matematiche [...] nel 1934 e nel 1935, quella delle varietà non compatte a base numerabile da John H.C. Whitehead nel 1940. Per varietà topologiche in generale, ossia per spazi di Hausdorff a base numerabile localmente omeomorfi ad aperti di spazi euclidei con ...
Leggi Tutto
CATEGORIA:
GEOMETRIA
La grande scienza. Cronologia scientifica: 1941-1950
Storia della Scienza (2003)
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] >1, da una regione di ℝm a un sottoinsieme di ℝn, ha misura nulla se m=n, oppure se m>n ma q≥m−n+1.
Gli zeri della funzione ζ. Il .
I CW-complessi. L'inglese John Henry Constantine Whitehead introduce la nozione di CW-complesso (dove C sta ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Gabriele Lolli
La teoria degli insiemi
La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] dei Principia mathematica (1910-1913) di Alfred North Whitehead (1861-1947) e Russell, in cui la teoria in cui non ce n'è nessuno; argomento suggerito da Zermelo e che rivela come già si cominciasse a guardare a questi cardinali dall'alto e ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
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 [...] con il suo insegnamento alla Harvard University: oltre a Process and reality, Science and the modern world trad. it. 1951); Essays in science and philosophy (post., 1948); Modes of thought (post., 1956); Dialogues of A. N. W. (post., 1956). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE