It is currently Thu Oct 31, 2024 3:53 pm

All times are UTC - 8 hours [ DST ]




Post new topic Reply to topic  [ 69 posts ]  Go to page Previous  1, 2, 3, 4  Next
Author Message
Offline
 Post subject: Re: BOINC and brute forcing
Post #41 Posted: Sun Sep 05, 2010 3:30 pm 
Lives in gote

Posts: 589
Liked others: 0
Was liked: 114
Rank: 2 dan
Liisa wrote:
Magicwand wrote:
so many people are stunned by the number of possibile game go can have but if we can build good program that will eleminate bad moves then it might be possible to solve go. that is just my opinion....


That is not so. Most people are like you that they do not have much of sense for orders of magnitudes. Also they do not have clear definition for infinite, and in general they cannot distinguish mathematics and reality. From realistic standpoint, and that is only meaningful standpoint, we cannot have objects whats extent is bigger than universe (infinite equals absurd). And problem is that if you try to strip bad plays away from perfect play, you need much bigger recycle bin than you currently have. This was also commented that it does not do much, if you strip most of the bad variations away. You still have from realistic standpoint infinite amount of possibilities left. The same goes for Chess and every other complex systems, not just for Go. World is full of complex systems. It is exactly as impossible to solve go as to solve weather patterns for the next 100 years.

It seems that Amnal does not like to read much what is the topic of the forum, before writing. Suits her.


I could read your post alone and it would be enough to note your fallacious reasoning regarding chaos theory. And it would annoy me, for exactly the reasons emeraldemon has set out :D

Top
 Profile  
 
Offline
 Post subject: Re: BOINC and brute forcing
Post #42 Posted: Sun Sep 05, 2010 4:06 pm 
Lives with ko
User avatar

Posts: 129
Location: Turku, Finland
Liked others: 12
Was liked: 21
Rank: EGF 1989 KGS 2d
emeraldemon wrote:
But those systems have a very important property: the state space is INFINITE. NO result from chaos theory could possibly apply to go, because the state space is FINITE.


This is exactly what I meant that people do not have ability to differentiate reality and mathematics. I am only talking from objects that has either true or potentially true value in this very universe that where we living in.

There is no such thing as differential equations in nature, because properties of electoron are defined only in limited accuracy. Heisenberg's uncertainty principle prevents to go to infinite accuracy although it is required that any applications for differential equations should be defined in infinite accuracy, or if it is not the case it is just an approximation.

Form realistic perspective figure 10^800 that describes number of real world objects is exactly as meaningless figure as 10^gogol or mathematical infinity such is the case within complex systems.

Thanks for your informative post, but it is not meaningful if you cannot apply theory in practical level. (here I refer what is practical for type 4 civilization) .

Quote:
As an undergrad, a professor told me something very helpful once: If you're trying to prove "This cannot be done", it's not enough to say "I tried very hard and couldn't do it".


I admit that there is certainly problems that seems to be practically impossible, but later there are found simple short cuts. But my argument for that, that it is not the case with go, is that, in order to play perfectly, some knowledge from end position is required. But this cannot be attained. I am quite confident that it is possible to find an algorithm that gives very good probability for winning, but that is not same as finding exact solution.

Top
 Profile  
 
Offline
 Post subject: Re: BOINC and brute forcing
Post #43 Posted: Sun Sep 05, 2010 4:23 pm 
Lives in gote

Posts: 589
Liked others: 0
Was liked: 114
Rank: 2 dan
Liisa wrote:
emeraldemon wrote:
But those systems have a very important property: the state space is INFINITE. NO result from chaos theory could possibly apply to go, because the state space is FINITE.


This is exactly what I meant that people do not have ability to differentiate reality and mathematics. I am only talking from objects that has either true or potentially true value in this very universe that where we living in.

There is no such thing as differential equations in nature, because properties of electoron are defined only in limited accuracy. Heisenberg's uncertainty principle prevents to go to infinite accuracy although it is required that any applications for differential equations should be defined in infinite accuracy, or if it is not the case it is just an approximation.

Form realistic perspective figure 10^800 that describes number of real world objects is exactly as meaningless figure as 10^gogol or mathematical infinity such is the case within complex systems.


I didn't know quantum mechanics applied to maths. I'll have to be careful next time I add 2 and 2, just in case this time it does make 5.

EDIT: I thought about it some more, and it makes less and less sense. For a start, what does 'in nature' mean? Differential equations describe the probability distributions which describe electron distributions. Does this not count?

