Revision history for BP563
|
Displaying 1-25 of 101 results found.
|
page 1 2 3 4 5
|
|
Edits shown per page: 25.
|
|
|
|
|
| |
| |
|
|
COMMENTS
|
Left-sorted Problems have the keyword "left-listable" on the OEBP.
All the possible left examples for the BPs on the left side of this problem could be listed in one infinite sequence. Right examples here are Problems for which no such sequence can exist.
This depends on deciding what images should be considered "the same thing", which is @subjective and context-dependent.
All examples in this Bongard Problem have an infinite left side (they do not have the keyword @left-finite).
The mathematical term for a set that can be organized into an infinite list is a "countably infinite" set, as opposed to an "uncountably infinite" set.
Another related idea is a "recursively enumerable" a.k.a. "semi-decidable" set, which is a set that a computer program could list the members of.
The keyword "left-listable" is meant to be for the more general idea of a countable set, which does not have to do with computer algorithms.
Note that this is not just BP940 (@right-listable) flipped.
It seems in practice, Bongard Problems that are left-listable are usually also right-listable because the whole class of relevant examples is listable. A keyword for just plain "listable" may be more useful. Or instead keywords for left- versus right- semidecidability, in the sense of computing. - Aaron David Fairbanks, Jan 10 2023 |
|
|
|
|
| |
| |
|
|
CROSSREFS
|
See @left-finite, which distinguishes between a finite left side and infinite left side.
"Left-listable" BPs are typically @precise. |
|
|
|
|
| |
| |
|
|
COMMENTS
|
Left-sorted Problems have the keyword "left-listable" on the OEBP.
All the possible left examples for the BPs on the left side of this problem could be listed in one infinite sequence. Right examples here are Problems for which no such sequence can exist.
This depends on deciding what images should be considered "the same thing", which is @subjective and context-dependent.
All examples in this Bongard Problem have an infinite left side (they do not have the keyword @left-finite).
The mathematical term for a set that can be organized into an infinite list is a "countably infinite" set, as opposed to an "uncountably infinite" set.
Another related idea is a "recursively enumerable" a.k.a. "semi-decidable" set, which is a set that a computer program could list the members of.
The keyword "left-listable" is meant to be for the more general idea of a countable set, which does not have to do with computer algorithms.
Note that this is not just BP940 (@right-listable) flipped. |
|
|
|
|
| |
| |
|
|
COMMENTS
|
Left-sorted Problems have the keyword "left-listable" on the OEBP.
All the possible left examples for the BPs on the left side of this problem could be listed in one infinite sequence. Right examples here are Problems for which no such sequence can exist.
This depends on deciding what images should be considered "the same thing", which is @subjective and context-dependent.
The mathematical term for a set that can be organized into an infinite list is a "countably infinite" set, as opposed to an "uncountably infinite" set.
Another related idea is a "recursively enumerable" a.k.a. "semi-decidable" set, which is a set that a computer program could list the members of.
The keyword "left-listable" is meant to be for the more general idea of a countable set, which does not have to do with computer algorithms.
Note that this is not just BP940 (@right-listable) flipped. |
|
|
|
|
| |
| |
|
|
COMMENTS
|
Left-sorted Problems have the keyword "left-listable" on the OEBP.
All the possible left examples for the BPs on the left side of this problem could be listed in one infinite sequence. Right examples here are Problems for which no such sequence can exist.
This depends on deciding what images should be considered "the same thing", which is @subjective and context-dependent.
The mathematical term for a set that can be organized into an infinite list is a "countably infinite" set, as opposed to an "uncountably infinite" set.
Another related idea is a "recursively enumerable" a.k.a. "semi-decidable" set, which is a set that a computer program could list the members of.
The keyword "left-listable" is meant to be for the more general idea of countable infinity, which does not have to do with computer algorithms.
Note that this is not just BP940 (@right-listable) flipped. |
|
|
|
|
| |
| |
|
|
COMMENTS
|
Left-sorted Problems have the keyword "left-listable" on the OEBP.
All the possible left examples for the BPs on the left side of this problem could be listed in one infinite sequence. Right examples here are Problems for which no such sequence can exist.
This depends on deciding what images should be considered "the same thing", which is @subjective and context-dependent.
The mathematical term for a set that can be organized into an infinite list is a "countably infinite" set, as opposed to an "uncountably infinite" set.
Another related idea is a "recursively enumerable" a.k.a. "semi-decidable" set, which is a set that a computer program could list the members of.
The keyword "left-listable" is meant to be about the former more general idea of countable infinity, which does not have to do with computer algorithms.
Note that this is not just BP940 (@right-listable) flipped. |
|
|
|
|
| |
| |
|
|
COMMENTS
|
Left-sorted Problems have the keyword "left-listable" on the OEBP.
All the possible left examples for the BPs on the left side of this problem could be listed in one infinite sequence. Right examples here are Problems for which no such sequence can exist.
This depends on deciding what images should be considered "the same thing", which is @subjective and context-dependent.
The mathematical term for a set that can be organized into an infinite list is a "countably infinite" set, as opposed to an "uncountably infinite" set.
Another related idea is a "recursively enumerable" a.k.a. "semi-decidable" set, which is a set that a computer program could list the members of.
The keyword "left-listable" is meant to be for the former more general idea of countable infinity, which does not have to do with computer algorithms.
Note that this is not just BP940 (@right-listable) flipped. |
|
|
|
|
| |
| |
|
|
COMMENTS
|
Left-sorted Problems have the keyword "left-listable" on the OEBP.
All the possible left examples for the BPs on the left side of this problem could be listed in one infinite sequence. Right examples here are Problems for which no such sequence can exist.
This depends on deciding what images should be considered "the same thing", which is @subjective and context-dependent.
The mathematical term for a set that can be organized into an infinite list is a "countably infinite" set, as opposed to an "uncountably infinite" set.
Another related idea is a "recursively enumerable" a.k.a. "semi-decidable" set, which is a set that a computer program could list the members of.
The keyword "left-listable" is meant to be for the more general idea of countable infinity, which does not have to do with computer algorithms.
Note that this is not just BP940 (@right-listable) flipped. |
|
|
|
|
| |
| |
|
|
COMMENTS
|
Left-sorted Problems have the keyword "left-listable" on the OEBP.
All the possible left examples for the BPs on the left side of this problem could be listed in one infinite sequence. Right examples here are Problems for which no such sequence can exist.
This depends on deciding what images should be considered "the same thing", which is @subjective and context-dependent.
The mathematical term for a set that can be organized into an infinite list is a "countably infinite" set, as opposed to an "uncountably infinite" set.
Another related idea is a "recursively enumerable" a.k.a. "semi-decidable" set, which is a set that a computer program could list the members of.The keyword "left-listable" is for the more general idea of "countable infinity"
Note that this is not just BP940 (@right-listable) flipped. |
|
|
|
|
| |
| |
|
|
REFERENCE
|
https://en.wikipedia.org/wiki/Countable_set |
|
|
|
|
| |
| |
|
|
COMMENTS
|
Left-sorted Problems have the keyword "left-listable" on the OEBP.
All the possible left examples for the BPs on the left side of this problem could be listed in one infinite sequence. Right examples here are Problems for which no such sequence can exist.
This depends on deciding what images should be considered "the same thing", which is @subjective and context-dependent.
The mathematical term for a set that can be organized into an infinite list is a "countably infinite" set, as opposed to an "uncountably infinite" set.
Note that this is not just BP940 (@right-listable) flipped. |
|
|
|
|
| |
| |
|
|
COMMENTS
|
Left-sorted Problems have the keyword "left-listable" on the OEBP.
All the possible left examples for the BPs on the left side of this problem could be listed in one infinite sequence. Right examples here are Problems for which no such sequence can exist.
This depends on deciding what images should be considered "the same thing", which is @subjective and context-dependent.
The mathematical jargon for a set that can be organized into an infinite list is a "countably infinite" set, as opposed to an "uncountably infinite" set.
Note that this is not just BP940 (@right-listable) flipped. |
|
|
|
|
| |
| |
|
|
CROSSREFS
|
See @left-finite, which distinguishes between a finite left side and infinite left side. |
|
|
|
|
| |
| |
|
|
CROSSREFS
|
See @left-finite, which distinguishes between a finite left side and an infinite left side. |
|
|
|
|
| |
| |
|
|
CROSSREFS
|
See @left-finite, which is about a finite left side versus an infinite left side. |
|
|
|
|
| |
| |
|
|
CROSSREFS
|
See @left-finite, which is about a finite left side versus infinite left side. |
|
|
|
|
| |
| |
|
|
NAME
|
Bongard Problems such that there is a way of making an infinite list of all relevant possible left-sorted examples vs. Bongard Problems where there is no such way of listing all left-sorted examples.
|
|
|
|
|
| |
| |
|
|
COMMENTS
|
Left-sorted Problems have the keyword "left-listable" on the OEBP.
All the possible left examples for the BPs on the left side of this problem could be listed in one infinite sequence. Right examples here are Problems for which no such sequence can exist.
This depends on deciding what images should be considered "the same thing", which is @subjective and context-dependent.
Note that this is not just BP940 (@right-listable) flipped. |
|
|
|
|
| |
| |
|
|
COMMENTS
|
Left-sorted Problems have the keyword "left-listable" on the OEBP.
All the possible left examples for the BPs on the left side of this problem could be listed in one infinite sequence. Right examples here are Problems for which no such sequence can exist.
Note that this is not just BP940 (@right-listable) flipped.
I think a BP like BP329 (regular polygon vs. other polygon) is an ambiguous case. There could be uncountably many distinct images featuring resizings and repositionings of one regular polygon. It hasn't been made clear what images should be considered "the same thing" in this context. (Especially in this case, since two distinct images of a square appear on the left hand side.) - Aaron David Fairbanks, Apr 15 2022 |
|
CROSSREFS
|
See BP515 (keyword @left-finite), which distinguishes between finite left side and infinite left side. |
|
|
|