t
почему мы должны к этому прийти? Потому что это просто?
Size: a a a
2021 April 29
MS
Потому что мне показалось что к этому шел разговор
t
в математике возникла необходимость, вот она и появилась)
MS
Мол, являются ли математические концепции придуманными или обнаруженными.
t
нет, я вёл разговор к другому. Может ли человек сделать такое, чтобы доказать, что его действия не предопределены?
c
sergevp
Опять таки слова "придумывают" и "обнаруживают" значат одно и то же. :) Разница только в том, "существовало" ли оно до этого.
Опять таки слова "придумывают" и "обнаруживают" значат одно и то же. :) Разница только в том, "существовало" ли оно до этого.
c
sergevp
Т.е. всё сводится к определению слова "существует". И этого определения нет. :)
Т.е. всё сводится к определению слова "существует". И этого определения нет. :)
MS
Твои действия предопределены, но чтоб их точно симулировать нужен вычислитель размером со вселенную.
MS
Если есть разница, то каким образом они значат одно и то же. Это уже семантическая ошибка а не логическая.
MS
Как нет. Ты что, не поймешь если я скажу что что-то существует а что-то нет?
MS
Не реальный мир происходят из слов, а слова происходят от необходимости людей обмениваться информацией о реальном мире.
c
sergevp
@niksaak> Как нет. Ты что, не поймешь если я скажу что что-то существует а что-то нет?
Ну да, не пойму, если это будет что-то нетривиально. Пример выше — "существуют" ли Тьюринг-полные системы? Если да, то почему? Потому что их можно описать словами? Тогда "существует" ли вечный двигатель? Ведь его тоже можно описать словами.
@niksaak> Как нет. Ты что, не поймешь если я скажу что что-то существует а что-то нет?
Ну да, не пойму, если это будет что-то нетривиально. Пример выше — "существуют" ли Тьюринг-полные системы? Если да, то почему? Потому что их можно описать словами? Тогда "существует" ли вечный двигатель? Ведь его тоже можно описать словами.
c
sergevp
@niksaak, иными словами придумай, почему Тьюринг-полные системы правил "существуют", а вечный двигатель (а э) "не существует"
@niksaak, иными словами придумай, почему Тьюринг-полные системы правил "существуют", а вечный двигатель (а э) "не существует"
c
sergevp
ой
ой
c
sergevp
@niksaak, иными словами придумай, почему Тьюринг-полные системы правил "существуют", а вечный двигатель (а это тоже система правил) "не существует".
@niksaak, иными словами придумай, почему Тьюринг-полные системы правил "существуют", а вечный двигатель (а это тоже система правил) "не существует".
MS
Ну, к примеру, слово "существует" имеет два определения.
MS
И мы пользуемся тем которое нам удобнее всего
MS
Потому что хотим сэкономить время себе и друг другу.
MS
Хотя учитывая что мы сейчас спорим о семантике...
O
сержевп не экономит твоё время