- This page: http://en.wikipedia.org/wiki/User:Chalst
I'm Charles Stewart, a copy-editor and former logician based in Berlin, who retains his former research interests in proof theory, modal logic, applications of logic to computer science, and mathematical structures for semantics. Some of my home pages:
- User pages at wikimedia sites: wikimedia commons, de.wikipedia.org, wikisource, and meta-wiki;
- User pages at other wikis: Proof and Counterexample, RationalWiki, CLiki, c2.com, and The Scheme Wiliki (schemewiki.org);
- Business hompage at www.textproof.com.
Skills and participation
I'm a participant in the excellent Wikipedia:WikiProject Mathematics, the rather less successful Wikipedia:WikiProject Philosophy, and a cofounder of the near-defunct Wikipedia:WikiProject Logic. Most of my editing activity is to do with logic, and an idea of what I count to be logic can be found at User:Chalst/watchlist.
Goals and to dos
Two main goals I have at the moment: help the logic article on the road to featured article, and help Wikipedia:WikiProject Logic. Most of my edits are somewhat related to my academic interests, but I dip into music, German politics, journalism and publishing, and other articles from time to time.