April 21st, 2021

язык, аксиомы, теория

(неформальное пояснение)

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

(no subject)

--
Левенчук:
Отдал сегодня полцентнера архивов 90-х годов ...
Эх, поглядел я пару-тройку бумажек из тех времён -- как же я тогда был бодр и шустр, и сколько у меня тогда было иллюзий! А сейчас как-то вяловат стал, ибо многая знания -- многая печали.
https://ailev.livejournal.com/1562921.html
--

Он считает, что у него сейчас нет иллюзий. ))
Это наивно. )

система заметок

Я свою систему заметок делаю в жж и в файлах на диске.
Мне удобно. Это помогает в работе.

--Zettelkasten ~ "шкаф с картотекой"--
Чтение не увеличивает магическим образом ваши знания. Если текст просто попался вам на глаза и проник в краткосрочную память, это ещё не значит, что вы что-то из него узнали. Если всё, что вы делаете — это читаете, и делаете это не для развлечения, то тратите время в пустую. Всё, что попадает в вашу краткосрочную память, обязательно забудется и будет бесполезно в долгосрочной перспективе. Годы спустя эффект будет такой же, как если бы вы не читали эту книгу или статью.

Так что, если вы читаете, чтобы увеличивать знания, ведите заметки. А если собираетесь вести заметки, то попробуйте Zettelkasten.

Zettelkasten будет не только безопасным хранилищем для знаний, которые вы собираете со временем, но принудит вас создавать заметки и прописывать между ними связи. Zettelkasten улучшит понимание материала, который вы читаете. К такому выводу пришли исследователи Анни Пиолат, Терри Олив и Рональд Т. Килог (пдф).

https://habr.com/ru/post/508672/
Zettelkasten: как один немецкий учёный стал невероятно продуктивным
--
https://habr.com/ru/post/509756/
Как я веду Zettelkasten в Notion уже год: стартовый набор и полезные трюки
---