Gödel's Ontological Proof and its Variants

Bibliographic details

Authors

Petr Hájek

Publication year

2011

Publication type

Kapitola v monografii

Periodical

Kurt Gödel and the Foundations of Mathematics: Horizons of Truth

Projects

• Mathematical foundation of inference and decision under uncertainty

Bibliographic citation

HÁJEK, Petr. Gödel's Ontological Proof and its Variants. In: BAAZ, M., PAPADIMITRIOU, C.H., V, H.W., SCOTT, D.S., HARPER, C.L., eds. Kurt Gödel and the Foundations of Mathematics: Horizons of Truth. Cambridge: Cambridge University Press, 2011, S. 307-321. ISBN 978-0-521-76144-4
Dostupné z: doi:10.1017/CBO9780511974236.017

DOI

10.1017/CBO9780511974236.017

ID

361226