Discussion about this post

User's avatar
Peter Gerdes's avatar

Your model implicitly assumes that it's costless to evaluate options.

Suppose I want to find a proof of some mathematical claim. Do I just look at options offered by professional mathematicians who have claimed to prove it or should I also consider a dumb automated reasoning system's submissions that simply iterates through all possible proofs?

In some cases evaluating options is cheap compared to the expected benefits. In other cases the cost of evaluating potential solutions is the dominate cost (in mathematics which is essentially just a search for proofs its really the only cost). You can't really derive what's more important in some context without more information about costs, benefits etc etc.

Expand full comment
AMALIA VILLALBA NUÑEZ's avatar

FELICES QUANTITY ENABLES QUATItY

Expand full comment
25 more comments...

No posts