John W. Dawson Jr. - John W. Dawson Jr.
John W. Dawson Jr. (ur. 4 lutego 1944) jest emerytowanym profesorem matematyki na Pennsylvania State University w Yorku . Urodzony w Wichita, Kansas , uczęszczał MIT jako Narodowy Zasługi Scholar przed zdobywając doktorat z logiki matematycznej z University of Michigan w 1972 międzynarodowo uznaną władzę nad życiem i twórczością Kurta Gödla , profesor Dawson jest autorem licznych artykułów na aksjomatycznej teorii mnogości i historii współczesnej logiki . W latach 1982-1984 skatalogował prace Gödla w Institute for Advanced Study inPrinceton , a następnie był współredaktorem Dzieł Zebranych Gödla. Niedawno przeszedł na emeryturę jako współredaktor naczelny czasopisma History and Philosophy of Logic .
Książki Dawsona
- John W. Dawson Jr, 1997. Dylematy logiczne: życie i twórczość Kurta Gödla , AK Peters , Wellesley, MA, ISBN 1-56881-256-6
- John W. Dawson Jr, 2015. Po co udowadniać to jeszcze raz? Alternatywne dowody w praktyce matematycznej , Springer , Chaim, ISBN 978-3-319-17367-2
Dodatkowe publikacje
- Dawson, John W. Jr. Opublikowana praca Kurta Gödla: bibliografia z adnotacjami . Notre Dame J. Logika formalna 24 (1983), nr. 2, 255–284.
Bibliografia
Linki zewnętrzne