Hewitt

typetitle sort iconauthorlast post
Forum topicTolerant vs. Demanding Software kclancy2010-12-30 04:44
Forum topicLambda the Ultimate seems an Overstatement (not) Ed Earl Ross2010-12-13 19:44
Forum topicInconsistency Robustness 2011 at Stanford Hewitt2010-12-07 14:15
Forum topicIncompleteness Theorems: The Logical Necessity of Inconsistency Hewitt2010-08-10 14:23
Forum topicsplitting the program into formalizable vs. non-formalizable parts? raould2010-04-17 03:48
Forum topicIncompleteness Theorems: The Logical Necessity of Inconsistency Hewitt2010-04-02 03:25