Мы тут встретим Расселовского брадобрея.
Противоречивость ФС можно доказать либо перебором (в конечном случае), либо прямым выводом противоречия. Если не удалось, то в общем вопрос непротиворечивости системы остается открытым. С этим нужно мириться.
В смысле кто делает экспертизу самих экспертных сообществ?
О какой экспертизе идет речь?
Спасибо за разьяснение по формальным системам.
С экспертизой
.Для того чтобы оценить качество знаний эксперта в его собственной области нам прийдется искать еще одного.Очно или заочно,в виде его работ.Так как критерии научности задается в нашем случае группой экспертов ,то эти люди не могут сами себя "брить" ,следовательно кто то должен провести экспертизу их знаний и их компетентности именно как группы экспертов.Может конечно сообщество выдвинуть самых умных.Это в некотором смысле политический вопрос .Делегирование прав на установление истины.
-- 22.06.2017, 20:59 --Математика это и числа, и фигуры, и вероятности, и множества. Т.е. все абстрактные объекты, имеющие хоть немного сложную структуру, доступную анализу.
Т.о. вся культура "не от мира сего" это математика и "чистая" философия. - Вторая тоже предельно абстрактна, но её объекты сложны довольно специфично, матаном не моделируются.
Отсюда и место математики в культуре. Точнее, она там, в чистой математике, развивается. А разворачивается практическими приложениями уже в реальном мире. А остальная культура идёт обратно, от реальности к абстракции, модели. Когда жизненная ситуация моделируется и эмоционально расцвечивается в спектакле. Или в картине. Или в стихе. Тут математика и прочие культуры могут даже пересечься. Система "Антиплагиат" многим не нравится. Но создали её математики.
Предмет математических наук - абстрактные объекты и мат.логика устанавливает "правила оперирования ими". Так? Культура, во многом, обусловлена языком (потому что человеческое мышление им обусловлено). Язык - система абстракций, культура - система абстракций, математика - система абстракций. На определенном уровне можно объединить все три объекта (культура-математика-язык). Так ли это и есть ли система, позволяющая свободно и обосновано к-либо логикой, переходить в своих рассуждениях от объекта к объекту?
О,я ждал этого момента! Тут нужна помощь именно математиков.Какое слово уместно для соотнесения культуры ,как все что есть , языка и математики.?Множества,подмножества? Уместно ли здесь говорить о частях, или подмножествах этого всего?