EDIT2: Well, I've said my piece, I disagree with you still (and I don't really understand why you maths should be in any way probabilistic, it seems to miss the point), but I'll let the experts make the case if there is one :D .


Last edited by amnal on Sun Sep 05, 2010 4:53 pm, edited 3 times in total.
Top
 Profile  
 
Offline
 Post subject: Re: BOINC and brute forcing
Post #44 Posted: Sun Sep 05, 2010 4:24 pm 
Lives with ko
User avatar

Posts: 129
Location: Turku, Finland
Liked others: 12
Was liked: 21
Rank: EGF 1989 KGS 2d
amnal wrote:
I didn't know quantum mechanics applied to maths. I'll have to be careful next time I add 2 and 2, just in case this time it does make 5.


I see that there are lots of things that you do not know. ;-)

But one thing that is my favorite is that QM is not queer, contrary what is is often thought, if logic is defined as a quantum mechanics. There are two interesting things what we get from quantum logic: A) logic is empirical science. B) mathematics as a science loses meaning.

edit: amnal, it is not count, because QM differential equations such as Schrödinger's wave function gives only probabilities. But it is not meaningful to say that probabilities are exact descriptions of electron. Thus calculated probability is always an approximation from reality or objects that reside in nature. We can of course calculate approximate values with differential equations, but equations represents always just idealized models.

Top
 Profile  
 
Offline
 Post subject: Re: BOINC and brute forcing
Post #45 Posted: Sun Sep 05, 2010 8:15 pm 
Lives in sente
User avatar

Posts: 761
Liked others: 152
Was liked: 204
Rank: the k-word
Kirby wrote:
As for whether go can be tied, Cassandra, I agree that it's a different type of game than checkers/draughts. I want to just point out that it is theoretically possible that humans, through suboptimal play, have come to believe that black has an advantage when it could, in fact, not be the case.

However, I agree that this is quite unlikely.

Especially since black is definitely way ahead on the small boards where we can verify this.

Top
 Profile  
 
Offline
 Post subject: Re: BOINC and brute forcing
Post #46 Posted: Sun Sep 05, 2010 8:20 pm 
Lives in gote
User avatar

Posts: 388
Location: Riverside CA
Liked others: 246
Was liked: 79
Rank: KGS 7 kyu
KGS: Krill
OGS: Krill
One of the problems, Liisa, is you're only considering the quantity of objects in the 'size' of the universe. This is not strictly accurate in terms of what it can contain computationally. Not only are there objects, there are relationships between and combinations of objects to count. And those possibilities easily exceed the size of Go as a game.

Quote:
There are two interesting things what we get from quantum logic: A) logic is empirical science. B) mathematics as a science loses meaning.


In the case of A, Logic simply ceases to be anything like actual logic. B, I don't see how this follows at all. In fact, I'm pretty sure B is a logical absurdity. The entire construct of quantum mechanics is derived from mathematical modeling of observed physical reality. If mathematics as a science becomes meaningless you've undermined the very thing which composes quantum mechanics in the first place.

You're making some very bold claims though, without clarifying what in the world they mean. What the heck is "quantum logic"? Why should we even want it? For all we know quantum mechanics is an ultimately inaccurate model of the universe like Newtonian mechanics. That's always the limitation of the empirical. A model like quantum mechanics simply is not capable of verification. You're suggesting we hedge some serious bets in a manner that indicates you have non-empirical knowledge of its ultimate truth. And even if it were true, I don't see why it would make mathematics or logic any less valuable or somehow obsolete. Modus ponens is still going to hold and will still have plenty of practical applications.

Top
 Profile  
 
Offline
 Post subject: Re: BOINC and brute forcing
Post #47 Posted: Sun Sep 05, 2010 11:08 pm 
Honinbo

Posts: 9550
Liked others: 1602
Was liked: 1712
KGS: Kirby
Tygem: 커비라고해
palapiku wrote:
Kirby wrote:
As for whether go can be tied, Cassandra, I agree that it's a different type of game than checkers/draughts. I want to just point out that it is theoretically possible that humans, through suboptimal play, have come to believe that black has an advantage when it could, in fact, not be the case.

However, I agree that this is quite unlikely.

Especially since black is definitely way ahead on the small boards where we can verify this.


Well, this is not a proof, but there could potentially be a pattern.

_________________
be immersed

Top
 Profile  
 
Offline
 Post subject: Re: BOINC and brute forcing
