Показать сообщение отдельно
  #24  
Старый 15.12.2008, 22:12
skt skt вне форума
участник
 
Регистрация: 11.06.2008
Адрес: Томск
Сообщений: 537
skt на пути к лучшему
По умолчанию Ответ: Академия Управления в Томске. Репортаж с места событий.

Цитата:
Сообщение от Solo Посмотреть сообщение
А на занятиях рассказывали, что такое аксиома?
Если честно не помню, я просто сам мехмат окончил, поэтому вижу как материал строится. Грубо говоря, ДОТУ - это некоторый срез теории вероятностей и мат. статистики учитывающий субъекта. Учитывающий человека, который влияет своей волей на случайные (вероятностно-определенные) события...

Вообще аксиоматика - это база любой системы знаний.
И даже не так.
Сначала идут неопределимые понятия. Это первые понятия, которые просто не через что определять. В математике это точка и множество, например. Точку определять не через что.
Потом идут определения, которые оперируют неопределимыми понятиями. Грубо говоря: "Прямая - это совокупность точек, которые... и т.п."

Потом идут аксиомы, которые оперируют неопределимыми понятиями. Утверждения не требующие доказательств. Просто потому что не на чем аксиомы доказывать.

А вот когда у нас есть неопределимые понятия. Когда есть определения. Когда есть аксиомы - уже тогда мы можем строить систему доказательств. Вирус закладывается на базе аксиом.

И даже не так. Вирус закладывается на противоречии аксиом между собой.

На первой странице мы пишем: "Параллельные прямые не пересекаются"
А на пятисотой: "Параллельные прямые пересекаются".
Если текста 10 тысяч страниц, то отследить непротиворечивость аксиом сложно. А противоречивые аксиомы закладываются ЦЕЛЕНАПРАВЛЕННО. Чтобы сбить логику и перевести ее на ВЕРУ...