User:Chalst/edits

A better way than looking at past edits, is to look at future plans, so see User:Chalst/tasks if you care.

Logic, mathematics, computer science and philosophy

 * Is logic empirical? new@14 Nov 2004
 * Dana Scott 10 Nov 2004
 * Logic: < 14 Nov 2004 + 20-22 Oct 2004 + 26 Aug 2004 + 22 Aug 2004 >
 * Proof theory: < 25 Aug 2004 + 22 Sep 2004 >
 * Structural proof theory: < 7 Dec 2004 + Start-22 Sep 2004 >
 * Maximal consistent set start@13 Oct 2004
 * Gerhard Gentzen 18-25 Aug 2004


 * Inferential role semantics start-18 Aug 2004
 * Semantics of logic start-19 Aug 2004
 * Cut-elimination theorem start:18 Aug 2004
 * Formal semantics of programming languages 18 Aug 2004

Academia

 * Waynflete Professorships 9-10 Nov 2004
 * Dyson Perrins Laboratory (begun 10 Nov 2004)

Editing approach

 * User:VeryVerily/Conflicting Wikipedia philosophies; my meta-editing position in those terms are:
 * Moderate eventualist (mergeist fraction): see Mergism;
 * Moderate Statusquoist: established articles are traditions, they have inertia that the wise tackle on the talk pages first;
 * Encyclopedist: community is important, but it is entirely subordinate to the informational mission;
 * Authorist: original providers of good content generally have an understanding of what lies behind what they have beyond what the rest of the WP community know;
 * Rehabilist: trolls should be dealt with decisively, but immature and POV contributors too often get coloured as trolls;
 * WikiPacifist: there is never a good reason for breaking the 3rv rule.