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

2 days 19 hours ago

5 days 11 hours ago

5 days 19 hours ago

6 days 11 hours ago

6 days 14 hours ago

1 week 6 hours ago

1 week 11 hours ago

1 week 13 hours ago

1 week 14 hours ago

1 week 15 hours ago