Resultado de búsqueda
Paul Isaac Bernays (Londres, 17 de octubre de 1888-Zúrich, 18 de septiembre de 1977) fue un matemático suizo que hizo importantes contribuciones a la lógica matemática, la teoría de conjuntos axiomáticos y la filosofía de las matemáticas.
Paul Isaac Bernays (17 October 1888 – 18 September 1977) was a Swiss mathematician who made significant contributions to mathematical logic, axiomatic set theory, and the philosophy of mathematics. He was an assistant and close collaborator of David Hilbert.
Paul Bernays was a Swiss mathematician, who made important contributions to mathematical logic, axiomatic set theory, and the philosophy of mathematics. He is the B in the NBG axiom system. View four larger pictures
Paul Isaac Bernays ( Londres, 17 de octubre de 1888- Zúrich, 18 de septiembre de 1977) fue un matemático suizo que hizo importantes contribuciones a la lógica matemática, la teoría de conjuntos axiomáticos y la filosofía de las matemáticas. Fue asistente y colaborador cercano de David Hilbert.
17 de abr. de 2024 · Paul Isaak Bernays (born October 17, 1888, London, England—died September 18, 1977, Zürich, Switzerland) was a Swiss mathematician whose work in proof theory and axiomatic set theory helped create the new discipline of mathematical logic.
The name of Paul Bernays (1888-1977) is familiar probably first of all for his contributions to mathematical logic. Many of those were in the context of his position as David Hilbert's junior collaborator in his proof-theoretic program inaugurated after the first World War.
1 de ene. de 1979 · It was a standard reference on mathematical logic, proof theory, arithmetization of metamathematics, and recursion theory. Works of Paul Bernays may be grouped under three headings: (1) logic, (2) set theory, and (3) philosophy.