Математика і Бог
Зв’язки між математикою та Богом включають використання математики в аргументах про існування Бога та про те, чи є віра в Бога корисною.
У 1070-х роках Ансельм Кентерберійський, італійський середньовічний філософ і теолог, створив онтологічний аргумент, який намагався використати логіку для доказу існування Бога. [1] Більш розгорнуту версію дав Готфрід Лейбніц на початку вісімнадцятого століття. [1] Курт Гедель створив формалізацію версії Лейбніца, відому як онтологічний доказ Геделя . [1]
Більш новіший аргумент у 2003 році надав Стівен Д. Анвін, який запропонував використовувати байєсівську ймовірність для оцінки ймовірності існування Бога. [2]
Загальним застосуванням теорії прийняття рішень до віри в Бога є ставка Паскаля, опублікована в 1669 році Блезом Паскалем у його праці «Думки». Ставка є захистом християнства, зазначаючи, що «якщо Бога не існує, атеїст мало втрачає, вірячи в нього, і мало отримує, не вірячи. Якщо Бог існує, атеїст отримує вічне життя, вірячи, і втрачає безмежне благо, не вірячи»[3]. Парі атеїста було запропоновано як контраргумент до пари Паскаля. Ставка атеїста полягає в тому, що не варто витрачати життя на віру в те, що не має доказів; якщо Бога немає, то атеїст проживає життя, керуючись раціональністю і свободою від релігійних обмежень.
- ↑ а б в Ontological arguments. plato.stanford.edu. 15 лютого 2007. Процитовано 4 березня 2007.
- ↑ Unwin, Stephen (2003). Doing the math with God. plato.stanford.edu. Процитовано 4 березня 2007.
- ↑ Blaise Pascal (1623). ronaldbrucemeyer.com. Процитовано 4 березня 2007.
- Коен, Деніел Дж., Рівняння від Бога: чиста математика та вікторіанська віра, Johns Hopkins University Press, 2007ISBN 0801891868 .
- Лівіо, Маріо, чи є Бог математиком? , Simon & Schuster, 2011ISBN 1416594434 .
- Ransford, H. Chris, God and the Mathematics of Infinity: What Irreducible Mathematics Says about Godhood, Columbia University Press, 2017ISBN 3838270193 .