Lambda the Ultimate

type	title	author	last post
Forum topic	Tolerant vs. Demanding Software Timing dependent preconditions are the norm by Hewitt Preconditions can be timing dependent by Hewitt	kclancy	2010-12-30 04:44
Forum topic	Lambda the Ultimate seems an Overstatement (not) Computatonal Representation Theorem by Hewitt Independent shared resources cannot be implemented by monads by Hewitt Transactional memory doesn't scale and has lots of loose ends by Hewitt Modularity and concurrency plus a lot more by Hewitt Recording history is not the same as operating in the present by Hewitt Sorry about that by Hewitt Users of a shared account not controlled by each other by Hewitt Monads force sequencing because you have to get the state back by Hewitt Monads force sequencing by Hewitt Monads don't work for concurrency by Hewitt	Ed Earl Ross	2010-12-13 19:44
Forum topic	Inconsistency Robustness 2011 at Stanford Perpetual, pervasive inconsistency by Hewitt Inconsistency Robustness is not limited to belief revision by Hewitt	Hewitt	2010-12-07 14:15
Forum topic	Incompleteness Theorems: The Logical Necessity of Inconsistency Validity of arguments is recursively decidable in Direct Logic by Hewitt Validity of arguments is recursively decidable in Direct Logic by Hewitt Practical payoff is in larger systems by Hewitt Inconsistency Recursively Undecidable for *Classes* of theories by Hewitt Recursive Undecidability follows from High Expressiveness by Hewitt Inconsistency is Recursively Undecidable by Hewitt So far, only proof theory for Direct Logic by Hewitt Catch-22 in Direct Logic by Hewitt Video of Stanford Logic Colloquium on Direct Logic by Hewitt A larger task by Hewitt	Hewitt	2010-08-10 14:23
Forum topic	splitting the program into formalizable vs. non-formalizable parts? There is more to computation than (recursive) functions by Hewitt	raould	2010-04-17 03:48
Forum topic	Incompleteness Theorems: The Logical Necessity of Inconsistency Relevance Logic versus Direct Logic by Hewitt	Hewitt	2010-04-02 03:25
first page previous page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation