i Paul Isaak Bernays | enciclopèdia.cat

OBRES

OBRES

Divulgació científica
Estadístiques
Gran enciclopèdia catalana

Paul Isaak Bernays

Filosofia    Matemàtica
matemàtiques mat i lògica lòg
Matemàtic i lògic suís.
Londres, 1888 — Zuric, 1972

Coautor amb D. Hilbert dels Grundlagen der Mathematik (1934-39). En teoria de conjunts formulà un sistema axiomàtic, sobre la base del de von Newmann, que fou posteriorment estudiat per K. Gödel (sistema de von Neumann-Bernays-Gödel), i que distingia entre classes i conjunts (Axiomatic Set Theory, 1958).

Llegir més...