Отсутствие оснований и аксиома Бога

В рамках этого эссе мы с вами окунёмся в самые глубокие вопросы философии математики, разберём несколько подходов к доказательству теорем и поразмышляем над тем, как счётные бесконечности и аксиома выбора в теории множеств вместе с теоремами Гёделя о неполноте и гомотопической теорией типов связаны с этикой, философией, поиском смысла жизни и теологией.

https://habr.com/ru/articles/922460/

#философия_математики #аксиома_выбора #бесконечность #интуиционизм #кант #программа_гильберта #теоремы_о_неполноте #этика #гильотина_юма #бог