User:Chalst/edits
From Wikipedia, the free encyclopedia
Contents |
[edit] Selected major edits to June 2005
[edit] Logic, mathematics, computer science and philosophy
- Mixin 1 Jun 2005
- 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
[edit] Academia
- Stanford Encyclopedia of Philosophy 9 Feb 2005
- Waynflete Professorships 9-10 Nov 2004
- Dyson Perrins Laboratory (begun 10 Nov 2004)
[edit] Politics, Economics, Journalism and Ideology
[edit] Music
- Independent music ethos 13 Oct 2004
- Electrical Audio 22 Sep 2004
- Killdozer 31 Aug 2004
- Big Black 25 Aug 2004
- Steve Albini 25 Aug 2004
- Ruthless Records start-25 Aug 2004
- Touch and Go Records start@25 Aug 2004
