Cerca in:
Skolem, Thoralf
Enciclopedia on line
Logico e matematico (Sandsvär 1887 - Oslo 1963). Prof. a Bergen e a Oslo. Ha dato un contributo determinante alla costruzione della teoria assiomatica degli insiemi; ha dimostrato per primo che nessun [...] insieme finito o numerabile di assiomi esprimibile nella logica elementare è capace di definire la teoria dei numeri in modo da caratterizzarla completamente. Tra le opere: Einige Bemerkungen zur axiomatischen ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Mirimanov, Dimitrij
Enciclopedia on line
Matematico e logico russo (Preslavl´-Zalesskij 1861 - Ginevra 1945), prof. (dal 1922) all'univ. di Losanna. Si è occupato di problemi connessi alla teoria dei numeri. È stato il primo a sottolineare il [...] fatto che la teoria assiomatica degli insiemi di Zermelo non esclude l'esistenza di insiemi (cosiddetti "insiemi straordinarî") all'interno dei quali esiste una catena infinita di insiemi legati dalla relazione di appartenenza. Tra i suoi lavori: Les ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Harsányi, John Charles
Enciclopedia on line
Economista e filosofo ungherese naturalizzato statunitense (Budapest 1929 - ivi 2000). Vincitore del premio Nobel nel 1994 (con J. Nash e R. Selten) per la sua "analisi pionieristica degli equilibri nella [...] e distinguished fellow dell'American Economic Association. Le ricerche di H. si sono concentrate essenzialmente sulla teoria assiomatica del comportamento razionale, da lui estesa a un'ampia categoria di situazioni che non avevano ancora ricevuto ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Noether, Emmy
Enciclopedia on line
Matematica (Erlangen 1882 - Bryn Mawr, Pennsylvania, 1935), figlia di Max. Dal 1922 insegnò all'univ. di Gottinga; nel 1933 emigrò negli USA, dove insegnò al Bryn Mawr College. Studiò questioni di algebra [...] astratta (teoria degli ideali, rappresentazioni di sistemi ipercomplessi, ecc.), secondo la tendenza "assiomatica", astratta, della moderna algebra. Si deve in gran parte a lei il moderno concetto di punto generale della geometria algebrica. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Senior, Nassau William
Enciclopedia on line
Economista (Compton, Berkshire, 1790 - Kensington 1864), uno dei più eminenti rappresentanti della scuola classica. Prof. nell'univ. di Oxford (1825-30 e 1847-52), fece parte di varie commissioni reali. [...] Può considerarsi tra i fondatori dell'economia pura per aver tentato, per primo, di dare una base assiomatica all'economia politica ricollegando i varî fenomeni a pochi postulati e per aver cercato di arrivare alla formulazione di una teoria ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Euclide
Enciclopedia on line
Matematico greco, autore di numerosi trattati, operò attorno al 300 a. C. nella colonia di Alessandria, allora di recente fondazione. E. è particolarmente noto per un'opera, gli Elementi (v.), contenente [...] del ruolo paradigmatico degli Elementi come fondamento della matematica, l'influenza esercitata sul pensiero occidentale dall'idea del metodo assiomatico e del suo status di verità suprema fu grandissima. Non è un caso che solo la Bibbia superi per ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Bourbaki, Nicolas
Enciclopedia on line
Pseudonimo collettivo sotto il quale, dal 1933, lavora un gruppo di matematici, per lo più francesi, ex alunni dell'École Normale Supérieure, detti "bourbakisti". Ricordiamo tra essi H. Cartan, Cl. Chevalley, [...] dal 1939 un'opera collettiva intitolata Éléments de mathématique ("Elementi di matematica"), concepita secondo una visione unitaria, assiomatica a partire dalla logica, per evitare una frammentazione della matematica in branche non comunicanti. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Lorenzen, Paul Peter Wilhelm
Enciclopedia on line
Logico e matematico tedesco (Kiel 1915 - Gottinga 1994), prof. di filosofia all'univ. di Kiel (dal 1956; dal 1980 prof. emerito). Creò la logica operativa, che rappresenta una posizione intermedia fra [...] che in pratica fa il logico, cioè sul suo "operare con simboli", e in questo modo è costruttiva e assiomatica. Nei calcoli logici considera "ammissibili" nuovi assiomi o regole se ogni loro applicazione può essere sostituita mediante altri passaggi ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Pasch, Moritz
Enciclopedia on line
Matematico (Breslavia 1843 - Homburg 1930). Studiò a Berlino, dove risentì l'influsso di K. Weierstrass e di L. Kronecker; fu prof. nell'univ. di Giessen; si occupò dapprima di problemi algebrico-geometrici [...] essenziali. Nelle sue Vorlesungen über neuere Geometrie (1882) appare, per la prima volta, la piena consapevolezza della struttura logica di un sistema ipotetico-deduttivo, così che P. può essere considerato il fondatore dell'assiomatica moderna. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE