Jeremy Weissmann
a calm hedonist
Home | The JAWs | The EXs
Main | 0-99 | 100-199
| Number | Date (Y.M.D) | Title | References |
|---|---|---|---|
| JAW0 | 2004.10.18 | A simple problem solved, with heuristics | |
| JAW1a | 2006.09.21 | On long sequences of composite numbers (revised) | |
| JAW2 | 2004.09.17 | Leibniz in the other direction | PC |
| JAW3 | 2004.11.19 | An investigation, via JAW0 and JAW2 | EWD1313, JAW0, JAW2 |
| JAW4 | 2004.09.17 | An incomplete introduction to Wim Feijen's proof format | EWD999 |
| JAW5 | 2004.09.17 | Local separation of concerns | EWD1300, JAW2 |
| JAW6 | 2004.10.03 | Not about primality | |
| JAW7 | 2004.11.01 | Simplifying inequalities with Wim | |
| JAW8 | 2004.11.23 | For the record: A beautiful derivation | PCPS |
| JAW9 | 2004.12.13 | An addendum to JAW3 | JAW3 |
| JAW10 | 2005.08.22 | A summary of my work on Euclid's lemma | EWD1313, EWD1315, JAW0, JAW3, JAW5, JAW9 |
| JAW10a | 2005.08.28 | A summary of my work on Euclid's lemma (treating 0) | EWD1313, EWD1315, JAW0, JAW3, JAW5, JAW9, JAW10, JAW11 |
| JAW10b | 2006.10.16 | A summary of my work on Euclid's lemma (revised) | EWD1313, EWD1315, JAW0, JAW3, JAW5, JAW9, JAW10, JAW63 |
| JAW11 | 2005.01.12 | A reflection on JAW5 | JAW5, JAW13 |
| JAW12 | 2006.10.17 | An experiment with a geometry problem | |
| JAW13 | 2005.10.07 | The pos calculus, via a problem from Wim | WF211 |
| JAW14 | 2004.12.30 | Something that might make it into my book | |
| JAW15 | 2005.11.26 | A relational exercise | |
| JAW16 | 2005.01.27 | A nonpunctual operator | EWD1086, EWD1123, EWD1160, PCPS |
| JAW17 | 2006.02.24 | A first experiment in algorithmic graph theory | |
| JAW18 | 2005.10.07 | Why we use strong steps | |
| JAW19 | 2005.11.28 | Symmetric and asymmetric proof shapes | JAW10, JAW10a |
| JAW20 | 2004.07.08 | Have a rant: The strange case of news | |
| JAW21 | 2005.02.24 | A position paper on intuition (sketch) | EWD991 |
| JAW22 | 2005.02.27 | Progress | DP |
| JAW23 | 2005.02.26 | A dialogue about JAW21 | JAW21 |
| JAW26 | 2003.04.25 | A mathematical manifesto | |
| JAW27 | 2005.11.25 | A sequel to JAW26, via Chomsky | JAW26, JAW30, The Minimalist Program (Chomsky) |
| JAW28 | 2003.09.11 | A somewhat open letter to Jake Boggan | |
| JAW29 | 2004.11.05 | The dangers of preserving symmetry | EWD1311 |
| JAW30 | 2005.08.29 | What is science, and how should we use it? | EWD619 |
| JAW32 | 2005.09.08 | A surprising (?) new heuristic | EWD1099 |
| JAW33 | 2005.09.29 | Achilles and the tortoise, courtesy Tom Verhoeff | |
| JAW34 | 2005.10.06 | "Two wrongs don't make a right." | |
| JAW35 | 2005.10.01 | Achilles and the tortoise once again | JAW33 |
| JAW36 | 2005.09.14 | An addendum to EWD1038 | EWD1038 |
| JAW37 | 2005.09.14 | Groups and size | |
| JAW37a | 2006.11.21 | Groups and size (revised) | |
| JAW38 | 2005.10.10 | Real models of the pos calculus | JAW13 |
| JAW39 | 2005.10.11 | Absolute value distributes over multiplication | |
| JAW40 | 2005.11.19 | When binary operators preserve transitive relations | |
| JAW41 | 2005.10.28 | The equivalence of weak and strong induction | |
| JAW42 | 2005.11.26 | Redundancy | JAW27 |
| JAW43 | 2005.11.28 | On history | JAW30 |
| JAW44 | 2005.11.28 | Different types of symbol dynamics for Leibniz and monotonicity | |
| JAW45 | 2005.12.21 | Abstraction, and Kaldewaij's "mod" exercises | |
| JAW45a | 2008.05.22 | Abstraction, and Kaldewaij's "mod" exercises (revised) | |
| JAW46 | 2006.02.03 | Design, distributivity, shunting, switcheroo | LADM |
| JAW47 | 2006.02.07 | On "almost-invariants" | |
| JAW48 | 2006.02.07 | A position paper on the role of education | JAW30 |
| JAW49 | 2006.02.11 | What do scientific experiments prove? | |
| JAW50 | 2004.10.13 | Separation of concerns | |
| JAW51 | 2006.04.26 | A joint effort in the predicate calculus | EWD1266a |
| JAW52 | 2005.10.21 | A result from the pos calculus, via Roland Backhouse | JAW13 |
| JAW53 | 2006.05.07 | The problem of the 21 students | with Apurva Mehta |
| JAW54 | 2006.05.17 | On interfaces and people | |
| JAW56 | 2006.05.18 | Why I do what I do | |
| JAW57 | 2006.04.20 | Trip report: A reflection on Day 0 of Calculus Camp | |
| JAW58 | 2006.04.21 | Trip report: Lessons learned? (at Calculus Camp) | |
| JAW59 | 2006.07.06 | Case analysis from a calculational perspective | |
| JAW60 | 2006.06.26 | More on interfaces (selecting the right interface) | SMA |
| JAW61 | 2006.05.05 | How I understand context and type information | |
| JAW62 | 2006.09.16 | Have a rant: On news and information | JAW20 |
| JAW63 | 2006.09.17 | Yes, lcm distributes over gcd (and vice versa) | |
| JAW64 | 2006.09.18 | A trifle on opportunism, via Kaldewaij | PDA |
| JAW65 | 2006.07.10 | Predicate partitioning, and an exercise from Wim and Netty | MOM, WF204 |
| JAW66 | 2006.08.30 | The one-point rule, and the "split off" maneuver | |
| JAW67 | 2006.09.16 | A challenge in crispness, via Mehta, via Dijkstra | DP, PDA |
| JAW68 | 2006.09.21 | A missing result from the pos calculus | JAW13, JAW38 |
| JAW69 | 2006.09.21 | A bit on predicate splitting, and an exploration | JAW65 |
| JAW70 | 2006.07.05 | An old question about lattice theory | |
| JAW71 | 2006.09.21 | The chunking lemmata, via Kaldewaij | PDA |
| JAW72 | 2007.11.19 | What does "is a conjunct of" mean? | JAW77 |
| JAW73 | 2006.10.04 | We shall overcome (some of our interfaces with boolean concepts) | |
| JAW74 | 2006.10.08 | A new (?) calculational technique, via Eric Hehner | Unified Algebra, by Eric Hehner |
| JAW76 | 2006.10.17 | Punctuality, conjunctivity, monotonicity | AB45, WF282, WF283 |
| JAW77 | 2006.10.17 | Skolemization and case analysis | EWD835, JAW59, JAW74, JAW76, WF278 |
| JAW78 | 2006.09.01 | Counting divisors | JAW45 |
| JAW79 | 2006.08.25 | A summary of my work on concepts | Gödel's Theorem, by Torkel Franzén |
| JAW80 | 2006.08.25 | Why math is frightening | JAW79 |
| JAW81 | 2006.10.24 | Contexts, scalarity, and the everywhere operator | |
| JAW82 | 2006.10.25 | The birth of a convention (scalarity and context) | |
| JAW83 | 2006.10.21 | Scalarity, and an error regarding the rule of instantiation | JAW82 |
| JAW84 | 2006.10.29 | A bagatelle on one-point, instantiation, and EWD1184 | EWD1184 |
| JAW85 | 2006.10.29 | An addendum to JAW82, via Diethard Michaelis | JAW82 |
| JAW86 | 2006.10.29 | On laws and rights | JAW54 |
| JAW87 | 2006.11.08 | The utility of unbracketed results (an addendum to JAW82) | JAW82 |
| JAW88 | 2006.11.08 | Careful bookkeeping in punctual calculations | |
| JAW89 | 2006.11.09 | Using structure-valued formulae | PCPS |
| JAW90 | 2006.11.23 | A simple algebra problem solved, with heuristics | |
| JAW91 | 2007.02.01 | A striking application of discipline | PDA |
| JAW92 | 2007.01.13 | A variant of "max ≤ sum" | |
| JAW93 | 2007.02.01 | An exercise in cleanliness, via Knuth | The Art of Computer Programming |
| JAW94 | 2007.06.01 | An open letter to Frank Bäuerle | EWD923a, EWD1070 |
| JAW95 | 2007.07.05 | The tale of an eventually periodic sequence | (with Apurva Mehta) |
| JAW96 | 2007.04.26 | Notational anomalies from calculus | |
| JAW97 | 2007.11.09 | A small note on induction | |
| JAW98 | 2007.11.15 | Designing a proof of unique factorization |
(with Apurva Mehta) EWD755 |
| JAW99 | 2007.11.30 | On numbers and their representations |