tag:blogger.com,1999:blog-5264937.post7226440877551376141..comments2024-03-26T12:23:29.784-04:00Comments on Philosoraptor: Is Pluto A Planet?Winston Smithhttp://www.blogger.com/profile/08780746334199630779noreply@blogger.comBlogger7125tag:blogger.com,1999:blog-5264937.post-91780456095998225362018-05-14T13:15:01.102-04:002018-05-14T13:15:01.102-04:00"I've got some computability theory under..."I've got some computability theory under my belt from grad school...but I don't know anything about computational theories of definitions. Any accessible readings you could suggest?"<br /><br />So this is just something I'm riffing on to be honest. But, the way you'd think of it is: rewrite the definition in terms of some predicate P, then construct the equivalent Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-5264937.post-60186345151970453962018-05-14T12:50:49.462-04:002018-05-14T12:50:49.462-04:00Anon,
I've got some computability theory unde...Anon,<br /><br />I've got some computability theory under my belt from grad school...but I don't know anything about computational theories of definitions. Any accessible readings you could suggest?<br /><br />Like...computational definitions for dummies?Winston Smithhttps://www.blogger.com/profile/08780746334199630779noreply@blogger.comtag:blogger.com,1999:blog-5264937.post-38577505534500541462018-05-14T12:49:20.931-04:002018-05-14T12:49:20.931-04:00I'm fond of this romantic Plutoism...or Putoni...I'm fond of this romantic Plutoism...or Putonic romanticism, or whatever it is, Mystic...Winston Smithhttps://www.blogger.com/profile/08780746334199630779noreply@blogger.comtag:blogger.com,1999:blog-5264937.post-54254325178582679772018-05-14T10:38:26.315-04:002018-05-14T10:38:26.315-04:00Unrelated to pluto, but related to groupings and t...Unrelated to pluto, but related to groupings and their boundaries, one thing I've found interesting is if you think of them in terms of the complexity theory of their definition. Legal definitions, and the definitions social constructivists insist are the only ones possible, tend to only be what's called O(1) (effectively computable in a constant amount of time, in this case by checkingAnonymousnoreply@blogger.comtag:blogger.com,1999:blog-5264937.post-13187052705790224742018-05-14T08:43:21.951-04:002018-05-14T08:43:21.951-04:00Yeah, the question isn't "is Pluto a moon...Yeah, the question isn't "is Pluto a moon?" - that's pretty easy to answer.<br /><br />The question is: "is Pluto qualitatively distinct from other solar orbiting bodies such that it should be considered a planet?"<br /><br />i.e.: If Pluto is a planet, why not particularly large bodies in the Kuiper belt?<br /><br />I'd agree that this isn't of too much directThe Mystichttps://www.blogger.com/profile/00813641115915460692noreply@blogger.comtag:blogger.com,1999:blog-5264937.post-49396661101181670222018-05-14T08:25:23.185-04:002018-05-14T08:25:23.185-04:00ARE YOU SURE IT DIDN'T COALESCE, MOTHERFUCKER?...ARE YOU SURE IT DIDN'T COALESCE, MOTHERFUCKER?<br /><br />Also: moons orbit planets...why isn't that a sufficient difference?Winston Smithhttps://www.blogger.com/profile/08780746334199630779noreply@blogger.comtag:blogger.com,1999:blog-5264937.post-81089632999545575622018-05-14T07:59:21.799-04:002018-05-14T07:59:21.799-04:00I dunno. This would make earth's moon into a p...I dunno. This would make earth's moon into a planet, despite its very different mechanism of formation (via impact, rather than coallescence.) And some of the spherical objects in the solar system are pretty small--just a few hundred miles in diameter. That's not particularly special.Pete Mackhttps://www.blogger.com/profile/14675790226494153847noreply@blogger.com