Post #48 Posted: Sun Sep 05, 2010 11:16 pm 
Honinbo

Posts: 9550
Liked others: 1602
Was liked: 1712
KGS: Kirby
Tygem: 커비라고해
Liisa,
Solving go may indeed be very difficult, but it is possible because it is a finite two-person game with a finite number of possible strategies for each player.

John Nash proved that any such game has at least one Nash equilibrium - a solution where neither player has anything to gain by changing their (optimal) strategy.

You can read about it more on wikipedia, if you'd like:
http://en.wikipedia.org/wiki/Nash_equilibrium

_________________
be immersed

Top
 Profile  
 
Offline
 Post subject: Re: BOINC and brute forcing
Post #49 Posted: Mon Sep 06, 2010 1:43 am 
Gosei
User avatar

Posts: 2116
Location: Silicon Valley
Liked others: 152
Was liked: 330
Rank: 2d AGA
GD Posts: 1193
KGS: lavalamp
Tygem: imapenguin
IGS: lavalamp
OGS: daniel_the_smith
Don't forget, it's possible that white is able to force a triple ko. :mrgreen:

_________________
That which can be destroyed by the truth should be.
--
My (sadly neglected, but not forgotten) project: http://dailyjoseki.com

Top
 Profile  
 
Offline
 Post subject: Re: BOINC and brute forcing
Post #50 Posted: Mon Sep 06, 2010 8:05 am 
Honinbo

Posts: 9550
Liked others: 1602
Was liked: 1712
KGS: Kirby
Tygem: 커비라고해
If white can force triple ko:
Forcing triple ko could be an optimal strategy, giving each player a payoff of zero - or it could be the case where a player can force a win (in which case forcing triple ko would not be the best strategy). Either way, an optimal strategy exists.

_________________
be immersed

Top
 Profile  
 
Offline
 Post subject: Re: BOINC and brute forcing
Post #51 Posted: Mon Sep 06, 2010 10:46 am 
Lives in sente
User avatar

Posts: 761
Liked others: 152
Was liked: 204
Rank: the k-word
You don't need a triple ko to draw, since optimal strategy where nobody forces triple ko also ends in a draw, by the definition of komi :)

(we just don't know if the komi is greater than zero or not...)

Top
 Profile  
 
Offline
 Post subject: Re: BOINC and brute forcing
Post #52 Posted: Mon Sep 06, 2010 11:19 am 
Honinbo

Posts: 9550
Liked others: 1602
Was liked: 1712
KGS: Kirby
Tygem: 커비라고해
palapiku wrote:
You don't need a triple ko to draw, since optimal strategy where nobody forces triple ko also ends in a draw, by the definition of komi :)

(we just don't know if the komi is greater than zero or not...)


I think, to solve go and have an optimal strategy for both players, you need to set the komi to some particular value (could be zero). Then, you can know the best strategy for both players to take, considering that komi.

If the komi has a different value, it could be possible that there's a different optimal strategy for both sides.

A simple example:
Situation A.) Setting komi to X is proven to be a win for black unless white can force a draw with a triple ko situation, for example. So there is some sequence of moves that are best for both players, which will lead to white forcing the triple ko to get the draw.

Situation B.) Now if we set the komi to X+1. Let's say that with X+1 komi, white has the ability to force a win by playing optimally. His strategy must, therefore, change. To get the best result.

In Situation A, the best strategy for both sides leads to a draw. In situation B, the best strategy for both sides leads to a win for white, due to the higher komi.

So to solve go, we must first set a particular komi, and then find a winning strategy with that komi. If we could ever solve the game with that komi, though we have a strategy for that komi, we may need a different set of strategies to solve the game for different komis.

In a sense, having a different komi produces a different game, and leads to potentially different optimal strategies.

_________________
be immersed

Top
 Profile  
 
Offline
 Post subject: Re: BOINC and brute forcing
Post #53 Posted: Mon Sep 06, 2010 12:14 pm 
Lives with ko
User avatar

Posts: 129
Location: Turku, Finland
Liked others: 12
Was liked: 21
Rank: EGF 1989 KGS 2d
Kirby, if something is mathematically possible, that does not imply that it is actually possible within the framework of real world. That is because number of objects that are available for us is limited. This is (common) fallacy in reasoning, because people do not distinguish mathematics from reality. This fallacy in reasoning goes back to Leibniz, Galilei and Platon.

Monadology wrote:
Perfect play also takes the form of a logical conditional so it cannot be invalidated by a negation of the antecedent, which is all your argument against its existence could potentially manage.


