Logicomp
Anthony Widjaja To has started Logicomp, a blog devoted to the links between logic and computation and, in particular, finite model theory and descriptive complexity. In his first couple of posts, Anthony looks at different subsystems of first order logic that are decidable and yet surprisingly strong.
It's nice to see the blogging community growing and incorporating a nice cross section of modern logic. I am also quite pleased to grab my first blog scoop :)
posted by Jon @ 12:55 AM
3 Comments:
Jon, thanks for advertising my blog :-)
BTW: nice blog you have here. Been fervently, but quitely, reading your blog since two weeks ago.
Posted by Anthony To
This comment has been removed by a blog administrator.
I seem to remember that Greg Restall mentioned Gillian, Richard mentioned you, Gillian mentioned me, and I mentioned Andrej Bauer, so we've basically all gotten a chance to announce someone, except the latest two!
Posted by Kenny Easwaran
Post a Comment
<< Home