Check out the lyrics for the song “Alright” by Logic
#Logic #Alright
https://daletra.com/logic/lyrics/alright.html

I'm excited to join the editorial board of a new diamond open access journal in mathematical logic:

ZML: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik

https://zml.international/

The open letter of the editors of ZML can be found online on the webpage.

More on the collective action and an editorial board walk-out that led to the creation of this new journal:
https://blog.tib.eu/2025/04/07/mlq-walk-out/

Today the editorial board of _Mathematical Logic Quarterly_ (pub'd by #Wiley) resigned and launched a new #DiamondOA journal on the same topics.
https://open-access.network/services/news/artikel/ruecktritt-des-mlq-editorial-teams

See the open letter announcing their resignations and plans for the new journal.
https://zml.international/files/zml-open-letter.pdf

The new journal has a German title but will publish in English, _Zeitschrift für Mathematische Logik und Grundlagen der Mathematik_.
https://zml.international/

I track these journal "declarations of independence" in the #OpenAccessDirectory (#OAD), and just added an entry for this one, at the bottom in chronological order.
https://oad.simmons.edu/oadwiki/Journal_declarations_of_independence#2025

I also track them — and discussions of them — in the Open Access Tracking Project (#OATP, @oatp).
http://tagteam.harvard.edu/hubs/oatp/tag/oa.declarations_of_independence

Readings shared April 6, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/06-readings_shared_04-06-25 #AI #Haskell #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Math #ProgramaciónFuncional #Prolog

See the lyrics for the song “Flexicution” by Logic
#Logic #Flexicution
https://daletra.com/logic/lyrics/flexicution.html

Voir les paroles de la chanson “5AM” de Logic
#Logic #5Am
https://daletra.art/logic/paroles/5am.html

#Aristotle named five interlinked Noble Sciences which together make up #Philosophy.

- #Metaphysics: the study of existence, the nature of the universe and all its contents

- #Logic: the ways we may know something, the set of permissible conclusions we may draw based on our perceptions, and some sensible rules of deduction and inference

- #Ethics: what we know about man and what we may deduce and infer (through Logic) about acceptable interactions between pairs of individuals

1/2

Text des Liedes “Midnight” von Logic
#Logic #Midnight
https://daletra.top/logic/liedtexte/midnight.html

“𝙳𝚎𝚎𝚙 𝚒𝚗 𝚝𝚑𝚎 𝚑𝚞𝚖𝚊𝚗 𝚞𝚗𝚌𝚘𝚗𝚜𝚌𝚒𝚘𝚞𝚜 𝚒𝚜 𝚊 𝚙𝚎𝚛𝚟𝚊𝚜𝚒𝚟𝚎 𝚗𝚎𝚎𝚍 𝚏𝚘𝚛 𝚊 𝚕𝚘𝚐𝚒𝚌𝚊𝚕 𝚞𝚗𝚒𝚟𝚎𝚛𝚜𝚎 𝚝𝚑𝚊𝚝 𝚖𝚊𝚔𝚎𝚜 𝚜𝚎𝚗𝚜𝚎. 𝙱𝚞𝚝 𝚝𝚑𝚎 𝚛𝚎𝚊𝚕 𝚞𝚗𝚒𝚟𝚎𝚛𝚜𝚎 𝚒𝚜 𝚊𝚕𝚠𝚊𝚢𝚜 𝚘𝚗𝚎 𝚜𝚝𝚎𝚙 𝚋𝚎𝚢𝚘𝚗𝚍 𝚕𝚘𝚐𝚒𝚌.”

― 𝘍𝘳𝘢𝘯𝘬 𝘏𝘦𝘳𝘣𝘦𝘳𝘵, 𝘋𝘶𝘯𝘦

From my blog: Something to think about this month ...

Condoms are one of the most environmentally friendly things invented by man.

https://zenmischief.com/2025/04/something-to-think-about-this-month-4/

Readings shared April 5, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/05-readings_shared_04-05-25 #FunctionalProgramming #Haskell #IsabelleHOL #LeanProver #Logic #LogicProgramming #Math #Prolog

Are there any other #accessible audio and #music apps for IPhone and IPad besides ableton, garageband, logic and tape it?
#accessible #accessibility #ableton #audio #blind #garageband #logic #music #recording

Building AI for mathematical reasoning. ~ Chris Garcia. https://ai.gopubby.com/building-ai-for-mathematical-reasoning-996a81eb8b72 #Prolog #LogicProgramming #Logic #Math

#Logic #Reason #Ontology #Geopolitics #Philosophy
Why to people do it? That is, set up a stalkiing horse in order to break it down. That is absolutely no 'proof' of anything except your narcisstic tendancy to virtue signal. Please stop it. Think twice, post rarely.

See the lyrics for the song “I'm Gone” by Logic
#Logic #IMGone
https://daletra.com/logic/lyrics/im-gone.html

Ah, #Dijkstra, once again reminding us that computers are just too dumb to understand our witty banter. Apparently, expecting machines to "think" was just another pipe dream for those who find #programming syntax tedious and reality even more so. #Logic and precision? Who needs 'em when you can just argue with a compiler about semantics?
https://www.cs.utexas.edu/~EWD/transcriptions/EWD06xx/EWD667.html #Humor #AI #HackerNews #ngated

Readings shared April 2, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/02-readings_shared_04-02-25 #FunctionalProgramming #HOL4 #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Math #Mathlib #Prolog

Amidst the current zeitgeist, the dichotomy is clearer.

Either:

Humans = Money

Or:

Money = Humans

Reductive.