I did refute the idea of logic as a product of your (false) experiences and imagination. Logic is empirically derived from experiences by induction. People have observed several occasions where Jackdaws (Corvus monedula), have done something non-contradictory and thus they have generalized that contradictory events are logically impossible. And they have promoted the principle of contradictions as axiom of logic. And assumed that it is self-evident. But while observing quantum objects this axiom is not self-evident at all.

Go maybe defined as a abstract set of rules, but as soon as you are referring actual games (such as perfect game) it does exist as a natural, real world object. In the case of perfect play, reference is false. E.g. we can say that there is a unicorn, but statement is false.

Quote:
Quantum phenomena are just as far away from having anything to do with the game of Go as the effectively indeterminable perfect line of play.


Of course it has all to do with the particular games that you have played. individual go games do exist, and you can view them with .sgf editor. That are visible due to quantum phenomena in liquid crystals and your retinal cells.


Monadology wrote:
One of the problems, Liisa, is you're only considering the quantity of objects in the 'size' of the universe. This is not strictly accurate in terms of what it can contain computationally. Not only are there objects, there are relationships between and combinations of objects to count. And those possibilities easily exceed the size of Go as a game.


Problem is that if combinations are meaningful, it is required that we make changes to combinations (e.g. while reading output) and because speed of light limits individual particle's interaction. There is not gained significant increase in orders of magnitudes to the information content of the universe even if relations of particles has considered, because limiting factor will be time. E.g. Jackdaw does include way more information as a whole than it's constituents alone, but still for solving go this is irrelevant.

Quote:
Liisa wrote:
There are two interesting things what we get from quantum logic: A) logic is empirical science. B) mathematics as a science loses meaning.


In the case of A, Logic simply ceases to be anything like actual logic. B, I don't see how this follows at all.


I think that here your reason is that that you do not think that logic that you have learned can be questioned and you assume that logic is a priori truth. But logic is more or less derived from your experiences and therefore correspondence to the real world can be either true or false.

Mathematics loses meaning, because quantum logic (i.e. quantum physics) is inherently probabilistic theory of logic. That will imply that there cannot be anything that is called as truth in mathematical sense, but only highly probable events. Implication is that you can select any sets of mathematical axioms and make logical exercises with them, but they have little to do with real world. Correspondence between real world and mathematics will fail.

The thing that quantum mechanics is formulated using mathematics does not imply that mathematics is build into objects themselves, but they are only tools for humans to calculate probabilities, to make reasoning more simple.

Quantum logic is necessary concept from some reasons: a) it can show that logic is derived ultimately from experiences. b) contemporary logic is poor in handling probabilities and induction and QM is inherently probabilistic theory that has been derived by inductive method.

You are using contemporary logic in claiming (boldly) that empirical theories are not capable for verification. This is the reason why we need case b), because verification is possible within the framework of inherently probabilistic logic, because with probabilistic logic it is required for verification that we calculate only probabilities for the events that we can observe. And we can always calculate probabilities for the events.

Idea with this is that logic is based on assumption that it will generate a world that behaves like observed world. There is no inherent problems in describing flying jackdaw in contemporary logical terms. But there would be some inherent problems, if jackdaws would behave like quantum objects while flying through double slit. If that would be the case, we would have never developed a comtemporary logic, because that would not make any sense in describing observed world.

Quantum logic, however interesting subject by itself, is way off topic!

Top
 Profile  
 
Offline
 Post subject: Re: BOINC and brute forcing
Post #54 Posted: Mon Sep 06, 2010 1:05 pm 
Lives in gote

Posts: 589
Liked others: 0
Was liked: 114
Rank: 2 dan
Liisa wrote:
Kirby, if something is mathematically possible, that does not imply that it is actually possible within the framework of real world. That is because number of objects that are available for us is limited. This is (common) fallacy in reasoning, because people do not distinguish mathematics from reality. This fallacy in reasoning goes back to Leibniz, Galilei and Platon.


