Paul Bernays



[Bernajs], *17.11.1888 – †18.9.1977, švýcarský logik, profesor univerzity v Göttingen a Curychu, spoluprac. Hilbertův s nímž vydal Grundlagen der Mathematik (Základy matematiky). Napsal řadu prací o metalogických problémech a logických základech matematiky. Podal první důkaz úplnosti výrokové logiky.

Datum vytvoření: 14. 3. 2000
Datum aktualizace: 17. 10. 2006
Autor: -red-

Sdílet: Facebook Twitter

Reklama: