BERNAYS, PAUL (1888-1977)

Nac. en Londres, adquirió ciudadanía suiza, siendo profesor de matemáticas en la Eidgenossische Technische Hochschule de Zürich. Es consi­derado como uno de los neofriesianos influi­dos por Leonhard Nelson y ha colaborado en el programa bosquejado por Gonseth y que tiene su órgano en la revista Dialéctica. Sus más importantes contribuciones son en el campo de la metamatemática, especialmente la teoría de la prueba, y la teoría de los con­juntos. Colaboró con Hilbert en su obra sobre los fundamentos de la matemática. Bernays reformuló y simplificó la teoría axiomática de los conjuntos de Johannes (John) von Neumann; el sistema es conocido con el nombre de Neumann-Bemays.

Escritos principales: «Ueber Hilberts Gedanken zur Grundlegung der Arithmetik», Jahresbericht der Deutschen Mathematiker Vereignigung, 31, sección 1 (1922), 10-19 («Sobre las ideas de H. acerca del funda­mento de la aritmética»). — «Axiomatische Untersuchung