For decades, computers were built for logic -- branching decisions, compilers, databases. But AI flipped the script: today's machines are being rebuilt for one thing above all else -- multiplying matrices at massive scale| Hexmos Journal
So I'm two months into trying to teach a proof of Fermat's Last Theorem to a computer. We already have one interesting story, which I felt was worth sharing. Continue reading →| Xena
I’ve been slowly reading Brian Cantwell Smith’s “The Promise of Artificial Intelligence” recently. I haven’t finished reading it yet, and like much of BCS’s writing, it’ll probably take me 3 or 4 read-throughs to really understand it, but there’s one point that I want to pick up on. It is the idea that “Good Old-Fashioned […]| Neil Madden
I enjoyed Hillel Wayne’s recent newsletter about microfeatures they’d like to see in programming languages. A “microfeature” is essentially a small convenience that makes programming in that language a bit easier without fundamentally changing it. I love this idea. I’m partial to a bit of syntactic sugar, even if it can cause cancer of the […]| Neil Madden
Datalog is a logic programming language, based on Prolog, which is seeing something of a resurgence in interest in recent years. In particular, several recent approaches to authorization (working out who can do what) have used Datalog as the logical basis for access control decisions. On the face of it, this seems like a perfect […]| Neil Madden
I saw another article on Gödel’s incompleteness theorems linked from Reddit today. It’s a topic I’ve wanted to write about for some time. Although many articles do a decent job in giving an idea of…| Neil Madden
Paul Rutherford explains how reason, Christ's resurrection, and the Bible all testify that Jesus is the only way to heaven.| Probe Ministries
The circularity Of meritocracy I see hypocrisy Don’t think it’s lost on me Joe: Schools are a meritocracy, because the best students get the best grades. Amy: What it does it mean to be the best student? Joe: Studying, doing assignments, and acing tests to get the best grades. Joe: Successful company leadership is a […]| Axol's Blog
Thank you, it’s an honor to be here — especially since I was never invited. My congratulations to all you future leaders, followers and resisters. I’d like to begin, as is obligat…| The Propaganda Professor
Vagueness and mass nouns have been unconquerable land for the logic founded by Aristotle, mathematized by Boole, and developed by Frege and others since the end of the nineteenth century—a logic I …| Blue Labyrinths
Solve this simple logic puzzle with a spring theme. Cut out the images and glue them on the puzzle board without overlapping. Great simple spring activitiy for kindergarteners and first graders.| Simple Fun for Kids
Simple logic puzzle with a spring theme. Cut out the images and glue them on the puzzle board. The post Simple Spring Logic Puzzle Freebie appeared first on Simple Fun for Kids VIP.| Simple Fun for Kids VIP
An introduction to some big upcoming changes in Catlab, with a focus on GATlab.jl.| blog.algebraicjulia.org
There’s a pretty thought experiment that’s sometimes attributed to Democritus though it’s actually due to a later popularizer of the atomic hypothesis1 and it goes like this: Suppose we use the wor…| mathenchant.wordpress.com
Humans are lazy when thinking about infinity. Usually it doesn’t matter, but sometimes, our imprecision comes with big philosophical implications.| Steve Patterson
For the last several years, I’ve been on the hunt. I’ve been searching for an explanation for the popularity of irrational beliefs. People casually accept contradictions into their worldview; they are convinced that paradoxes exist. I’ve been trying to understand why. Their arguments frequently end up appealing to mistaken interpretations of quantum physics or the […]| Steve Patterson
Linearity is simply a trick or gimmick, nothing more - it's a trivial affair, not a profound one. Having said this, we still have to acknowledge that it seems pretty nontrivial to us as we actually experience it - it's not like a wet paper bag that that we can…| The Negative Psychologist
The story for specifying subsets goes like this. Given a property| golem.ph.utexas.edu
Rational therapy equals the ‘avoidance of risk’, the ‘avoidance of uncertainty’. RT involves the creation of a positive reality, in other words. We never hear anyone actually say this, but that's because the positive (or 'stated') reality is all we know, all we are able to acknowledge. If we ever…| radicaluncertaintydotcom
How can we tackle relational algebra of the sort seen in optimization models using tools from AlgebraicJulia?| blog.algebraicjulia.org
Acsets are great, but what if attributes could be variables?| blog.algebraicjulia.org
A follow-up to Algebraic Geometry for the Working Programmer, this post explains a category-theoretic approach to symbolic open dynamical systems.| blog.algebraicjulia.org
In this series of posts, we investigate the duality between algebra and geometry in order to develop new types of lenses. In this first post, we review some basic ideas about algebraic geometry that will be needed in the coming posts.| blog.algebraicjulia.org
The chase in an algorithm in the context of databases that has applications in Catlab for model exploration, term rewriting, and enforcing schema axioms.| blog.algebraicjulia.org
Nonclassical logics are often thought to be abstruse and exotic, but they arise naturally as the logic of connected spaces. In this post, we introduce the propositional logic of subgraphs, and more generally of sub-C-sets, and illustrate it with computational examples. The nonclassicality of this logic is seen to be not just natural but inevitable, and also surprisingly useful.| blog.algebraicjulia.org
What is a scientific model? This post considers how mathematical logic and category theory can help us understand scientific models, and how AlgebraicJulia aims to build modeling frameworks based on this understanding.| blog.algebraicjulia.org
We are making an error by ascribing human thought processes to AI. AI doesn't "think" or reason like we do at all. There's a difference between logic and calculation. The post p → q: the Logic of people vs AI first appeared on This is a lot.| This is a lot
It is common to just assume God is timeless and spaceless. But I aver that’s logically impossible. You Have to Exist Somewhere to Exist at All If God has no location, then by definition there is no location at which God exists. And if there is no location at which God exists, then by definition […]| Richard Carrier Blogs
Speaking to the MAGA cult of election deniers about the effort to justify vote suppression tactics by the GQP, Mike Johnson, in capacity as — surreal as it seems — Speaker of the U. S. …| The Propaganda Professor
Are you ready to soak up some brain-boosting fun in the sun? Look no further than beach-themed logic puzzles! These puzzles combine the excitement of a seaside vacation with the thrill of solving math problems. By using pictures to represent numbers and incorporating addition, multiplication, subtraction, and division, these puzzles are a fantastic way to... The post Beach Math Logic Puzzles for Kids first appeared on Royal Baloo. The post Beach Math Logic Puzzles for Kids appeared first on...| Royal Baloo
Infographics connect our ideas with the world. They contain pictures, schemas, symbols, and signs. This is how they work:| Ralph Ammer
Last year at this time, I beta-tested Final Cut Pro and Logic Pro for iPad. I was impressed with both and found editing podcasts in Logic Pro for iPad surprisingly easy. That said, both apps were still limited compared to what their sibling versions could do on the Mac. With today’s update, Apple appears to| www.macstories.net
Recently various pundits (including myself) have announced the end of Good Old Fashioned AI (GOFAI). But it has an impressive history, and encountered failure only on the verge of what would have been its greatest triumph. What is GOFAI? Some … Continue reading →| Bill Wadge's Blog
What are some ways to improve the lens design through logic? What is at the bottom of this process? I have a few theories…| A Pencil of Rays
Today’s shower thought is: Is there a way to interpret double negation elimination as a program?| rufflewind.com
Variations on Weihrauch degrees (CiE ... →| math.andrej.com
There’s a famous logic puzzle, originally from Raymond Smullyan, called a “Knights and Knaves” puzzle. We have a set of people, all of whom are either a Knight or a Knave. Knights only make true statements, and Knaves only make false statements. Usually the goal of the puzzle is to find out who is what. For example, if we have two people, A and B, and A says “both of us are knaves”, we know A is a knave and B is a knight.| Hillel Wayne