LINUX.ORG.RU

Сообщения Xenius

 

Нужно ли массово переманивать виндузтников на GNU/Linux?

Существует мнение, что нужно, поскольку тогда появится больше всяких драйверов, софта и так далее.

Но, если подумать. Виндузятников гораздо больше чем линуксоидов. Если даже 10 часть их перейдёт — количество пользователей GNU/Linux удвоится.

Но нужно ли нам это, тем кто выбрал GNU/Linux осознанно ради свободы и технических преимуществ?

Пришла в голову мысль — а не свитчерам с винды ли мы обязаны всяким сомнительным переменам вроде Gnome3, Unity, KDE4, systemd, UsrMove, etc?
«Сделайте интерфейс, которым сможет пользоваться и идиот и только идиот захочет им пользоваться»

Ведь если процент бывших виндузятников будет высок, они проберутся и в сообщество разработчиков и начнут превращать GNU/Linux в подобие винды, делая так, что бы GNU/Linux из отличной и удобной ОС превращался в нечто среднее между поделками для хомячков типа iOS и того, что он есть сейчас — не лучшее ни для хомячков, которые не осилят, ни для опытных пользователей, которым такое неприятно.

Кроме того, вслед за хомячками, на GNU/Linux потянутся и криворукие проприетарщики, поделки которых они будут юзать, а следом вирусы и прочие виндовые радости.

Сейчас нормальный линуксоид может использовать почти любой дистрибутив, кроме всяких линпусов — а если хомячки станут доминирующими?

С другой стороны, настоящих профессионалов — наоборот следует привлекать. Профессионалов — которые отлично владеют своей предметной областью, но при необходимости не чужды тому что бы и написать программы под свои нужды — а кто лучше профессионалов знает, что нужно профессионалом? Уж точно не жирные менеджеры копирастических контор.

Xenius
()

[криптография]Новый (?) алгоритм шифрования

Как известно, задача разложения числа на простые множители является вычислительно сложной, по крайней мере на настоящий момент — значит её можно взять за основу.

Кроме того любое число несёт в себе информацию. Исходя из этих двух идей, довольно легко придумать алгоритм шифрования:

1) Исходные данные представляются в виде двоичного кода (например, если это русский текст, то можно закодировать его по ГОСТу (iso8859-5), что бы занимал меньше места. 2) Текст разбивается N примерно равных частей по M бит. M должно быть достаточно большим, например, не менее 4096 (т.е. 512 байт). Для небольших текстов желательно взять две части. Это можно делать например командой split 3) Части интерпретируются просто как числа:

echo -n "какая-то фраза" | xxd -p -u # шестнадцатеричный вид
echo -n "какая-то фраза" | xxd -p -u | tr -dc 0-9A-F | dc -e16i?p # десятичный вид

Как пример: есть abc — в ASCII это \x61\x62\x63 А значит число будет 0x616263 или 6382179.

3.5) Шаг опциональный — для простого текста его можно не делать — каждый кусок текста оформляется таким образом, что бы к нему добавился номер и, например, маркер конца строки.

4) Теперь у нас есть N чисел. Далее, надо каждое из них превратить в простое. Для этого я предлагаю приписывать к ним от 0 до d цифр, где 0 цифр нужно, если случайно окажется, что число уже простое. А конкретные цифры, которые нужно приписать к числу находятся перебором. Цифры к числу приписываются обязательно слева: Bn=An*b^d+D — где D подбирается так, что бы число Bn было простым, а b — основание системы счисления (например 10, 16 или 256). При этом, подбирать придётся, скорей всего, не так уж и долго.

5) Все полученные числа перемножаются.

6) Полученный результат для удобства следует представить в виде печатных знаков, например с помощью base64:

$ echo 1254542325621 | dc -e ?P | base64
ASQYjLd1

Шифротекст готов. Кстати, я тут попробовал этот алгоритм применить вручную. Попробуйте расшифровать:

F2by3fRqZDAzNocxFDcKvU9wRhELEcrP/HMmN/KPhmwh6x43OpW3p55W+UjxZybvCki1sQhMUfmbDiL9fhVygQ==

Кроме того, хотелось бы узнать ваше мнение о криптостойкости данного шифра.

