Enrique Perez Arnaud | Lambda the Ultimate

Enrique Perez Arnaud

view
track

type	title	author	last post
Forum topic	Sorting the travelling salesman problem	Enrique Perez Arnaud	2023-09-05 16:34
Forum topic	modus_ponens, a library to develop inference engines.	Enrique Perez Arnaud	2020-05-18 19:41
Forum topic	A production rule system matching algorithm with match cost logarithmic wrt the size of the knowledge base (rules + facts) An update by Enrique Perez Arnaud	Enrique Perez Arnaud	2019-08-06 15:55
Forum topic	Something I forgot Genuine (stupid) question by Enrique Perez Arnaud	marco	2017-08-26 06:44
Forum topic	The question of the possibility of a simple formal foundation to the natural languages. Yes :) by Enrique Perez Arnaud In the end there are 2 things by Enrique Perez Arnaud with many :) by Enrique Perez Arnaud I speak in general about by Enrique Perez Arnaud Paradoxes by Enrique Perez Arnaud mind bending by Enrique Perez Arnaud Sorry but I must insist :) by Enrique Perez Arnaud Idioms by Enrique Perez Arnaud Take 2 sentences that you by Enrique Perez Arnaud a fexpr by Enrique Perez Arnaud ...	Enrique Perez Arnaud	2017-08-16 01:24
Forum topic	Finding Solutions vs. Verifying Solutions and in my case, concluding by Enrique Perez Arnaud Accepting a language by Enrique Perez Arnaud invertible function by Enrique Perez Arnaud it includes the notion of by Enrique Perez Arnaud	Ivan V.	2017-05-29 18:23
Forum topic	A refutation of Gödel's first incompleteness theorem generally correct by Enrique Perez Arnaud depends on the algorithm? by Enrique Perez Arnaud This is what I meant by Enrique Perez Arnaud Goodstein by Enrique Perez Arnaud Whatever one chooses by Enrique Perez Arnaud I'll try :) by Enrique Perez Arnaud I heard by Enrique Perez Arnaud Though I dream with it by Enrique Perez Arnaud Re: dialog by Enrique Perez Arnaud Inconsistency by Enrique Perez Arnaud ...	Enrique Perez Arnaud	2017-05-25 18:11
Forum topic	Logic Production Systems (LPS) OWA & CWA by Enrique Perez Arnaud Very similar time model to that of Terms by Enrique Perez Arnaud	Neil Madden	2017-03-27 18:13
Forum topic	The theory behind the Terms language	Enrique Perez Arnaud	2014-03-30 21:13
Story	Rob Pike on Go at Google "this chair" is a name by Enrique Perez Arnaud	Ehud Lamm	2013-01-09 22:52
Forum topic	Something you can do with Terms It is not quotation by Enrique Perez Arnaud banana is not of type exists by Enrique Perez Arnaud	Enrique Perez Arnaud	2012-11-17 20:30
Forum topic	The Terms language Expressive power, one last time by Enrique Perez Arnaud At one point, I say: "the by Enrique Perez Arnaud > Can you define what you by Enrique Perez Arnaud I mean quantification of by Enrique Perez Arnaud About expressiveness, I by Enrique Perez Arnaud in reply to Loves is Exists by Enrique Perez Arnaud	Enrique Perez Arnaud	2012-10-20 23:22
next page last page