Posts By: aed
| Date | Post | Topic |
| 02/26/2012 | Formal Ethics | When Formal Systems Kill: Computer Ethics and Formal Methods |
| 07/03/2010 | But is ¬(∀x. ¬P(x)) → ∃x. P(x) by itself valid? | An intuitionistic logic that proves Markov's principle |
| 06/18/2010 | Falsifiability | On the (Alleged) Value of Proof for Assurance |
| 02/06/2010 | Peano | Alternatives to parentheses for grouping |
| 01/18/2009 | String rewriting systems | Path Feasibility Analysis for String-Manipulating Programs |
| 12/12/2008 | Turing Omnibus | Light(er) Reading Suggestions? |
| 05/16/2008 | Bash 'n' Me | Lambda, the Ultimate TA |
| 05/17/2008 | Well... | Lambda, the Ultimate TA |
| 05/02/2008 | Chomsky Hierarchy | Is Halting Problem Valid for P? |
| 04/02/2008 | Zap | April 1st special: The War of the Worlds |
| 03/07/2008 | Illogical | Confused Deputies in Programming Languages |
| 11/04/2007 | [Off-Topic] Metablogorrhetical Exposition | On the origins of Bisimulation, Coinduction, and Fixed Points |
| 06/28/2007 | Hilbert & Gentzen | Simple ADT-based "side-band" state? |
| 02/27/2007 | Sturgeon's Law is "Nothing is always absolutely so"... | On the fact that the Atlantic Ocean has two sides |
| 02/27/2007 | Blues Traveler | On the fact that the Atlantic Ocean has two sides |
| 05/16/2007 | Prentice Hall International Series in Computer Science | Algebra Of Programming (Bird, De Moor) |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |