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

4 hours 23 min ago

4 hours 24 min ago

6 hours 39 min ago

8 hours 39 min ago

11 hours 50 min ago

1 day 7 hours ago

1 day 7 hours ago

1 day 8 hours ago

1 day 12 hours ago

2 days 10 hours ago