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.

Selected major edits to June 2005

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 Wikipedia: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.