[22:29] <lnovy> HMC_Alpha, naturalog: what was the name of the game you played agaiinst each other just before tauchain idea was put together?
[22:36] <stoopkid> lnovy, there's a game now?
[22:47] <olidstva> philosophical question: Zero is natural number or not ?
[22:50] <naturalog> SquareOfTwo__: just relatively simple code to port
[22:50] <naturalog> lnovy: what game? i dont recall any
[22:51] <lnovy> you were in turns adding rules
[22:51] <lnovy> proving that you and only you are the winner
[22:51] <naturalog> olidstva: short answer: no, but. long answer: depends
[22:51] <lnovy> or something like that
[22:51] <naturalog> ah you mean botau, its just irc bot piped to tau current code
[22:51] <lnovy> no
[22:52] <naturalog> nomic?
[22:52] <lnovy> you were introduced to high logic by hmc with this game
[22:52] <lnovy> yes
[22:52] <lnovy> nomic
[22:52] <lnovy> thanks
[22:53] <lnovy> when can I play nomic against taubot?:)
[22:53] <naturalog> its already possible, simple reasoning works
[22:53] <lnovy> excelent
[22:54] <lnovy> the world will start to change soon
[22:54] <naturalog> yeah
[22:58] <olidstva> naturalog: why no ?
[22:58] <naturalog> thats cnf
[22:58] <naturalog> wrong win
[22:58] <naturalog> sec
[22:59] <naturalog> There is no universal agreement about whether to include zero in the set of natural numbers. Some authors begin the natural numbers with 0, corresponding to the non-negative integers 0, 1, 2, 3, ..., whereas others start with 1, corresponding to the positive integers 1, 2, 3, ....[7][8][9][10] This distinction is of no fundamental concern for the natural numbers (even when viewed via additional axioms as semigroup with respect to ad
[22:59] <naturalog> http://en.wikipedia.org/wiki/Natural_number
[22:59] <olidstva> naturalog: wikipedia really ?
[23:00] <naturalog> didnt fake it
[23:02] <naturalog> one cnf clause is (a|b|c)&(~a|~b~|c)
[23:02] <naturalog> ww again
[23:02] == Mrkva [[email protected]] has joined #zennet