Кстати, о применении: 1) Классическое шифрование — в качестве ключа случайное число, которое просто умножается на открытый текст. 2) Хеширование — взять последние несколько байт полученного составного числа 3) Например, вы не хотите светить свои личные данные, но хотите иметь возможность доказать, что это вы в случае чего (например восстановление пароля на сайте). Для этого нужные данные (например email-адрес) дополняются мусором и шифруются моим алгоритмом. Полученный результат отправляется на сайт. Далее, если вам понадобится восстановить аккаунт, можно отправить админу сообщение с нужного e-mail, содержащее один из простых множителей — админ делит шифротекст на него, получает результат и убеждается, что он совпадает с адресом, откуда отправлено письмо — тогда он высылает на этот адрес новый пароль. Можно использовать для этого и что-то другое, например md5 от e-mail-адреса с солью, но это менее надёжно, так как в принципе возможны коллизии. Мой алгоритм по сравнению с алгоритмами хеширования всегда гарантирует принципиальную возможность получить исходный текст полностью. (по крайней мере, если добавить способ отличить кусок текста от D)

Правда, этот алгоритм имеет некоторую уязвимость — если знать часть исходного текста и шифротекст — восстановить остальное становится проще (А если знать (N-1)/N теста — можно восстановить 1/N вообще без усилий).

 

Xenius
()

Как запустить Castle Wolfenstein под GNU/Linux?

Посмотрел фильм «Медаль за возвращение в замок Вольфенштейн» — если кто не знает, это инди-фильм, сделанный практически в одиночку одним из жителей Владивостока.

Фильм мне понравился, но захотелось поиграть в Return To Castle Wolfenstein, до этого я играл из этой серии только в обычный Castle Wolfenstein (но это уныло и вообще 2D) и Wolf 3D — повеселей, но за счёт низкого разрешения графики играть в него больше не хочется, хотя так и не прошел.

Но я читал новость, что исходные коды открыли и даже нашел их на официальном FTP id Software. А остальное где взять? Приветствуется ссылка на скачивание с официального сайта.

http://www.castlewolfenstein.com/ — глухо http://www.idsoftware.com/games/wolfenstein — тоже

По ссылке Buy написано, что price unavailable.

Предлагать купить через какую-нибудь проприетарную приблуду не надо. Проприетарный софт я не запускаю.

Xenius
()

SD-карты у всех так дохнут?

Первая SD-шка была убита — поменял в магазине. Вторая SD-шка, купленная независимо и совсем в другом месте мне выдала mount: cannot read superblock сразу после вставки, а потом смонтировалась, когда я повторил ту же команду через пару секунд и ещё в dmesg ошибки ввода-вывода были...

usb 2-3: reset high speed USB device using ehci_hcd and address 106
sd 99:0:0:0: [sdb] Media Changed
sd 99:0:0:0: [sdb]  Result: hostbyte=0x00 driverbyte=0x08
sd 99:0:0:0: [sdb]  Sense Key : 0x6 [current] 
Info fld=0x0
sd 99:0:0:0: [sdb]  ASC=0x28 ASCQ=0x0
sd 99:0:0:0: [sdb] CDB: cdb[0]=0x28: 28 00 00 ec c7 c0 00 00 08 00
end_request: I/O error, dev sdb, sector 15517632
Buffer I/O error on device sdb, logical block 1939704

Эти SD у всех так дохнут или нет?

Xenius
()

Как понять, сдохла флешка от моих действий с ней или от того что изначально была бракованная?

Собственно, я с ней сделал то же самое, что всегда делаю с новыми флешками:

# очистка флешки от упоминаний Windows, MS-DOS и прочих нехороших вещей:
dd if=/dev/zero of=/dev/sdb bs=8k
# создание на флешке раздела, обычно просто o, n, p, 1, enter, enter, t, b, w:
fdisk /dev/sdb
# создание файловой системы, пусть и не православной, зато распознаваемой всякими фотоаппаратами и прочей фигнёй:
mkfs.vfat -F 32 /dev/sdb1

Вначале флешка вроде работала. Потом я внезапно обнаружил, что в файлах которые на ней были вместо данных одни нули. После этого файлы на флешке вообще пропали, как будто её ещё раз отформатировали (не уверен, правильное ли это слово для того что делает mkfs), а теперь она вообще не монтируется, ругаясь на суперблок.

Это флешка такая фиговая изначально или всё-таки я её убил?

Xenius
()

[bootsplash][ненависть] Зачем вообще придумали эту гадость?

