James Lottes | Lambda the Ultimate

James Lottes

view
track

type	title	author	last post
Forum topic	A refutation of Gödel's first incompleteness theorem Other undecidable propositions in PA by James Lottes	Enrique Perez Arnaud	2017-05-25 18:11
Forum topic	CFL parsing, and another way to look at the CNF... Right. I mainly wanted to by James Lottes My mistake by James Lottes Knuth introduced it by James Lottes Reinventing RL(0) parsing by James Lottes	Cyril	2017-03-07 07:27
Forum topic	Eliminating left recursion Reference by James Lottes	skaller	2016-12-13 00:23
Forum topic	When are Actors appropriate? Variants of the 2nd theorem by James Lottes subsets of recursively enumerable sets, again by James Lottes Subsets of recursively by James Lottes Sorry by James Lottes Thanks for your reply, by James Lottes Not formalizable? by James Lottes	raould	2015-07-21 16:25
Forum topic	Fixed points considered harmful Better by James Lottes Underlying disagreement by James Lottes unbounded or infinite time by James Lottes non-physical mathematical idealizations by James Lottes Thanks for your reply. My by James Lottes Same question by James Lottes where's the proof? by James Lottes backtracking somewhat by James Lottes ah, different conception of "proof" by James Lottes Ok model, but the proofs? by James Lottes ...	Hewitt	2015-07-21 06:16
Forum topic	Mathematics self-proves its own Consistency (contra Gödel et. al.) Agreement? by James Lottes Thanks! by James Lottes Still don't get it by James Lottes GÃ¶del imagined only systems by James Lottes Trivial? by James Lottes I'd suspect you'd agree that by James Lottes Here is how I read Hewitt by James Lottes [misthread] by James Lottes Presumably you mean there is by James Lottes Agreed, and good by James Lottes ...	Hewitt	2015-06-25 00:05
Forum topic	Controversy over the definition of "Logic Program" to clarify by James Lottes	Hewitt	2015-05-03 22:07
Forum topic	Value-level programming Generative grammars by James Lottes	Vladimir Slepnev	2014-05-08 19:51
Forum topic	Strong Mathematical Foundations for Computer Science Your question gets to the by James Lottes As you can see, I by James Lottes Coq 101 by James Lottes	Hewitt	2013-11-25 14:58