Бытие — предмет изучения онтологии

Вантус

...

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

КИ · 3Д Зарегистрирован: 17.02.2005 Суждений: 49286

КИ пишет:

...

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

КИ, вы просто не в силах понять глупости того, что вы говорите. Арифметика - это не язык в данном случае. Это объект описания, формализация реального процесса счета.

Вантус

Просто как-то противно даже объяснять известные первокурснику вещи, что есть язык программирования, с помощью которого производятся операции над числами. Числа и инструкции, разные вещи. В некоторых архитектурах они даже в разных областях памяти хранятся. Инструкции, в свою очередь, тоже кодируются числами, и чисел этих в любом компьюторе конечное количество.

КИ · 3Д Зарегистрирован: 17.02.2005 Суждений: 49286

Противно от собственной тупости?

"Int имеет отношение к арифметике Пеано, а "длинные целые" в сложных реализациях - не имеют" - открытие Вантуса, срочно опубликовать!

Вантус

Вантус пишет:

КИ пишет:

...

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

КИ, вы просто не в силах понять глупости того, что вы говорите. Арифметика - это не язык в данном случае. Это объект описания, формализация реального процесса счета.

С чего это вдруг арифметика стала "объектом"? Вы о чем-то другом? Вы говорили, что всё можно свести к арифметике. Вот сведите язык (не реализацию, не исполняемый код) СИ к арифметике.

Вантус

Противно от собственной тупости?

"Int имеет отношение к арифметике Пеано, а "длинные целые" в сложных реализациях - не имеют" - открытие Вантуса, срочно опубликовать!

КИ · 3Д Зарегистрирован: 17.02.2005 Суждений: 49286

Вантус, что такое значение "inf" - знаете? Не путайте с "int". Что вам вдруг стало мешать делать операции с бесконечностью, они ведь формализованы? Не хотите СИ, возьмите Матлаб.

Поймите уже, что абстракции реализуются не только на доске мелом, но и на любом развитом алгоритмическом языке.

КИ · 3Д Зарегистрирован: 17.02.2005 Суждений: 49286

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

Вантус

Вантус, что такое значение "inf" - знаете? Не путайте с "int". Что вам вдруг стало мешать делать операции с бесконечностью, они ведь формализованы? Не хотите СИ, возьмите Матлаб.

Поймите уже, что абстракции реализуются не только на доске мелом, но и на любом развитом алгоритмическом языке.

КИ · 3Д Зарегистрирован: 17.02.2005 Суждений: 49286

КИ пишет:

Вантус, что такое значение "inf" - знаете? Не путайте с "int". Что вам вдруг стало мешать делать операции с бесконечностью, они ведь формализованы? Не хотите СИ, возьмите Матлаб.

Поймите уже, что абстракции реализуются не только на доске мелом, но и на любом развитом алгоритмическом языке.

Опять феноменология (т.е. полузнание и иллюзия). Все эти inf никакого отношения к бесконечностям из математике отношения не имеют и у них совсем иные свойства. Та же std::numeric_limits<float>::infinity() - это просто такая техническая метка языка, чтоб если
float a = std::numeric_limits<float>::infinity();
то
a>b
было бы true для любых b.

Цитата:

In IEEE 754, the most common binary representation of floating-point numbers, the positive infinity is the value with all bits of the exponent set and all bits of the fraction cleared.

В натуральном ряде никаких infinity() или его аналогов нет.

Вантус

Вантус пишет:

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

- Автомобиль сводится к резине!
- Каким же образом?
- Что обычно называют "автомобилем"? Какие-то куски резины, к которым приделан мотор, кузов, салон и прочее! Вот таким образом!

КИ · 3Д Зарегистрирован: 17.02.2005 Суждений: 49286

КИ пишет:

Вантус пишет:

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

- Автомобиль сводится к резине!
- Каким же образом?
- Что обычно называют "автомобилем"? Какие-то куски резины, к которым приделан мотор, кузов, салон и прочее! Вот таким образом!

Опять феноменологическое ерничанье? Для того, чтоб была применимость теоремы Геделя (или возникновение проблемы остановки) нужна арифметика Пеано или бесконечная память. Необходимое условие. Если какой-либо язык программирования будет содержать работу с бесконечной памятью или типы, предполагающие весь числовой ряд, в нем возникнут все противоречия.

Вантус

...

Метка - и что? Абстракция же. Операция с которой дает нужный результат. А что вам еще надо? Чтобы написать формулу с бесконечностью, вам нужна бесконечная доска?

Вантус

...

А Геделю потребовалась бесконечная доска с бесконечным мелом?

КИ · 3Д Зарегистрирован: 17.02.2005 Суждений: 49286

КИ пишет:

...

Метка - и что? Абстракция же. Операция с которой дает нужный результат. А что вам еще надо? Чтобы написать формулу с бесконечностью, вам нужна бесконечная доска?

Какой "нужный"? Нужно, чтоб для любого числа x можно было вывести число x+1, а не символ (т.е. вообще не число) infinity.