Курт Гедель и его онтологическое доказательство
- Страницы / Pages
- 153-172
Аннотация
Курт Гёдель наиболее всего известен математикам и философам своими знаменитыми теоремами о неполноте. Физики также хорошо знают его по релятивистской модели вращающейся Вселенной. Гораздо менее известен, особенно российской публике, вклад Гёделя в разработку своего собственного варианта онтологического доказательства бытия Бога. В статье рассматриваются исторические и философские предпосылки этого доказательства, его формальные особенности, а также различные его интерпретации. А также обсуждается значение геделева доказательства, как для философии, так и для науки вообще.
Abstract
K
Список литературы
‘Дискуссия по основаниям математики’ (2010) Философия и естествознание. Журнал («Познание»). Избранное, М. с. 60-81.
Лейбниц, Г.В. (1982) ‘Есть Совершеннейшее Существо’, в Лейбниц Г.В. Сочинения в четырех томах, том 1, М.: Мысль, с. 116-117.
Манин, Ю.И. (2010) ‘Истина, строгость и здравый смысл’, в Манин Ю.И. Математика как метафора, М.: МЦНМО, с. 75-91.
Пушкарский, А.Г. (2009) ‘Первое упоминание теоремы Гёделя’, РАЦИО.ru, №1, с. 132-143.
Улам, С.М. (2001) Приключения математики, Ижевск.
Adams, R. (1995) ‘Introductory note to *1970’, in Gödel K. Collected Works, vol. 3, Feferman, S., Dawson, J., Kleene, S., Moore, G., Solovay, R., and van Heijenoort, J. (eds.). Oxford – New York: Oxford University Press, pp. 388-402.
Anderson, C.A. and Gettings, M. (1996) ‘Gödel's Ontological Proof Revisited’, in Gödel '96: logical foundations of mathematics, computer science and physics - Kurt Godel's legacy, Brno, Czech Republic, proceedings, Petr Hajek (ed.), Berlin, Heidelberg, New York, Barcelona, Budapest, Hong Kong, London, Milan, Paris, Tokyo: Springer, pp. 167-172.
Erkenntnis Bd.2 H.3 (1931), Leipzig: Meiner Verlag, pp. 135-151.
Gödel, K. (1995) Collected Works, vol. 3, Feferman, S., Dawson, J., Kleene, S., Moore, G,. Solovay, R., and van Heijenoort, J. (eds.), Oxford – New York: Oxford University Press, pp. 403.
Wang, Hao (1987) A Logical Joinery: From Gödel to Philosophy, Cambridge, Massachusetts: The MIT Press.