Index | HTML | Title | |
---|---|---|---|

32 | HTML | some meditations on Advanced Programming | |

667 | HTML | On the foolishness of "natural language programming" | |

831 | HTML | Why numbering should start at zero | |

1012 | HTML | "real mathematicians don't prove" | |

1016 | a computing scientist's approach to a once-deep theorem of Sylvester's | ||

1036 | HTML | on the cruelty of really teaching computing science | |

1068 | HTML | on the quality criteria for mathematical writing (Mathematical Methodology) | |

1073 | HTML | how computing science created a new mathematical style | |

1094 | HTML | the undeserved status of the pigeon-hole principle (Mathematical Methodology) | |

1159 | a note on ``tail invariants'' | ||

1268 | HTML | the Mathematical Divide | |

1269 | a simple proof of Hall's Theorem | ||

1294a | designing a calculational proof of Cantor's theorem | ||

1298 | HTML | under the spell of Leibniz's Dream | |

1300 | HTML | the notational conventions I adopted, and why |