Kevin Kuhl

Two bad Godel takes I've seen recently, one from LinkedIn, and one from a philosopher who should know better. 1/14

Neo-logicists think that logic is more rich, and includes things that let you quantify over predicates (think sets). What they discovered, and it's genuinely cool is that if you add a statement defining same number you can prove basic arithmetic follows from their concept of logical truth. 13/14

Two bad Godel takes I've seen recently, one from LinkedIn, and one from a philosopher who should know better. 1/14

So this kills the idea of proving things about the formal systems you build to model mathematics. What this poster conflated is formal logic, with logic more broadly. 11/14

Two bad Godel takes I've seen recently, one from LinkedIn, and one from a philosopher who should know better. 1/14

So this is what Godel showed. For any (consistent) system that lets us do enough math, it's going to leave something out. Sorry formalists, this is a hard stop on provability given the expressive resources necessary to do math. This is the first incompleteness theorem. 9/14

Two bad Godel takes I've seen recently, one from LinkedIn, and one from a philosopher who should know better. 1/14

There was a closely related group of mathematicians and philosophers who though that what was going with math was that really, we don't even need this laws of thought stuff. We're just manipulating symbols on paper. 7/14

Two bad Godel takes I've seen recently, one from LinkedIn, and one from a philosopher who should know better. 1/14

A logicist thinks that the truths of mathematics are just truths that we get from logic. But this kind of raises the question, what is logic? Usually, they'll say something like "laws of truth"... 5/14

Two bad Godel takes I've seen recently, one from LinkedIn, and one from a philosopher who should know better. 1/14

It would be a pretty weird road to go from readings about what it means to determine whether a sentence is decidable, in the sense of "can we determine whether there's a series of sentences that constitutes a proof of it" to the questions that really matter about what's going on with AI. 3/14

Two bad Godel takes I've seen recently, one from LinkedIn, and one from a philosopher who should know better. 1/14

I've been seeing people say that the point of computers/apps is to not notice them. I think that's wrong. Give me crunchy and functional apps with lots of things to understand and deep capabilities. I want tools that open up possibilities and have points of friction that encourage me to explore.

I want computers full of things like Obsidian, Hugo, Ableton, OBS, or Photoshop. I want apps that encourage expertise and empower us to do things.

I'm thinking about some community organizing projects and I'm a little burnt out on Instagram and Discord. If I'm the audience, how do I reach me? Initially, flyers in common spaces and spreading the word in person at similar events. But I have ideas... #kitchener #waterloo #organizing #kw #local

There's still network effects that make people go to Instagram for discovery, so I think that's inevitable that I'll have to create an account, but coupling a website first approach with some kind of form solution for signups Luma.com seems like a good way to get the initial communication going.

I'm thinking about some community organizing projects and I'm a little burnt out on Instagram and Discord. If I'm the audience, how do I reach me? Initially, flyers in common spaces and spreading the word in person at similar events. But I have ideas... #kitchener #waterloo #organizing #kw #local

The key thought is that for upcoming events, it really helps if there's a calendar feed. You can subscribe and see events in your local calendar app. I started looking around the #hugo community, and people have built out ways of doing that: www.jvt.me/posts/2019/0...

My Guidelines for Writing About AI With everything going on with AI, it's important to think about what makes for good writing about AI. Here's my personal guidelines for staying out of hot water. There's a lot I've left unsaid, but these rules form the basis for what I try to write.

POSSE for Hugo: Part Two - The Product Part two of building a POSSE script for Hugo is live! 🚀 I’m sharing the Python code and workflow I use to syndicate my Hugo blog. #Hugo #POSSE #Python #Automation