Пользы ну совершенно никакой — красивую анимашку можно посмотреть когда ОС уже польностью загрузится. Зато вреда дофига — не видно что загружается и на какой стадии загрузки ядро виснет и почему.

Особенно плохо, когда эта заставка не выключается убиранием параметров ядра — тогда вообще не ясно как её отключить.

В андроиде например так.

Давайте напишем петицию к разработчикам всех ОС на базе Linux, даже не обзяательно GNU, что бы нафиг убрали эту гадость?

 

Xenius
()

Какими LiveCD/LiveUSB/LiveFDD вы пользуетесь? || сравнение скорости загрузки

Иногда бывает нужно быстро восстановить GRUB/lilo/etc, потестить железо на компе и так далее. Естественно, самый простой способ — это загрузить компьютер с специально подготовленного носителя.

Какими вы пользуетесь для этой цели дистрибутивами, готовыми, или самодельныи и на базе чего?

А ещё меня интересует какой-нибудь LiveCD что бы максимально быстро загружался, но на нём при этом были все необходимые утилиты, типа lspci, lsusb и так далее. И нормальные GNU, а не (только) busybox.

SysRescCD грузится довольно долго и запускает кучу фоновых демонов. К тому же содержит иксы. Кроме того, там по дефолту zsh, в который я конечно ввожу команды как в bash, но не факт что какие-нибудь сложные не поведут себя неожиданно.

TinyCoreLinux грузится вроде быстро, но утилит GNU там нету изкоробки

Dragora — когда последний раз пробовал, этот CD грузился _очень_ быстро. По-моему самый быстрый из всех, какие я видел. Но там кое-каких нужных утилит, например lvm нету.

А есть какой-то CD быстрей чем SysResc, но при этом что бы там были все консольные тулзы, какие есть на sysresc? В частности, нужны dd, file, {s,c,}fdisk; *resize, fsck.* для экзотических файловых систем типа xfs, ntfs, reiserfs

Xenius
()

Что почитать про Android (по типу Slackbook)?

Купил устройство на Android, пока что тыкаю. Поковырял и понял, что почти ничего об андроиде не знаю. Вот какие вопросы:

1) Я выяснил, что apk-файлы — это просто зип-архивы. Но можно ли их как-то делать самостоятельно? Я имею ввиду, вручную взять файлики и собрать в архив.

2) Как посмотреть, какие файлы в системе относятся к какому пакету?

3) Как разобраться в том, что делают устанавливаемые приложения? Ну распаковать apk как zip, а дальше?

4) Где взять аналог FHS но для андроида? Или если стандарта нет, то хотя бы узнать, как обычно раскидывают файлы.

5) Есть ли нормальный эмулятор терминала, удобный при наличии клавиатуры? Android Terminal Emulator не ловит Ctrl-C например. Ну и никакого автодополнения команд, повтора предыдущей команды и тд — прям как в DOS

6) Почему-то chroot в crux-arm-2.7 не запускается, говорит bus error. Что это значит?

7) Есть какой-нибудь пакет с набором утилит GNU вместо дефолтного бизибокса, или только распихивать бинарники вручную из-под неудобного терминала?

В общем, киньте чем-нибудь вроде Android User Guide, но только что бы там описывалась не всякая ерунда типа «тыкните вон в ту кнопочку что бы добавить виджет», а более общие принципы построения системы.

Типа Slackbook, но про андроид.

Xenius
()

Линуксовые приложения под виндой — хорошо или плохо?

Вопрос нетехнический, поэтому в толксы.

Так вот, для многих программ написанных изначально для GNU/Linux или других UNIX-подобных ОС есть и виндовые билды. В том числе всякие ffmpeg, mplayer (на сайте предлагают скачать в бандле с smplayer).

С другими приложениями то же самое — FireFox, OpenOffice.org, GIMP, Emacs и другие проги есть и в сборке под Windows.

Как вы считаете, это хорошо или плохо вообще? А лично для вас? А для самих этих приложений? А для мира свободного софта? А для мечтающих о виндекапце?

Кстати, ЧСХ, виндовые приложения, даже с открытыми исходниками, под нормальными операционками нативно обычно работают со скрипом или не работают вообще — 7zip, Miranda IM, виндовый fasm (забыл как называется, но я про гуёвый редактор со встроенным в бинарник фасмом), FAR Manager, например.

PS. Речь только о прикладных программах — системные утилиты обычно если и могут быть перенесены на другую платформу, то с таким трудом, что проще написать новые (как пример, ps, top, ProcessHacker и тд)

