Ну смотрите, мы же говорим, что та или иная теорема в математике верна
Как я говорил, у меня, видимо, формалистский подход, так что для меня теорема — это то, что выведено из аксиом. Если мы что-то вывели из аксиом, мы уже не можем это отменить, ничто не может перестать быть теоремой.
Но ведь большая часть математических статей не пишется так, что находится формальный вывод в той или иной математической теории
на естественном языке с формулами
ну они ведь предполагают формализм
обычно он не приведен
Но не предполагают формализацию в той или иной формальной теории
Это проблема неформальной математики, да. Я готов согласиться с этим, но моя претензия была к опроснику, в котором спрашивали совсем другое (в моём представлении) 🙂
почти никогда нет
Ну большая чать математики неформальна в таком смысле, именно о такой математике мы и спрашиваем
И что с того? Это никак не влияет на то, что по факту является или не является теоремой. Это говорит только о том, что мы знаем или думаем (что знаем) про теоремы. 🤷♀️
слово теорема используется в отношении штук без формального вывода, и не потому что ошибочно предполагается что такой вывод есть
Предлагаю авторам опросника использовать больше модальностей для уточнения смысла вопросов и вариантов ответов 🙂
Это не мешает мне не понимать смысла такого термина и смысла вопроса. Как я и предположил изначально — я не в теме дискурса, в котором такие вопросы имеют смысл.
ну это само по себе ответ. вроде вариант два покрывает твою позицию
Нет. Я ж говорю: теорема не может перестать ей быть — если что-то вывели из аксиом, отменить это уже нельзя.
А если окажется, что аксиомы противоречивы, а логика классическая?
но статус как раз пересматривается. у тебя это выражается такими словами как soundness. если теорема есть но формальная система unsound то это и есть статус
То будут вопросы к истинности теорем (наличию нетривиальной модели), а не к доказательствам.
Откуда у формалиста взялась теперь истинность и модели?
Видите ли, есть предположение (возможно ничтожное), что математики не ограничивают понимание "теоремы" тем, у чего есть формальный вывод (возможно по той причине, что в таком случае окажется, что никаких теорем не было или же мы не знали их доказательств). Опрос направлен на то, чтобы это предположение выяснить💁♂️
Как я говорил — я не в дискурсе, и не(правильно) понимаю, что такое "статус теоремы". 🤷♀️
Всегда были. 🤷♀️
ну вот я даю комментарий на тему. может быть непрошенный
Ещё у Евклида, я так понимаю?)
Замечательно, но опрос этого не выяснил — у Вас нет вопросов и ответов, которые бы выявляли разницу. О чём мы прямо тут говорим уже скоро час.
Вы делаете вывод о том, что он этого не выяснил на основании собственного отказа его проходить?
У Буля точно уже были. 🤷♀️
То есть большую часть существования математики и разговоров о верности тех или иных утверждений никаких моделей в математике не было?🫣
И не только моего, как мы знаем.
Аристотелевский силлогизм, это часть модели или не очень? ;-)
Не знаю, я не вёл разговора о моделях, это вопрос к @GabrielFallen 🙅♂️
1. Перестаньте смешивать выводимость и истинность. 2. У меня нет никаких проблем с тем, что в математике не было, и сейчас ничтожно мало "настоящих теорем", а то, что так называется — по факту гипотезы.
Ну у вас может быть нет, но есть (повторюсь, возможно ничтожное) предположение, что у большинства представителей математического сообщества есть
Но спрашиваете в опросе Вы не об этом. Если это то, что Вас интересует, то опросник не позволяет это выявить. 🤷♀️
Смотрите, если имеется человек, которые не ограничивает понимание "теоремы" наличием формального вывода, то можно допустить, что он может считать, что математические утверждения в принципе предполагают пересмотр (благо, исторические примеры были)
> если имеется человек > можно допустить > может считать > в принципе предполагают А можно было спросить напрямую. Об чём и речь.
>довольно формальна🥹
Через брокколи.
Ну статус может быть пересмотрен при новых стандартах строгости. Например, в классических работах по логике обнаруживают ошибки и исправляют их в механизированных системах.
Может, моя претензия в том, что мне приходится гадать о том, что авторы опросника подразумевают под "истинностью" и "статусом" (и даже "теоремой").
Истинность здесь — это некоторое интуитивное понятие для проходящего опрос. Считает ли он, что что-то истинно (согласно какому-то своему понятию), или считает нечто иное.
Смена статуса с "теорема" на "теорема, теперь точно"? 😂
Опросник, как мне кажется, не о том, что подразумевают авторы опросника, а о том, что под "истинностью", "статусом" и "теоремой" подразумевают отвечающие.
Ну не всегда, я думаю. Могут быть обнаружены ошибки, которые просто так не исправить. Я знаю, что такие примеры были, но не смогу их назвать.
Вот для меня как проходящего опрос, вопрос истинности ортогонален вопросу о "теоремности". Но авторы вопросов их смешивают в один.
с "теорема хорошей теории" на "теорема плохой теории"
Ну это только в unsound системах расходится, если говорить о формальном понятии истинности ака модельная семантика
Я в таком случае считаю, что это нечто никогда теоремой и не было. Поменялся не "статус высказывания" как такового, а "статус нашего мнения о нём". При этом истинность тоже никак не меняется, и даже наше мнение относительно истинности может никак не меняться.
Ну так и надо отвечать, если ты так думаешь. Если нет варианта "другое" — что ж. Ну вот так составили, значит. Выбирай, что ближе.
В полных системах. 😉 В sound системе у нас легко могут быть истинные (общезначимые) утверждения, которые не теоремы (их невозможно доказать).
Нет, unsound. Речь про теоремы. Если есть теорема, то не значит, что она истинна в заданной семантике / модели.
Я имел в виду тот случай, когда мы думали, что у нас теорема, а потом обнаружили ошибку, и оказалось, что это не теорема. Утверждение всё равно могло (всегда) быть и оставаться истинным (общезначемым). Потому что неполнота.
Обсуждают сегодня