Lambda the Ultimate

type	title	author	last post
Forum topic	Mathematics self-proves its own Consistency (contra Gödel et. al.) Well, that's one of the by claytonkb "Of course there is a finite by claytonkb "there is a sentence that by claytonkb Well, I wasn't talking about by claytonkb Not sure if I can add anything to this but... by claytonkb	Hewitt	2015-06-25 00:05
Forum topic	ANN: Bipedal, a new, untyped, stack-based HLL	claytonkb	2013-09-26 08:20

---

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