Xenius
()

А давно вы смотрели в /bin ?

Если вы всё-таки хотите посмотреть туда, но не знаете как, эта команда специально для вас:

cat /bin/* /dev/zero | xxd -b | cut -f2-8 -d\  | tr -d \\n\ | tr 01 \\0\\377 | mplayer -demuxer rawvideo -rawvideo fps=3:`xrandr -q | sed -ne '1s/.*current /w=/;1s/ x /:h=/;1s/,.*$//;1p'`:y8 -fs -

А ещё с помощью этой команды можно читать тексты, гораздо быстрей чем вы бы это сделали с помощью какого-нибудь там less — целая книга за пару секунд.

Можно оформить код в виде шелл-функции или скрипта что бы вызывать его одной командой, кроме того, можно сделать автоматическое дополнение последнего кадра до целого из /dev/zero. но эту задачу я оставляю читателям.

UPD:

time (find /usr/info -type f -iname \*.gz -execdir zcat {} \;; head -c 8388608 /dev/zero ) | xxd -b | cut -f2-8 -d\  | tr -d \\n\ | tr 01 \\0\\377 | mplayer -demuxer rawvideo -rawvideo fps=3:`xrandr -q | sed -ne '1s/.*current /w=/;1s/ x /:h=/;1s/,.*$//;1p'`:y8 -fs -

Так можно прочитать всю документацию в формате GNU info. Правда, это долго. И то ли я что-то не так делаю, но почему-то я не вижу регулярной структуры...

Вот другая книга, превращённая в анимацию другим методом — тут почему-то структура есть:

http://storage3.static.itmages.ru/i/11/1105/h_1320493158_2666726_071142c2be.jpeg

UPD2:

Багфикс, теперь текстовые файлы должны быть видимы как имеющие регулярную структуру.

UPD3:

Серая «цветомузыка»

file=soundfile.ogg ; sox "$file" -t raw -r 196k -e unsigned -b 8 -c 1 - | mplayer -demuxer rawvideo -rawvideo fps=3:w=320:h=200:y8 -fs -sws 5 -audiofile "$file" -

Xenius
()

[google] Загадочный пик на google-trends (примерно ноябрь 2007)

Например смотрим сюда:
http://www.google.com/trends?q=canada&ctab=0&geo=all&date=all&amp...

В последней четверти 2007-го года явный пик.

Теперь смотрим например USA — пик там же.
Linux — тоже там пик
android — небольшой пик там же.

Ну и вообще довольно много слов, где пик поиска на этом же месте.

Что же всё-таки произошло тогда?

 

Xenius
()

Полная система escape-кодов (или квотирования).

Задача:
Алфавит сообщения состоит из символов a-z, A-Z, 0-9, \n, пробел, и ограниченный набор специальных символов, скажем <, > и /.
Кроме того, поддерживаются теги форматирования текста, например <bold> <italic> и <underlined> с соответствующими закрывающими </underlined> </italic> и </bold>.

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

Такое нужно например для тегов форума, того же LORCODE, например.
Возникает вопрос: имеет ли задача решение?

И да, не стоит думать что ответ очевиден.

Xenius
()

Новый тег [fat][/fat] для выделения сообщений ; гибридизация LORCODE и User Line Break

Предлагаю ввести новый тег для того что бы выделять текст, не отражающий истинную точку зрения автора. Варианты: [fat] [/fat] или [troll] [/troll] — без разницы.


[другая тема]Кстати, если всё равно лоркодовские теги действуют в других режимах, нельзя ли запилить гибрид user line break with quoting и LORCODE — то есть что бы «>» делал курсив, не надо было расставлять
, но был доступен тег [code] и прочие. И сделать как-то экранирование. Тогда бы хватило двух режимов, гибридный и plain text (без интерпретации тегов вообще, кроме квотирование всяких < > запрещенных в HTML)

 

Xenius
()

[security][firefox] фирефокс постоянно лезет на 217.212.252.195:80

Решил поковырять ss -p и tcpdump и заметил.

Впрочем, отключил проверку обновления (кажется же отключал же? Само включилось) фирефокса, теперь вроде не лезет. Оно, или просто так совпало?

UPD: Всё равно лезет. Что это за хост такой?

Кроме того, ещё и лезет на 173.194.32.*, а судя по whois это Google.

И зачем оно туда лезет, если я ничего не гуглю, а просто набираю этот пост?

 ,

Xenius
()

Патрик не одобряет отмену перевода часов

Как внезапно сегодня обнаружилось, моя Slackware 13.37 перевела время автоматически на час назад.

Я вначале пробовал бороться с помощью date -s «`date -R | sed s/11:/12:/`» — но date -u показывал неправильный результат.

Теперь пофиксил — выбрал зону из Etc/ — там зоны типа GMT-N (кстати, почему -N? Как-то перепутано, ведь в России часы показывают время на N часов больше, значит должно быть GMT+N (для Москвы N=4)

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

Надеюсь, Патрик всё-таки обновит (пересобирать половину glibc на каждом компе — изврат же)

Xenius
()

[мечты][CoreBoot][LinuxBIOS][EFI] Идеальный загрузчик для x86-машин — альтернатива UEFI и Old BIOS

Начну с требований. Загрузчик должен:
1) быть простым
2) выполнять минимум функций
3) работать быстро
4) позволять осуществлять управление ресурсами компьютера с максимальной гибкостью
5) совместимым с DOS-style BIOS

Думаю, всё. Кажется, что свойства 1-3 и 4 противоречат друг другу, но далее я покажу, что это не так.

Предлагаемая схема загрузчика:
Двууровневая система загрузки, ROM с минимумом функций, SSD с остальным.
Порядко загрузки:
0) Переключение блока питания (или там нажатие кнопки на корпусе) заставляет процессор прыгать на какой-нибудь фиксированный адрес, замапленный на ROM, так что бы команды читались прямо с него. Размер ROM-чипа меньше кэша процессора, следовательно предварительная его загрузка в RAM не нужна.
1) ROM содержит коды инициализации клавиатуры, внутреннего носителя материнской платы, одного или нескольких внешних носителей и отображения на дисплее.
ROM инициализирует минимум необходимого для работы железа, базово — клавиатуру, CMOS и мини-SSD. Загружает настройки CMOS, в зависимости от них устанавливает своё поведение. На этом этапе процессор переключается в защищённый режим, что бы всё остальное работало быстрее. По умолчанию:
1.1) Загружается драйвер клавиатуры и обработчик прерываний
1.2) Драйвер SSD
1.1a) На нажатие клавиш даётся сколько то времени, но не менее секунды.
1.1b) Если поступило прерывание от клавиатуры — то есть нажата ключевая комбинация, например клавиша DEL или F2 (предлагаю реагировать на любую из тех какие когда-нибудь встречались в загрузчиках что бы юзер не гадал что нажимать, то есть Del, F2, F10, F11 и может ещё shift), догружается драйвер дисплея и код отображения меню настройки. В меню настройки должны быть пункты: 1) загрузка системы с SSD, 2) загрузка системы с другого носителя (или нескольких) — как минимум одно устройство, которое можно подключить не разбирая комп, но увлекаться не стоит, флешки, CD, HDD вполне хватит 3) настройки. Настройки должны включать в себя как минимум переключение защиты от записи встроенного SSD. С другой стороны, как вариант можно просто сделать отдельным пунктами «загрузка с SSD без защиты его от записи», «загрузка с флешки без защиты SSD от записи»... Ещё туда можно включить установку часов и пароля. Ну и может быть дефолтного места загрузки (например загружаться сразу с жесткого диска, игнорируя встроенный SSD).
1.3) Происходит чтение встроенного в материнку SSD в фоне, пока ожидается прервывание от клавиатуры. реализовано оно должно быть максимально простым способом, например просто читается в память первые несколько мегабайт и происходит прыжок на самое начало (расчитываем сколько можно прочитать за 1 секунду по скорости SSD-шки).

2.1) часть SSD (носитель впаянный в материнку, ёмкостью не менее 128 MB и максимально быстрый) считана в оперативку. Она не формализуется в спецификациях и там может быть что угодно, например модифицированный GRUB2, эмулятор BIOS, эмулятор (U)EFI или даже сразу ядро Linux (или любое другое на выбор)
2.2) Так как носитель SSD имеет ёмкость порядка гигабайта, то можно туда запихать например SysRescCD и прочей фигни типа антивируса
2.3) загружается что-то вроде гипервизора, инициализирует уже всё железо... В него можно воткнуть все необходимые функции.

Теперь о требованиях:
1-3 — это фичи первоначального загрузчика, он умееть даже меньше чем обычный BIOS. Можно взять даже часть кода U-boot
5 — если загрузка происходит с внешнего носителя, то должна быть возможность делать носитель, который будет грузиться и на старых BIOS. Для этого я предлагаю загружать в RAM первый мегабайт носителя (или его область от 512 кб до 1 мб), а JMP делать на фиксированный в спеках адрес, который будет сразу с начала второго полумегабайта. Думаю что запаса в 512 кб хватит для всех GRUB2, lilo и прочих бут-менеджеров. А вторые 512 кб — это уже код защищённого режима, который загружает что-то вроде GRUB2
4 — очевидно что в мини-SSD на материнке можно установить любой лёгкий дистрибутив GNU/Linux, в том числе с гипервизором и какой-нибудь md5sum в rc-скрипте.

Если мне сейчас скажут, что CoreBoot уже есть и всё это умеет, то я скажу — можно взять и его, собрать соответствующим образом и припаять на материнку флешку. Но это должны делать производители материнок, а не юзеры.

UPD: Что бы реализовать защиту от записи SSD, нужно встроить в материнку аппаратный ключ, который позволяет переключать себя программным способом только в одну сторону (запрет записи). Переключение в сторону разрешения записи должно требовать отключение питания.

Таким образом, код загрузчика из SSD (или код ROM) сможет активировать этот ключ сразу после того как убедится, что юзер не нажал на кнопку входа в меню настроек.

UPD2: Можно использовать съёмный SSD, например картридер microsd-карт c картой. Тогда в ROM достаточно только кода инициализации и чтения вот этого самого microsd и всё. Остальное будет делать код, прочитанный оттуда.

Правда появляется минус — если запорешь загрузчик, придётся открывать корпус компа.

 , ,

Xenius
()

[снова о клавиатурах] Alt, Cmd, Esc, Meta, Super, Hyper — не одно и то же?

В продолжение темы о клавиатурах

Meta в емаксе и шелле работает если нажать Alt или Esc, с другой стороны, были предложения назвать клавишу Super как Meta (см опрос).

С третьей стороны, на обычных клавиатурах для x86-компов, клавиши Alt и Windows работают по-разному.

Так где всё-таки Meta? Это Alt, Esc или кнопка с рисунком? Или её вообще нет, а Alt и Esc её эмулируют? Но если Alt действует как Meta, то где клавиша, которая действует как Alt?

Ещё были сановские клавиатуры с кучей дополнительных клавиш:
http://homepage1.nifty.com/y-osumi/parts/keyboard/sun/sun_type5c.jpg

Так всё-таки, где же истина? И сколько максимально можно заюзать модификаторов в обычных иксовых программах?

Xenius
()

[специалистам по клавиатурам]А бывают ли клавиатуры без меток?

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

А бывают ли клавиатуры вообще без меток, кроме может быть черточек на А и О (а то и совсем)? Я имею ввиду изначально без меток, а не самоделки. Очевидно, что можно каким-нибудь там ацетоном попробовать их смыть.

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

Ну и ещё какие метки бывают на клавише Super кроме логотипа вражеской ОС и домика?

Xenius
()

[математика] Математика и метафизика

Предположим, что существует какая-то другая вселенная где законы природы совершенно другие, но при этом подходящие для возникновения сложных сущностей способных к чему-то вроде рефлексии и мышления.
Придут ли они к идее чисел π и e, если у них будет развитая математика?

А к идее натуральных, целых, порядковых или ещё каких-нибудь числе, где есть 1, 2, 3, 4... и свойства у них такие же, то есть 2+2=4, есть простые и составные числа..., пусть даже называются у них эти числа иначе?

Кто-то может возразить, что отношение длины окружности к диаметру может отличаться в других геометриях. Но ведь для числа π есть ряды типа 4/1-4/3+4/5-4/7... которые состоят только из натуральных чисел, но сходятся к числу π

 

Xenius
()

[quine][sh][dc] Смысл жизни

$ A="dc -e'[[dc -e]P39dP8BPrP8DP1F6BAPP10P]dx'"; diff -sq <(echo $A) <(eval $A); echo $A | tee /dev/stderr | wc -c
Files /dev/fd/63 and /dev/fd/62 are identical
dc -e'[[dc -e]P39dP8BPrP8DP1F6BAPP10P]dx'
42

License: public domain

 ,

Xenius
()

RSS подписка на новые темы