› Видео
Обсуждается семантическая сторона теорем Геделя о неполноте в аспекте вопроса истинности высказываний. Первый пробный ("первый блин комом") семинар на тему "негуманитарной философии". Проблемы Гильберта. Формализация математики. Непротиворечивость и полнота формальных систем. Семинар "Философского Штурма". Состоялся 19.01.13.
(doc) Разработка онтологии: руководство по созданию Вашей первой онтологии
Разработка онтологий 101: руководство по созданию Вашей первой онтологии
Разработчик онтологий может провести диагностику разрабатываемой онтологии с помощью
Chimaera, чтобы определить соответствие общим способам ...