Математическое образование

стесняюсь спросить
А теорема геделя о противоречивости формальных систем это тоже комикс?
На самом деле Рассел это сформулировал до геделя
Как я понимаю для тебя, главное как сформулированно
вот парадокс рассела ,имеет достаточно сложную формулировку
Ты можешь ее найти в инете
А брадобрей и лжец просто изящные иллюстрации
По мне чем проще тем красивей
ПС рассуждая о параболах бороздящий космос
Ты просто подтверждаешь что ты совсем не понимаешь что такое парадокс и противоречие
Противоречие ,это когда некое А может быть истинным и ложным одновременно
В рамках такой системы невозможно сделать вывод
Из противоречие получается только противоречие
Математика тоже в принципе противоречива.См гедель
Но соглашусь, что ей больше на это покую ,чем логике
Она прикладная дисциплина

_________________
Фанат Розы Люксембург

Михеич 1972, все правильно. Однако противоречия возникают при конечном наборе базисных аксиом.Можно предположить, что на любое противоречие может найтись необходимый набор базисных аксиом, которые способны разрешить эти противоречия, либо правильно сформулировать задачу, так, что бы это противоречие просто испарилось. Все эти матлогические изыски говорят только о том, что математика так же бесконечна, как и бесконечен окружающий нас мир, который она и моделирует.

_________________
Добро должно быть неизбежным © Сталкер

Противоречия выявляются на базовом логическом уровне
и именно логика подсказывает математике в какой она оказывается жопе
Если математика ни на что не претендует тогда да
Просто "логарифмическая линейка
Работает и работает
Функцию свою выполняет, даже с поправкой на погрешность и ладно
Только тогда не надо говорить что математика что то объясняет и что то доказывает
Да ничего она не объясняет
Она инструмент
ПС но вот парадокс брадобрея, гуманитарный,он фатален при любом наборе аксиом
Если какая то мат формула, одновременно истина и ложна
то эта формула даже для вычисления не пригодна

_________________
Фанат Розы Люксембург

Так, вроде с этого все и начиналось, что математика, в т.ч. и матлогика - всего лишь инструмент, моделирующий реальный мир, на сколько это возможно. Другого нет.
Истинность и ложность какой либо формулы говорит лишь о том, что есть нечто кроме понятия истина/ложь. Тем более, что и эти понятия в реальном мире не существуют. Это только наши собственные абстракции.
"Есть только миг между прошлым и будущим,
Именно он называется жизнь" )))))

_________________
Добро должно быть неизбежным © Сталкер

Логика давно существует как многозначная
только два значение истина и ложь,это давно в прошлом
Есть и третье значение ,ни истина ни ложь например
а вот истинно и ложь, это не допустимо
Если всерьез это принять,боюсь мы бы даже изьясняться друг с другом бы не смогли

_________________
Фанат Розы Люксембург

матлогика не математика
Основной ее раздел логика высказываний
Какая нафиг математика ?

_________________
Фанат Розы Люксембург

Вся математика начинается с аксиом и других допущений. А это уже матлогика. Скажем так - BIOS математического аппарата.

_________________
Добро должно быть неизбежным © Сталкер

логика еще со времен аристотеля начиналась с аксиом и теорем
никакой мат логики тогда не было

_________________
Фанат Розы Люксембург

та хоть горшком назови, суть-то одна остается.

_________________
Добро должно быть неизбежным © Сталкер

Какая суть,чего суть
Устал я уже об одном и том же талдычить

_________________
Фанат Розы Люксембург

Логика - часть математики. Можно сказать - ее основание. Кстати, современная физика - тоже практически чистая математика, т,к. именно математика лежит в ее фундаменте. Все постепенно произрастает одно из другого. Это нормально. Нет ничего отдельно существующего.

_________________
Добро должно быть неизбежным © Сталкер

Уже и физика математикой стала
вопрос тогда иначе поставлю
а что не математика?

_________________
Фанат Розы Люксембург

А я просто так приводил шуточную иерархию дисциплин? Правда, чем дальше от нее, тем меньше.

_________________
Добро должно быть неизбежным © Сталкер