Lambda the Ultimate

type	title	author	last post
Forum topic	Mathematics self-proves its own Consistency (contra Gödel et. al.) Cybernetics by Hank Thediek For me, your answer suggests by Hank Thediek Why didn't they? by Hank Thediek Why should I assume that by Hank Thediek I was afread of this. But by Hank Thediek IMHO by Hank Thediek	Hewitt	2015-06-25 00:05
Forum topic	general patterns in PL persistence schemes? Tarski by Hank Thediek Theory by Hank Thediek Semantics. by Hank Thediek The software vision by Hank Thediek Reality is persistent by Hank Thediek	Rys McCusker	2015-02-24 02:23
Forum topic	managing closed worlds of symbols via alpha-renaming in loosely coupled concurrent apps Domain theory by Hank Thediek Metaphor and morphism by Hank Thediek How about this? by Hank Thediek You aren't missing anything. by Hank Thediek The man behind the curtain by Hank Thediek Points by Hank Thediek Free association by Hank Thediek	Rys McCusker	2015-01-10 00:45
Forum topic	Testing first year programming students What is a computer? by Hank Thediek Semantic Barriers by Hank Thediek	Peter A Jonsson	2014-07-20 20:43
Forum topic	The year that was: 1965. The Krohn-Rhodes theory is by Hank Thediek Mechanism by Hank Thediek I missed one. by Hank Thediek I am trying to figure out by Hank Thediek Seeing is believing. by Hank Thediek Nice work! by Hank Thediek A Review I hope. by Hank Thediek Would it be correct to say by Hank Thediek What is a state? by Hank Thediek Do you understant these two paragraphs? by Hank Thediek ...	Hank Thediek	2014-07-19 13:10
Forum topic	Detected contradictions in large information systems Annihilation: by Hank Thediek Different is different! by Hank Thediek	Hewitt	2014-04-22 11:45
Forum topic	The Evolution of CS Papers Practical theory by Hank Thediek AI by Hank Thediek	Sean McDirmid	2014-03-11 14:09
Forum topic	Not that one, the other one! Existentially closed by Hank Thediek Compactness by Hank Thediek This is a point of view I by Hank Thediek Agreed by Hank Thediek	Hank Thediek	2014-02-23 22:08
Forum topic	Parallelism and Concurrency in the Actor Model Hartmanis and Stearns by Hank Thediek First, You didn't answer my by Hank Thediek Simple Question by Hank Thediek	Hewitt	2014-02-21 05:06
Forum topic	Limitations of Prolog-style clausal programs Platonic backhand by Hank Thediek It is a theory Carl, theory by Hank Thediek Constraint by Hank Thediek Contradictions certainly by Hank Thediek A contradiction implies by Hank Thediek One more idea with respect by Hank Thediek Intention or extention? by Hank Thediek Yes by Hank Thediek That is your interpretation by Hank Thediek Virtual Reality? by Hank Thediek ...	Hewitt	2014-02-11 10:53
Forum topic	PuzzleScript Common Lisp by Hank Thediek What is your world? by Hank Thediek	Tess Foley	2014-02-01 15:29
Story	The marriage of bisimulations and Kripke logical relations The paper is very by Hank Thediek	Charles Stewart	2014-02-01 12:46
Forum topic	Pragmatic aspects of dimension types, and the problem of angles Whatever/Whatever by Hank Thediek	Douglas McClean	2014-01-14 17:44
Forum topic	Inconsistency Robustness in Logic Programs Control question by Hank Thediek	Hewitt	2014-01-01 18:30
Forum topic	Strong Mathematical Foundations for Computer Science I appreciate what you are by Hank Thediek But I asked about by Hank Thediek Birkhoff's rules are just by Hank Thediek But I would argue that by Hank Thediek Complete! by Hank Thediek Two visions of completeness by Hank Thediek What else is there to say? by Hank Thediek Actually a complete lattice by Hank Thediek Logic? by Hank Thediek Understand it! by Hank Thediek ...	Hewitt	2013-11-25 14:58
Forum topic	actors conflate too much Race conditions? by Hank Thediek	raould	2013-11-16 01:13
Forum topic	Continuation of Discussion: "Mathematics self-proves its own Consistency (contra Gödel et. al.)" Logical Idealism? by Hank Thediek States can be indeterminate by Hank Thediek FOM? by Hank Thediek I am guessing at what you by Hank Thediek anticipatory dynamics by Hank Thediek OK, I am willing to play by Hank Thediek OK, I am willing to play by Hank Thediek OK, I am willing to play by Hank Thediek	Hewitt	2013-10-26 19:36
Forum topic	Annual Peter Landin Semantics Seminar: Rationalism v Hardware, Prof Richard Bornat, 2 December 2013, 6pm, London Rationalism vs. Empiricism by Hank Thediek	paulboca	2013-10-03 17:00
Forum topic	How is LtU doing? What works? by Hank Thediek	Sean McDirmid	2013-09-29 23:55
Story	History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future I found this interesting by Hank Thediek A much better rendition of by Hank Thediek An interpretation by Hank Thediek The future of logic programming by Hank Thediek	Ehud Lamm	2013-07-28 20:42
Story	The Three Laws of Programming Language Design Learn the math instead by Hank Thediek	bashyal	2013-07-04 14:32
Story	On the history of the question of whether natural language is “illogical” The surround and conquer by Hank Thediek Re Hilgart by Hank Thediek Thanks for the comments. by Hank Thediek WIE languages are too logical. by Hank Thediek	Ehud Lamm	2013-06-06 15:18
Forum topic	Endofunctions, cycles and chains What language? by Hank Thediek	hbrandl	2013-04-29 17:36
Story	DYNAMO My take on the Macy by Hank Thediek The Macy Conferences by Hank Thediek	Ehud Lamm	2013-04-16 20:53
Forum topic	Five "laws" of programming paradigms Dummy by Hank Thediek Here's one by Hank Thediek Got 2.5 Hours? by Hank Thediek	Peter Van Roy	2013-04-07 20:15
next page last page

---

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