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

6 hours 55 min ago

11 hours 22 min ago

13 hours 24 min ago

16 hours 11 min ago

16 hours 34 min ago

17 hours 17 min ago

18 hours 13 min ago

18 hours 15 min ago

18 hours 48 min ago

20 hours 13 min ago