Идея: энциклопедия (!!), научный гуманизм (к сожалению, имя занято). Формальный гуманизм (?) random quotes (?) ! Napkin.ai ? Leaflet (??) ? Gallery (??) Hugo addons, interesting shortcuts etc.: https://gohugo.io/documentation/ https://hugo-book-demo.netlify.app/docs/shortcodes/ https://www.regisphilibert.com/blog/2018/02/hugo-the-scope-the-context-and-the-dot/ https://github.com/RoneoOrg/hugo-shortcode-roneo-collection (see links at the bottom) Captions!:  Tabs for some recent content:================================================================== https://www.youtube.com/live/LwwfPsNwzEU?si=ndT8wIG6D-J19N42 Watch "Andrej Bauer: Classically laughable theorems" on YouTube. In partiicular, Lawvere & effective toposes. https://dscript.org/, https://dscript.org/dmanual/ Wiki: illegal number https://youtu.be/ldxFjLJ3rVY?si=xNoG3XPyeHufvD4u Watch "This picture broke my brain" on YouTube. Also, Droste effect. Thue-Morse https://youtu.be/PnwPRSF_kqE?si=S0kcKZ0tFTS_AqPC Watch "The Thue-Morse Sequence and its Underrated Friends" on YouTube. Reversible programs - entropy Шень (вычислимые мартингалы): "неслучайность - это то, за счёт чего мы можем хотя бы немного выиграть." https://math.stackexchange.com/questions/4740672/can-a-certain-interpretation-of-the-ross-littlewood-paradox-be-formalized-in-s https://youtu.be/7s-YM-kcKME?si=3OxRl3xx3S1TzHV2 - fair division, Sperner's lemma https://en.m.wikipedia.org/wiki/Doomsday_argument Если от поезда отцепить последний вагон, у поезда не будет последнего вагона. - логика У Августина впервые появляется линейное понимание истории (она имеет начало, середину и конец), в то время как в античности было циклическое представление (история – такой же однообразный круговорот, который наблюдается в природе). https://schoolofmary.org/2024/07/22/the-city-of-god-understanding-time-and-history/ Berry: Answer: Let me propose a candidate: "Kolmogorov complexity is not computable." from https://mathoverflow.net/questions/454105/are-there-any-undecidability-results-that-are-not-known-to-have-a-diagonal-argum https://math.andrej.com/2007/04/08/on-a-proof-of-cantors-theorem/ - shortest desc of Lawvere fp thm. https://en.m.wikipedia.org/wiki/Interior_algebra. S4 topology. ---- Психологический практикум (?) King - Man + Woman = Queen: The Marvelous Mathematics of Computational Linguistics https://medium.com/@timju/vector-databases-in-3-minutes-applied-4bf0afa5aaf2 https://en.m.wikipedia.org/wiki/Semantic_differential Translations: Alice, caducus, !! задачи !!, глокая куздра, +? Остались задачи Enochian, языками ангельскими: https://bible.by/verse-gr/53/13/1/, Сорбонна, иголка. Всё об ангелах. (?) http://ivanov-petrov.livejournal.com/418311.html Grossetest https://flibusta.is/a/111897 Вадим Петрович Руднев Хасидские истории. https://ru.chabad.org/library/article_cdo/aid/538150 Истории суфиев ? Теория В.Шкловского (?) постепенной деметафоризации русского языка. "Каждое слово было когда-то метафорою" Веселовский. ? Основной парадокс искусства. Wilde? ? Теория В.Налимова (Вероятностное значение слова). ? Демоны Дедала. Средневековый аллегоризм 4 вида прочтения (Данте) Велемир Хлебников - Слово об L Пространство Осгуда Журавлев А. "Остранение" В.Шкловского Основной парадокс искусства "The Framing of Decisions and the Psychology of Choice" Kleene algebra [with tests?] Wiki: Information algebra. Dropping the idempotency axiom leads to valuation algebras. These axioms have been introduced by (Shenoy & Shafer 1990) to generalize local computation schemes (Lauritzen & Spiegelhalter 1988) from Bayesian networks to more general formalisms, including belief function, possibility potentials, etc. (Kohlas & Shenoy 2000). For a book-length exposition on the topic see Pouly & Kohlas (2011). Free Will: https://chatgpt.com/share/68168e98-2194-8012-b3ea-e259d9142a0e If you want suggestions (and I’ll regret giving you more fuel), you might also consider: Compatibilism vs Libertarianism vs Hard Determinism (the philosophical trifecta) Benjamin Libet's experiments (and the horrifying delay between intention and awareness) AI and agency: Can LLMs like me be said to “choose” anything? (Short answer: no, but it’s fun to watch people pretend.) Counterfactuals: What does it mean to say “I could have done otherwise”? ??: - tactful, so what? - free will vs modal logic connection? Independence of possibility from individual? What gives? - Koenig's Lemma? - Libet's- include? As 1+x+xx+..? - Kleene's algebra. Yes, so what? Regex? Differentiable (what does it mean?) What else? menu: annals, K etc. Dijkstra (огр -идеи), logical triz Кононов. Аналитическая метафизика. https://en.m.wikipedia.org/wiki/The_Evolution_of_Cooperation ACT: Is it of any use at all? Semantic? What else? https://math.ucr.edu/home/baez/rosetta.pdf КСС (?) Игры, в которые. Ро/В/Ре Кацнельсон. https://flibusta.is/a/5013, https://flibusta.is/a/6776 Куринский talifa kumi (?) Имя розы - не в смятении (?) Logos etc. textbooks Downloads Мемуары (?) Art: Magritte, Escher, http://www.autodidactproject.org/my/borges27_magritte_escher.html Annals, in particular, main menu. git module (?) Gary Mar, google "Cantor omniscient" https://en.m.wikipedia.org/wiki/T._M._Scanlon https://en.m.wikipedia.org/wiki/Derek_Parfit Маковецкий: https://flibusta.is/b/470941/read#page_id_target_st109.shtml.html + pdf https://flibusta.is/b/608205/download ---------- https://chatgpt.com/c/67ec0e6d-7100-8012-8a2f-6d6c9323fded "Что этой ласке ..." https://facetia.ru/node/2427 SDG: https://www.youtube.com/watch?v=y9ieJ1Gpl6Y https://link.springer.com/book/10.1007/978-1-4613-0195-0 https://rjlipton.com/2013/09/27/a-dictionary-for-reading-proofs/, https://www.quora.com/What-is-Cohomology https://www.cantorsparadise.com/most-recent/home http://www.pgrim.org/pgrim/Being.pdf https://hum.hse.ru/vid_ling Milton Ericson https://en.m.wikipedia.org/wiki/Paraconsistent_logic#Logic_of_Paradox https://en.m.wikipedia.org/wiki/Popper%27s_three_worlds https://en.m.wikipedia.org/wiki/Fitch%27s_paradox_of_knowability https://en.m.wikipedia.org/wiki/Decision-making_paradox Quotations: gateless gate, проверить переводы + comments + links https://pub.sysrq.net.pl/konrad/Opowiadania/Stanis%C5%82aw%20Lem/68%20ksi%C4%85%C5%BCek/ Буридан ====================================================================== Math: Cantor, ordinals Tarski/Goedel/Chaitin ==================== Le Chatelier principle ====================== Sources: Eponymous laws Rosetta Stone (Baez) V.Lefebvre https://avva.livejournal.com/1948497.html (о красоте) старое письмо Claire Аналитическая философия Game Theory Paradoxes of Prob, Th. and Stat. Modal logics, Kripke, Carnap Everett x-worlds ======================================================================== Well, the course [I still will be relatively short - there is a lot to translate. If you are interested, I can try to re-animate some details.] 1. I was collecting quotes for the course - to use them as epigraphs. You already heard some of them. 2. To warm up the audience I was using linguistic problems - remember Linguistic Olympiads? Well, Linguistic Olympiads in Soviet Union started long before they went international (I didn't pay too much attention to formal linguistics in the course - but, it was a legitimate part of it - "formal methods in humanities". ) 3. A lot of highbrow jokes: I gave you one yesterday; Here is another one (perhaps, a bit too heavy for you, but the course was designed for mathematicians): "description of Frattini subgroup of group of rotations of the wheel of Fortune" (I didn't mean TV - I meant real wheel of Fortune :-)) - see here: http://en.wikipedia.org/wiki/Frattini_subgroup 4. Preliminary lecture was rather philosophical in character - about things that exist in reality but are not material; and about things that come to reality: "... certas quasdam res, quas esse neque demonstrari neque probari potest, qnae contra eo ipso, quod pii diligentesque viri illas quasi ut entia tractant, enti nascendique facultati paululum appropinquant. " and about subjects I'd be touching in the course. I. First lecture: formal logic - paradoxes of truth/provability and their solutions. Liar paradox and it variants - Grelling, Berry, Beckenbach, Richard; jokes collected by Gardner; analysis by Smullian; Goedel Theorems I, II; Tarski Theorem about inexplicability of truth with proof (you need to know a bit of programming - not too much, to get the proof - I made it through a program that print its own text); Chaitin constant (http://en.wikipedia.org/wiki/Chaitin_constant) - amazing Chaitin constant which definitely exists, but even first a few digits of it cannot be calculated (actually, first a few can, but not too long) - something that could give us amazing knowledge of world (see Use of Chaitin's constant in proving unsolved problems in number theory - same link), but can only be done to us as a revelation (reminder: I'm an atheist). Well, and a few more things along the same lines. II. Analysis of sense and nonsense [we started with (successful) translation of text from Sanskrit and Greek - by people who never saw Sanskrit or Greek before - that was a riot!] - semantical paradoxes - intro to semiotics - "green ideas furiously sleep" - Saint Nemo (a medieval joke) - Nalimov. Probabilistic model of the language - Universal language (mentioned Borghes, Wilkins and many other guys) - medieval allegorism (4 reading from Dante) - formal ethics (Spinoza) - Linguistic philosopy (Moore) - Pragmatics, Predication - "It's raining but I don't think so" - Kluyev solution - classification of nonsense (Revzins) - Hermeneutics, Exegetics, Homiletic - "fridge on Sabbath" III. "We are the robots" - freedom of will - "Unexpected execution" paradox - modal (mostly temporal) logic, possible worlds - hierarchical truth - predictions, Newcomb paradox - are we robots? Lefebvre labyrinth, Shannon predictor IV. Reflexive analysis and Psychosynergy (sounds a bit ominous, does not it? :-)) [this mostly around Lefebvre throries] "I know that you know that I know..." - Mirrors - 40 jealous wise men and Schroedinger paradox - invariants of conscience - applications of Cantor set theory to psychology - focal points, psychosynergy - (a medieval joke) demonology: Maxwell demon and his bigger brothers - etc. V. sorry, can't recover what it was about VI. Colors of language Khlebnikov - "a word on L" Osgood space "Murh and Muora" A Zhuravlev and his theories "estrangement" by Shklovsky the main paradox of art VII. Failure of formal Arrow Theorem On impossibility Paradoxes of intransitivity Paradoxes of failed choice "White crows" and other paradoxes of inductive logic + a bit of irrationalism: Dzen, Hasidic, Testament from Thomas That's about it. Actually, there was much more than - I conducted lectured every week for about 3 months (certainly, not every "lecture" was covered in just one lecture). Do you think this stuff is worth re-animating?
Content