type | title | author | last post |

Forum topic | A refutation of Gödel's first incompleteness theorem | Enrique Perez Arnaud | 2017-05-25 18:11 |

Forum topic | CFL parsing, and another way to look at the CNF... | Cyril | 2017-03-07 07:27 |

Forum topic | Eliminating left recursion | skaller | 2016-12-13 00:23 |

Forum topic | When are Actors appropriate? | raould | 2015-07-21 16:25 |

Forum topic | Fixed points considered harmful | Hewitt | 2015-07-21 06:16 |

Forum topic | Mathematics self-proves its own Consistency (contra Gödel et. al.) | Hewitt | 2015-06-25 00:05 |

Forum topic | Controversy over the definition of "Logic Program" | Hewitt | 2015-05-03 22:07 |

Forum topic | Value-level programming | Vladimir Slepnev | 2014-05-08 19:51 |

Forum topic | Strong Mathematical Foundations for Computer Science | Hewitt | 2013-11-25 14:58 |

## Recent comments

15 hours 50 min ago

21 hours 38 min ago

1 day 8 hours ago

1 day 8 hours ago

4 days 16 hours ago

4 days 18 hours ago

4 days 22 hours ago

5 days 15 hours ago

6 days 1 hour ago

1 week 15 hours ago