|
План короткого эффективного вводного курса в математику для всех, кроме детей и рабочих:
1. Понятие представления (representation)
2. Понятие кодирования
3. Требования к знакам: отличать один от другого, уметь определять
одинаковость, отделять один от другого (в смысле, рядом написанные)
4. Дедуктивный аппарат, теории
5. Интерпретация теорий, константы
6. Переменные, возникновение переменных как интеграция уровня
метности в пропкалке, отличие переменных от констант, кванторы,
подстановка, occurs check
7. Здравость, полнота, непротиворечивость
8. Proof Theory
9. Model Theory
10. Что такое существование
11. Что такое истина
12. Искусство доказательства
Говорим только по делу! Алгебраические попы, бездумные зубрилы, активные и пассивные лизатели авторитетов идут на другие темы!
|
