#интуиционизм — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #интуиционизм, aggregated by home.social.
-
Отсутствие оснований и аксиома Бога
В рамках этого эссе мы с вами окунёмся в самые глубокие вопросы философии математики, разберём несколько подходов к доказательству теорем и поразмышляем над тем, как счётные бесконечности и аксиома выбора в теории множеств вместе с теоремами Гёделя о неполноте и гомотопической теорией типов связаны с этикой, философией, поиском смысла жизни и теологией.
https://habr.com/ru/articles/922460/
#философия_математики #аксиома_выбора #бесконечность #интуиционизм #кант #программа_гильберта #теоремы_о_неполноте #этика #гильотина_юма #бог