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 [...] Leibniz, 1900, trad. it. 1972; The principles of mathematics, 1903, trad. it. 1951; Principia mathematica, 3 voll., in collab. con A. N. Whitehead, 1a ed. 1910-13, 2a ed. 1925-27; Introduction to mathematical philosophy, 1919, trad. it. 1946), oltre ...
Leggi Tutto
sistema Nell’ambito scientifico, qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti tra loro e con l’ambiente esterno, reagisce o evolve [...] generale, di s. assiomatico. S. formali che hanno avuto una notevole importanza sono quelli di G. Frege, di B. Russell e A.N. Whitehead, di J. Łukasiewicz, di D. Hilbert e W. Ackermann, di D. Hilbert e P. Bernays.
Teoria matematica che si costruisce ...
Leggi Tutto
Ciascuno degli enti astratti che costituiscono una successione ordinata e che, fatti corrispondere ciascuno a ciascun oggetto preso in considerazione, servono a indicare la quantità degli oggetti costituenti [...] ha con G. Frege e successivamente con B. Russell e A.N. Whitehead: sottolineando l’assoluta irrilevanza dell’approccio psicologico, Frege rileva il carattere di oggettività del n., considerandolo un’entità astratta dotata di un’esistenza sui generis ...
Leggi Tutto
Rapporto che collega, in maniera essenziale o accidentale, due o più cose, fatti, concetti.
Esposizione, orale o scritta, con cui si danno informazioni intorno allo stato di una questione, ai risultati [...] Sviluppata tecnicamente sia da E. Schröder sia da C. Peirce, la nozione di r. fu largamente utilizzata da B. Russell e A.N. Whitehead.
Matematica
Nella teoria degli insiemi il concetto di r. tra due o più insiemi E, F, G, … equivale alla nozione di ...
Leggi Tutto
Filosofia
Principio certo per immediata evidenza e costituente la base per l’ulteriore ricerca. Kant, nella Critica della ragion pura, chiama a. dell’intuizione alcuni giudizi a priori, di evidenza immediata, [...] di regole d’inferenza. Sistemi assiomatici che hanno, o hanno avuto, una notevole importanza sono quelli di G. Frege, B. Russell-A.N. Whitehead, J. Lukasiewicz, D. Hilbert-W. Ackermann, D. Hilbert-P. Bernays. matematica
In origine, presso i Greci, l ...
Leggi Tutto
Filosofo e logico inglese (Cambridge 1903 - ivi 1930). Prof. all'università di Cambridge, conosciuto soprattutto per la sua analisi critica dei Principia mathematica di B. Russell e A. N. Whitehead, R. [...]
Fondamentale la sua analisi critica dei Principia mathematica di B. Russell e A. N. Whitehead che lo portò a proporre una semplificazione della teoria dei tipi, a introdurre la distinzione tra paradossi logici e paradossi semantici (dovuti questi ...
Leggi Tutto
LOGICA MATEMATICA (XXI, p. 398)
Ludovico GEYMONAT
MATEMATICA Negli ultimi decennî si è notevolmente sviluppata in direzioni assai diverse.
L'indirizzo di Peano. - L'uso del simbolismo di G. Peano, che [...] il tentativo di un'ulteriore riduzione dell'aritmetica alla logica.
Lo stesso B. Russell, nella commemorazione di A. N. Whitehead (1861-30 dicembre 1947), pubblicata in Mind (aprile 1948), ha dovuto melanconicamente riconoscere che lo sforzo da ...
Leggi Tutto
Il termine complessità è oggi frequentemente usato, in campo scientifico, in contesti diversi. In quello dell'informatica, dell'analisi numerica e dell'ottimizzazione, corrisponde alla caratteristica quantitativa [...] di globalizzare; ma è capace nello stesso tempo di riconoscere il singolare, l'individuale, il concreto.
bibliografia
A.N. Whitehead, Science and the modern world, Cambridge (Mass.) 1926 (trad. it. Torino 1979).
K. Gödel, Über formal unentscheidbare ...
Leggi Tutto
Premessa. - Gli sviluppi dell'a. nel quindicennio 1960-75 sono stati assai notevoli, sia dal punto di vista quantitativo sia da quello qualitativo. Prima di esaminare alcuni progressi in direzioni particolari, [...] - Lo studio comparativo delle principali strutture algebriche era stato proposto da A. N. Whitehead già nel 1898, con il nome di a. universale (A treatise on universal algebra). "L'a. universale è lo studio delle operazioni finitarie su di un insieme ...
Leggi Tutto
ZERO (fr. zéro; sp. cero; ted. Null; ingl. zero)
Michele Cipolla
Lo zero è da riguardarsi come numero nel senso cardinale (v. numero), quando risponde alla domanda "quanti sono gli oggetti (di una data [...] de Math., ivi 1902, p. 45; M. Pieri, in Boll. dell'Acc. Gioenia, Catania 1908; B. Russell e A. N. Whitehead, Principia Mathematica, I, Cambridge 1910; M. Cipolla, Analisi algebrica ed introduzione al calcolo infinitesimale, 2ª ed., Palermo 1921, cap ...
Leggi Tutto
prensione
prensióne s. f. [dal lat. tardo prensio -onis, der. di pre(he)ndĕre «prendere, afferrare»]. – 1. L’atto, e anche la funzione del prendere, con partic. riferimento alla capacità di appendici prensili: organi atti alla p.; la p. è...
organicismo
s. m. [der. di organico]. – 1. Teoria biologica generale sviluppata negli anni Venti in contrapp. al riduzionismo meccanicistico, che concepisce l’organismo vivente come un tutto unico e non come semplice somma delle singole parti:...