Почему математики очень долго не пытались опровергнуть канторовскую теорию множеств

Модераторы: morozov, mike@in-russia, Editor

Аватара пользователя
Кисантий
Сообщения: 5435
Зарегистрирован: Ср ноя 04, 2009 18:57

Re: Почему математики очень долго не пытались опровергнуть канторовскую теорию множеств

Номер сообщения:#121   Кисантий » Ср июл 18, 2018 23:07

Парадокс парикмхра доказывает что арибстотелева логика уже в простых случаях не работает :mrgreen:
Кот это очень древнее и неприкосновенное животное. Кот спас жизнь хозяину, позвонив в 911.

Аватара пользователя
эдя псковский
Сообщения: 1241
Зарегистрирован: Ср фев 04, 2009 13:09
Откуда: Пскопские мы

Re: Почему математики очень долго не пытались опровергнуть канторовскую теорию множеств

Номер сообщения:#122   эдя псковский » Чт июл 19, 2018 8:27

Кисантий писал(а):
Ср июл 18, 2018 23:07
Парадокс парикмхра доказывает что арибстотелева логика уже в простых случаях не работает :mrgreen:
Да. Но. Аристотелева логика в рамках причинно-следственной последовательности работает. Последовательная обработка информации (машина Тьюринга) - частный случай. Пример вы привели - триггер. СХЕМА аристотелевых логических элементов (непротиворечивых в аристотелевом смысле в рамках элемента) воплощает собой два явления - время (причинно-следственную связь и ПРОШЛОЕ состояний) и ...ГЕОМЕТРИЮ (там появляется зад, перед связи между ними, т.е. ПРОСТРАНСТВО). Более того, там есть ВЫБОР начала времени в виде начального вектора состояний. Который может очень резко ограничить область возможных состояний, БУДУЩЕЕ. Такая "аристотелева" логика дает вполне конкретное, НО ЖИВОЕ, решение ЛЮБОЙ задачи в виде колебаний истинности. И это полностью соответствует нашей практике, когда Сталин то - герой, то - злодей. ...А, кот Ш то жив, то мертв.
Ударим фричеством по бездорожью и фрикам!

Аватара пользователя
Кисантий
Сообщения: 5435
Зарегистрирован: Ср ноя 04, 2009 18:57

Re: Почему математики очень долго не пытались опровергнуть канторовскую теорию множеств

Номер сообщения:#123   Кисантий » Чт июл 19, 2018 9:04

>машина Тьюринга
Тьюринга кабстрировали :?
Кот это очень древнее и неприкосновенное животное. Кот спас жизнь хозяину, позвонив в 911.

Аватара пользователя
эдя псковский
Сообщения: 1241
Зарегистрирован: Ср фев 04, 2009 13:09
Откуда: Пскопские мы

Re: Почему математики очень долго не пытались опровергнуть канторовскую теорию множеств

Номер сообщения:#124   эдя псковский » Чт июл 19, 2018 9:24

Ну, у солидных людей есть области проклятых терминов и идей. И даже авторов. Вы его знаете? Это можно читать?

" 2013г.Павлов И.С.

Теория автоматов и формальных языков

Теория автоматов - это раздел теории управляющих систем, изучающий математические модели преобразователей дискретной информации, называемые автоматами. С определенной точки зрения такими преобразователями являются как реальные устройства (вычислительные машины, автоматы, живые организмы и т.д.), так и абстрактные системы (например, формальная система, аксиоматические теории и т.д.), благодаря чему возможно применение теории автоматов в различных научных и прикладных исследованиях. Наиболее тесно теория автоматов связана с математической логикой и теорией алгоритмов. В частности, средствами теории автоматов доказывается разрешимость некоторых формальных исчислений.

Еще одним важнейшим объектом изучения в данном курсе является формальный язык1 – произвольное множество слов некоторого алфавита. Важность формальных языков для теоретической информатики обусловлена тем, что наиболее простой и удобной моделью данных, используемых в компьютерных программах, является конечная последовательность, каждый элемент которой взят из некоторого заранее зафиксированного конечного множества. Поскольку используемые в приложениях формальные языки, как правило, являются бесконечными, то нужен способ конечного описания формального языка. В данном курсе будем изучать 3 классических средства такого описания: автоматы, регулярные выражения и порождающие грамматики."
Ударим фричеством по бездорожью и фрикам!

Аватара пользователя
Кисантий
Сообщения: 5435
Зарегистрирован: Ср ноя 04, 2009 18:57

Re: Почему математики очень долго не пытались опровергнуть канторовскую теорию множеств

Номер сообщения:#125   Кисантий » Чт июл 19, 2018 14:48

На кой бес :?: Читайте Гротендика "Урожаи и посевы" :!:
Первый перевод с французского книги «Recoltes et Semailles» выдающегося математика современности Александра Гротендика. Автор пытается проанализировать природу математического открытия, отношения учителя и учеников, роль математики в жизни и обществе. Текст книги является философски глубоким и нетривиальным и носит характер воспоминаний и размышлений.

Книга будет интересна широкому кругу читателей - математикам, физикам, философам и всем интересующимся историческими, методическими и нравственными вопросами, связанными с процессом математического открытия и возникновения новых теорий.
Year: 2009 г

https://www.e-reading.club/book.php?book=93975
Кот это очень древнее и неприкосновенное животное. Кот спас жизнь хозяину, позвонив в 911.

Ответить

Вернуться в «Дискуссионный клуб / Debating-Society»