Paul Bernays

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacji, wyszukiwania
Bernays.jpg

Paul Isaac Bernays (ur. 17 października 1888 w Londynie, zm. 18 września 1977 w Zurychu), szwajcarski matematyk i logik pochodzenia brytyjskiego. Pracował na stanowisku profesora w Zurychu i Getyndze. Zasłynął jako współtwórca teorii dowodu i jednego z aksjomatycznych ujęć teorii mnogości, znanego jako teoria mnogości von Neumanna-Bernaysa-Gödla. Uważał on, że zbiór jest mnogością tworzącą rzeczywisty przedmiot matematyki, podczas gdy klasa jest orzecznikiem, branym pod uwagę tylko w odniesieniu do jego rozwinięcia. Był autorem takich prac, jak: Grundlagen der Mathematik (t. 1-2, 1934-39, z Davidem Hilbertem), Abhandlungen zur Philosophie der Mathematik (1976).

Bibliografia:

  • "Wielka Encyklopedia Oxfordu", Oxford Educational, Poznań 2008