Even if you were completely correct with everything you say (which you actually really really aren't), Go is essentially a mathematical problem, so I don't see why it shouldn't be solvable. For instance, are you really, seriously telling me that we haven't solved tic tac toe, and that 'quantum logic' may allow a different result?

Quote:
Monadology wrote:
Perfect play also takes the form of a logical conditional so it cannot be invalidated by a negation of the antecedent, which is all your argument against its existence could potentially manage.


I did refute the idea of logic as a product of your (false) experiences and imagination. Logic is empirically derived from experiences by induction. People have observed several occasions where Jackdaws (Corvus monedula), have done something non-contradictory and thus they have generalized that contradictory events are logically impossible. And they have promoted the principle of contradictions as axiom of logic. And assumed that it is self-evident. But while observing quantum objects this axiom is not self-evident at all.


Go is not a quantum object. It's a mathematics problem. Where do you imagine that a breach in our rubbishy old classical logic could occur, it just makes no sense to apply quantum ideas?

Quote:

Go maybe defined as a abstract set of rules, but as soon as you are referring actual games (such as perfect game) it does exist as a natural, real world object. In the case of perfect play, reference is false. E.g. we can say that there is a unicorn, but statement is false.


This is meaningless! Just meaningless! What difference does it make to the abstract logic of the set of rules if you actually put some bits of rock on a piece of wood? The only thing I can imagine is that you think it's relevant that technically the board could spontaneously disappear or something.

Quote:
Quote:
Quantum phenomena are just as far away from having anything to do with the game of Go as the effectively indeterminable perfect line of play.


Of course it has all to do with the particular games that you have played. individual go games do exist, and you can view them with .sgf editor. That are visible due to quantum phenomena in liquid crystals and your retinal cells.


This makes me think that maybe your argument really is 'quantum effects could move the stones around or something'. Which still makes no difference to the abstract game logic.

Quote:


Monadology wrote:
One of the problems, Liisa, is you're only considering the quantity of objects in the 'size' of the universe. This is not strictly accurate in terms of what it can contain computationally. Not only are there objects, there are relationships between and combinations of objects to count. And those possibilities easily exceed the size of Go as a game.


Problem is that if combinations are meaningful, it is required that we make changes to combinations (e.g. while reading output) and because speed of light limits individual particle's interaction. There is not gained significant increase in orders of magnitudes to the information content of the universe even if relations of particles has considered, because limiting factor will be time. E.g. Jackdaw does include way more information as a whole than it's constituents alone, but still for solving go this is irrelevant.



I can't work out what you're trying to say here. 'It would take a long time to express this, therefore it does not exist'?


Quote:

...
[more rambling]
...


I don't really know what else to say. Maybe I've fundamentally misunderstood what's going on, and Liisa is actually making a profound point. I look forward to working out what it is...

Top
 Profile  
 
Offline
 Post subject: Re: BOINC and brute forcing
Post #55 Posted: Mon Sep 06, 2010 1:37 pm 
Lives with ko
User avatar

Posts: 129
Location: Turku, Finland
Liked others: 12
Was liked: 21
Rank: EGF 1989 KGS 2d
amnal wrote:
Maybe I've fundamentally misunderstood what's going on, and Liisa is actually making a profound point. I look forward to working out what it is...


My profound point is that it is meaningless to think abstract solution, if it is impossible to make it be actual game that can be in practice play out on real goban. And here I refer what is practical for type 4 civilization. We Earthlings are currently type ca. 0.7 civilization.

In other words, we must separate mathematical concepts from actual world.

It is meaningless to say that solving go is in principle possible, but in practice "very difficult". That is because, in nature there is no principles, but all the Great Principles are products of human imagination (with truth value false). We do not have God's eye point of view to see hand of god, because we are living in very finite universe. People just loses track how big number's are when we approach the googol. In practice very difficult problems, which information content would require bigger amount of bits than googol, are just impossible and they round up to the infinity.

It is useful concept to understand how big is practical infinity. In practice, practical infinity behaves similarly as mathematical infinity, but is just smaller in size. If people get annoyed using infinity in practical sense, we can always replace say that infinity equals absurdity.


Last edited by Liisa on Mon Sep 06, 2010 4:42 pm, edited 1 time in total.
Top
 Profile  
 
Offline
 Post subject: Re: BOINC and brute forcing
Post #56 Posted: Mon Sep 06, 2010 3:28 pm 
Gosei
User avatar

Posts: 1744
Liked others: 704
Was liked: 288
KGS: greendemon
Tygem: greendemon
DGS: smaragdaemon
OGS: emeraldemon
Going all the way back to the original post, I have no idea how hard it is to run BOINC or what it takes, but I'd be very curious to try and see what we could solve for smaller board sizes. 2x2 Tromp Taylor rules can be solved easily and quickly on a single machine (http://homepages.cwi.nl/~tromp/java/go/twoxtwo.html), so we could start there and work our way up. If we could solve 7x7 say, that would be a pretty cool accomplishment. Is anyone else interested in such a project?

Top
 Profile  
 
Offline
 Post subject: Re: BOINC and brute forcing
Post #57 Posted: Mon Sep 06, 2010 4:35 pm 
Lives in gote
User avatar

Posts: 388
Location: Riverside CA
Liked others: 246
Was liked: 79
Rank: KGS 7 kyu
KGS: Krill
OGS: Krill
I would like to discuss things further with you, Liisa. Unfortunately, trying to argue with you over the tenability of radical empiricism is probably going to lead way off the beaten path.

If you'd like to continue via PM, send me one. Alternately, we could make an thread in the Off-Topic board.

Top
 Profile  
 
Offline
 Post subject: Re: BOINC and brute forcing
Post #58 Posted: Mon Sep 06, 2010 4:57 pm 
Honinbo

Posts: 9550
Liked others: 1602
Was liked: 1712
KGS: Kirby
Tygem: 커비라고해
Liisa wrote:
...
My profound point is that it is meaningless to think abstract solution, if it is impossible to make it be actual game that can be in practice play out on real goban. And here I refer what is practical for type 4 civilization. We Earthlings are currently type ca. 0.7 civilization.

...


It is not meaningless to think of an abstract solution, because that is the first step to making an actual game that can be in practice played out on a real goban. That is what solving the game is about - being able to have a real strategy that you can use in practice (except in the case of "weakly solving" the game, in which you just prove who wins).

So the "solving" we are talking about means finding a strategy for both players that is practically implementable, and that can be played on the go board once it is known.

And because of John Nash and others, we know that this is possible to do.

---

Now, if you are going to talk about uncertainty, of course everything that you know has some degree of certainty. But I don't think that you'll get very far arguing against people if that's your only basis for argument.

It may be well known that you are sitting in a chair right now (if you are, for example), but you only can know this to some degree of certainty. You have some degree of uncertainty in which you are trusting your senses, etc. That's how it is with everything. Yes, we aren't God, so we can't know anything for sure.

But to make an assertion about ANYTHING, you must accept this uncertainty and say something with some degree of confidence. Within a closed, mathematical system we can make statements about what we think is true. We believe these things to be true because of the idea of logic. We may be wrong about our conceptions of logic, but the idea of rationality has to start somewhere.

So in terms of go, it has already been proven that a solution exists. We do not know what the solution is, but when we find it, we will have a practical and implementable strategy for both sides, which, yes, you can play on a real go board.

_________________
be immersed

Top
 Profile  
 
Offline
 Post subject: Re: BOINC and brute forcing
Post #59 Posted: Mon Sep 06, 2010 5:11 pm 
Lives with ko
User avatar

Posts: 129
Location: Turku, Finland
Liked others: 12
Was liked: 21
Rank: EGF 1989 KGS 2d
I started new thread that deals more with the nature of logic. Reply's about mathematics and empiricism goes there and and Boinc discussion in particular shall continue here.

http://lifein19x19.com/forum/viewtopic.php?f=8&t=1579

Top
 Profile  
 
Offline
 Post subject: Re: BOINC and brute forcing
Post #60 Posted: Mon Sep 06, 2010 5:28 pm 
Lives with ko
User avatar

Posts: 129
Location: Turku, Finland
Liked others: 12
Was liked: 21
Rank: EGF 1989 KGS 2d
Kirby wrote:
So in terms of go, it has already been proven that a solution exists. We do not know what the solution is, but when we find it, we will have a practical and implementable strategy for both sides, which, yes, you can play on a real go board.


If solution for go would be in any case meaningful statement, you need to make estimation how big is the solution. We know that there is 10^80 protons in the universe and time span has been only 10^60 units in Planck time. These are our ultimate limits how much data we can process. If you think that solution is non-absurd and fits the limits, then fine and solution is meaningful. But I would disagree, because we need to have some knowledge from end position in order find even weak solution.

Perhaps ultra-weak solution is plausible, if it does not require knowledge from end position.


Last edited by Liisa on Mon Sep 06, 2010 5:43 pm, edited 1 time in total.
Top
 Profile  
 
Display posts from previous:  Sort by  
Post new topic Reply to topic  [ 69 posts ]  Go to page Previous  1, 2, 3, 4  Next

All times are UTC - 8 hours [ DST ]


Who is online

Users browsing this forum: Google [Bot], Mike Novack and 1 guest


You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot post attachments in this forum

Search for:
Jump to:  
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group