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

9 hours 17 sec ago

12 hours 19 min ago

2 days 7 hours ago

2 days 7 hours ago

2 days 14 hours ago

2 days 16 hours ago

3 days 26 min ago

3 days 26 min ago

3 days 1 hour ago

3 days 2 hours ago