Математика VS Логика: Слово Создателя – Математика, а Логик штук 20 и Антиномии кишат

А что между ними - Метафизический Танец или Единоборство? Я-Личность перпендикулярна VS, что дает деловое Общение в Триалектике. Математическая логика – формальный раздел математики, посвященный анализу методов рассуждений. При этом, в первую очередь, исследуются формы рассуждений, а не их содержание, т.е. идёт формализация рассуждений. Формализация восходит к Аристотелю. Важные практические задачи математики часто некорректны, а Логик уже штук 20 и Антиномии Кишат. С математики начал создание Мира Бог, отец логики всего лишь Аристотель. Он в своих трудах, объединенных общим названием “Органон” (орудие познания), впервые обстоятельно проанализировал и описал основные логические формы и правила рассуждений, а именно: формы выводов из так называемых категорических суждений — категорический силлогизм. Ломоносов объяснил: математика приводит в порядок ум, логика, вне всякого сомнения, приводит в порядок математику. Эта роль логики в математической науке не могла не отразиться и на ее роли в методике обучения математике. Выделим те общие принципы логики, которые имеют фундаментальное значение для методики обучения математике. Нарушение или несоблюдение их приводит в итоге к искаженному видению обучаемым как общей картины математики, так и отдельных ее деталей. Основная структура данных в LISP – символьные выражения (или S-выражения). Символы и числа представляют собой те объекты LISP, из которых строятся остальные структуры, поэтому их называют атомами. Символ – это имя, состоящее из букв, цифр и специальных знаков, которое обозначает какой-нибудь предмет, объект, действие из реального мира. В LISP символы обозначают числа, другие символы или более сложные структуры, программы (функции) и другие LISP объекты. Точно этот Язык использует и доводит до практики Среда Authorware.