Deschide articolul original într-un tab nou Schimbarea acestei opțiuni se aplică imediat și reîncarcă pagina.
LECTURA
← Înapoi la Urmăritori

Logic Matters

logicmatters.net/blog/index.xml
Vizitează site-ul

Cel mai recent articol

Ultima verificare

Urmăritori 0 urmăritori
Articole: 20

  1. Three reading recommendations

    (Logic Matters)

    I try not to spend too much time reading substacks (though there is much good, if depressing, writing to be found).

  2. BML on proof theory, revised

    (Logic Matters)

    Here is the third updated chapter of the 2022 Beginning Mathematical Logic Study Guide, this time on proof theory.

  3. BML on computable functions, formal arithmetic, and Gödel’s theorems

    (Logic Matters)

    As announced, I am beginning to revise the 2022 Beginning Mathematical Logic.

  4. Shostakovich on Sunday

    (Logic Matters)

    In the most recent issue of the BBC Music Magazine, the “Building a Library” feature is devoted to Shostakovich’s much played, much recorded, 8th String Quartet.

  5. A new chapter of recommended readings on FOL

    (Logic Matters)

    As announced, I am beginning to revise the 2022 Beginning Mathematical Logic.

  6. BML: I need a plan …

    (Logic Matters)

    A month full of distractions, fatigue, brain fog.

  7. Set-theoretic troubles

    (Logic Matters)

    There have been considerable distractions … So I have had less time and inclination for logical matters in the last couple of weeks.

  8. Lea Desandre sings Handel

    (Logic Matters)

    On a very hot night, when it must have been so hard to keep the gut strings in tune, a Wigmore Hall concert with the always wondrous Lea Desandre, Thomas Dunford and the Jupiter Ensemble singing and playing Handel.

  9. Postcard from Ljubljana

    (Logic Matters)

    Back from six days in Ljubljana.

  10. Apologies

    (Logic Matters)

    Two apologies are in order.

  11. Book note: The Open Logic FOL texts

    (Logic Matters)

    I am thinking about recommendations for the Study Guide for readings on first-order logic, and it has been a while since I looked at the offering from the admirable Open Logic Project.

  12. Settling in – and a PHQ concert

    (Logic Matters)

    The domain name logicmatters.net now points to this new site freely hosted on GitHub.

  13. A new hardback!

    (Logic Matters)

    As promised, a hardback of Introducing Category Theory was published on June 1st, and is beginning to appear listed on booksellers’ online sites – search with the ISBN 106834671X.

  14. New version website

    (Logic Matters)

    I said a week or so ago that I was going to investigate moving the Logic Matters website from its current expensively hosted Wordpress incarnation to a (slimmer?)

  15. Twenty years on, what next?

    (Logic Matters)

    The Logic Matters blog started on 9 March 2006.

  16. ICT paperback is out!

    (Logic Matters)

    The revised/corrected third edition of Introducing Category Theory is now available as a paperback.

  17. Felicity Lott, 1947 – 2026

    (Logic Matters)

    There have been so many moving obituaries and fond tributes.

  18. Proof-reading, with a bit of help from LLMs

    (Logic Matters)

    What have I learnt over recent weeks, preparing a corrected version of Introducing Category Theory, invoking – at various stages – my friends Claude, Gemini and ChatGPT as proof-reading assistants?

  19. A new version of ICT

    (Logic Matters)

    The end is in sight.

  20. On the mathematical abilities of LLMs

    (Logic Matters)

    A very interesting new blog post by Tim Gowers on his recent experiences with ChatGPT 5.5 Pro.