On Sun, Jan 19, 2014 at 11:36 PM, Anastasios Tsiolakidis < [email protected]> wrote:
> > On Sun, Jan 19, 2014 at 2:35 PM, YKY (Yan King Yin, 甄景贤) < > [email protected]> wrote: > >> That's why I want to build a "bridge" that goes from logic to >> mathematical space, to be able to "see" spatially the structure of logic, >> including deduction. > > > > It all sounds very P=NP to me, and therefore unlikely. It is more or less > a redrawing of game trees in god-knows-how-many-dimensions and then looking > for a shortcut. As we all know the vast majority of games are "interesting" > precisely because we have not found any shortcuts, and any "reality logic" > is bound to have huge numbers of axioms. Which brings us to a > half-interesting question, how many axioms does the Standard Model of > particle physics entail? (not that I believe in that kind of reductionism, > or that that kind of reductionism would allow to scrap together a few > bosons and make a latte). > That is right on =) I had the same feeling (that what I want to do would imply P=NP) during my thinking, but I forgot this point... ------------------------------------------- AGI Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/21088071-f452e424 Modify Your Subscription: https://www.listbox.com/member/?member_id=21088071&id_secret=21088071-58d57657 Powered by Listbox: http://www.listbox.com
