A dear friend sent me a copy of Lakatos "Proofs and refutations" with the words "this should be fun to read".
She was right, yes, I'm enjoying it
#math #logic #philosophy #Lakatos
Edit: you'll find a copy here:
https://thehangedman.com/teaching-files/hps/lakatos.pdf
![Text in screenshot from Lakatos, Imre. Proofs and refutations. London: Nelson, 1963.
Researches dealing with . . . functions violating laws which one hoped were universal, were regarded almost as the propagation of anarchy and chaos where past generations had sought order and harmony' (Saks [1933], Preface). Saks refers here to the fierce battles of monsterbarrers (like Hermite !) and of refutationists that characterised in the last decades of the nineteenth century (and indeed in the beginning of the twentieth) the development of modern real function theory,' the branch of mathematics which deals with counterexamples ' (Munroe [1953], Preface). The similarly fierce battle that raged later between the opponents and protagonists of modem mathematical logic and set-theory was a direct continuation of this. See also footnote 2 on p. 24 and I on p. 25.](https://media.mas.to/media_attachments/files/114/621/076/594/280/853/original/b49e379f03fed2b2.png "Text in screenshot from Lakatos, Imre. Proofs and refutations. London: Nelson, 1963.
Researches dealing with . . . functions violating laws which one hoped were universal, were regarded almost as the propagation of anarchy and chaos where past generations had sought order and harmony' (Saks [1933], Preface). Saks refers here to the fierce battles of monsterbarrers (like Hermite !) and of refutationists that characterised in the last decades of the nineteenth century (and indeed in the beginning of the twentieth) the development of modern real function theory,' the branch of mathematics which deals with counterexamples ' (Munroe [1953], Preface). The similarly fierce battle that raged later between the opponents and protagonists of modem mathematical logic and set-theory was a direct continuation of this. See also footnote 2 on p. 24 and I on p. 25.")
everyone has heard about orchids, but somehow, xorchids, andchids, nandchids, norchids, and xnorchids never get in the limelight.
I will be writing about learning #topology via #logic and #categorytheory
First, some resources:
Tai-Danae Bradley, Tyler Bryson, and John Terilla:
https://topology.mitpress.mit.edu/
Vickers: https://archive.org/details/topologyvialogic0000stev/page/210/mode/1up (not free)
Amity Aharoni Rodrigo Nicolau Almeida Søren Brinck Knudstorp : https://knudstorp.github.io/pdfs/Lecture%20notes,%20Introduction%20to%20Topology%20in%20and%20via%20Logic.pdf
#ESSLLI2025 - Last chance for early bird registration (May 31)!
Logic Language Information
Really interesting courses and the Ruhr area is much more interesting than it is known for! 
#nlproc #logic #linguistics #summerschool
https://2025.esslli.eu/registration.html
Oh and the cool thing? There is no #ai. That is one of the things I enjoy about #todo2d, it's a celebration of #technology enabling a #process that you could easily do on paper but was hard using "traditional tools".
When you have done it a few times on paper you realize how hard the problem is. In the end it's all hard #math and hard #logic.
How can reasoning be both basic and an achievement?
https://www.bryankam.com/p/reasoning-requires-training?r=447n8&utm_campaign=post&utm_medium=web
#philosophy #history #logic #reason #Kant #Aristotle #Luria #Peirce @philosophy
The same people who insist on "rational" decisions in economics, will celebrate this, 
.
Funny how "rational" so often just means "good at compartmentalization".
"US consumer confidence rebounds after months of tariff anxiety"
https://www.theguardian.com/business/2025/may/27/us-consumer-confidence-tariffs
[New Blog Post] Brute E-Graphs Modulo Theories 2: Extraction, Proofs, and Context #egraph #logic https://www.philipzucker.com/egraph-mt2/
50501-8647-3166-1-840-subatomic-lit-polcon-geocon-ctc-cap-dev-agenda-dod-networking-theatre
#8647 #50501d8647d3166d1d840FolderProject _______________a-march-for-impeachment
#dash #dot #design #delivery #developer #dollar #decimal #doctrine #docker #dex #deploymentstorage #decentralizedfuture #dck
#documentary #compassion #knowledge #theampersandproject #caskettco #logic #patterns
2/3
Also quite enjoyed the discussion we had after dinner about #AI and how it's technically completely #logic even inside the "black box" because binary computers are fundamentally logic but it's not logic in a usable way, what "it's logic" means here in semantics and consequence, and if that will ever be possible to change.
[New Blog Post] A Python frozenset interpretation of Dependent Type Theory #typetheory #python #logic https://www.philipzucker.com/frozenset_dtt/
Are you a programmer? Do you want to learn about Logic? Take a look to https://www.logicthrupython.org !!
The book allows to learn complex logic concepts from small programming exercises in Python. And it's free to download!
European Summer School for Logic, Language and Information 2025 in Bochum, Germany:
- 47 courses & workshops
- 4 exciting evening lectures
- social events
- explore the Ruhr area
Early bird registration deadline: May 31!
#esslli2025 #esslli #logic #linguistics #compSci #nlproc #summerSchool #rub https://2025.esslli.eu/
Edit: Boosts appreciated 
There is no #logic here. #Texas #Republicans have jumped the shark with three breathtakingly #stupid #bills targeting #RenewableEnergy in their state which, I remind you, has the worst, most vulnerable power grid in the #US.
Texas Senate passes bill requiring solar plants to provide power at night
https://thehill.com/policy/equilibrium-sustainability/5292792-texas-senate-bill-power-cost/
I took a fun course in college -- Logic and Proofs, which included some clever software, a "Dynamic Proof Tutor" that challenged and guided students as they proved various logical theorems.
The course and software are still under development (link below), but the Tutor is only available as a downloaded program. Can anyone recommend something similar that is available through a web browser?
