Left-sorted Bongard Problems have the keyword "nice" on the OEBP.

Right-sorted Bongard Problems have the keyword "less." They are not necessarily "bad," but we do not want more like them.

Adjacent-numbered pages:
BP498 BP499 BP500 BP501 BP502  *  BP504 BP505 BP506 BP507 BP508

subjective, meta (see left/right), links, keyword, oebp, right-finite, left-it, feedback, time

bp [smaller | same | bigger]

Aaron David Fairbanks

Left examples have the keyword "experimental" on the OEBP.

Right examples have the keyword "traditional" on the OEBP.

Experimental BPs push the boundaries of what makes Bongard Problems Bongard Problems.

Traditional BPs show some simple property of black and white pictures. The OEBP is a place with many wild and absurd Bongard Problems, so it is useful to have an easy way to just find the regular old Bongard Problems.

Adjacent-numbered pages:
BP545 BP546 BP547 BP548 BP549  *  BP551 BP552 BP553 BP554 BP555

subjective, meta (see left/right), links, keyword, left-it

bp [smaller | same | bigger]

Aaron David Fairbanks

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

https://en.wikipedia.org/wiki/Countable_set

See left-finite, which distinguishes between a finite left side and infinite left side.

"Left-listable" BPs are typically precise.

Adjacent-numbered pages:
BP558 BP559 BP560 BP561 BP562  *  BP564 BP565 BP566 BP567 BP568

math, meta (see left/right), links, keyword

bp_infinite_left_examples [smaller | same | bigger]
zoom in right (left_uncountable_bp)

Leo Crabbe

Left examples have the keyword "math" on the OEBP.

Although everything is arguably related to math, these BP solutions include content that people don't inherently understand without learning at least some mathematics.

Left examples do not technically have "culturally-dependent" content (keyword culture), but knowledge and previous learning plays a role in how easy they are to solve.

Adjacent-numbered pages:
BP566 BP567 BP568 BP569 BP570  *  BP572 BP573 BP574 BP575 BP576

fuzzy, meta (see left/right), links, keyword

bp [smaller | same | bigger]

Aaron David Fairbanks

Adjacent-numbered pages:
BP667 BP668 BP669 BP670 BP671  *  BP673 BP674 BP675 BP676 BP677

meta (see left/right), links, metaconcept, primitive

bp [smaller | same | bigger]

Harry E. Foundalis

Adjacent-numbered pages:
BP674 BP675 BP676 BP677 BP678  *  BP680 BP681 BP682 BP683 BP684

meta (see left/right), links, metaconcept, primitive

bp [smaller | same | bigger]

Harry E. Foundalis

Zero, one, or two objects may technically form a sequence, but if ALL examples of a BP have zero, one, or two objects, we do not consider that BP to be about sequences.

See BP929 for distinction between sequences of arbitrary length and sequences of fixed length (keywords "sequence" and "fixedsequence").

Adjacent-numbered pages:
BP923 BP924 BP925 BP926 BP927  *  BP929 BP930 BP931 BP932 BP933

stub, meta (see left/right), links

bp [smaller | same | bigger]
zoom in left (sequence_visualbp)

Aaron David Fairbanks

Left examples have the keyword "sequence" on the OEBP.

Right examples have the keyword "fixedsequence" on the OEBP.

Zero, one, or two objects may technically form a sequence, but if ALL examples of a BP have zero, one, or two objects, we do not consider that BP to be about sequences. BPs about fixed two-object sequences are ordered pairwise comparison BPs, orderedpair.

The world of this Bongard Problem is BP928.

See also grid versus fixedgrid.

Adjacent-numbered pages:
BP924 BP925 BP926 BP927 BP928  *  BP930 BP931 BP932 BP933 BP934

meta (see left/right), links, keyword

sequence_visualbp [smaller | same | bigger]

Aaron David Fairbanks

Left-sorted Problems have the keyword "right-listable" on the OEBP.

BPs are sorted based on how BP563 (left-listable) would sort them were they flipped; see that page for a description.

See right-finite, which distinguishes between finite right side and infinite right side.

Adjacent-numbered pages:
BP935 BP936 BP937 BP938 BP939  *  BP941 BP942 BP943 BP944 BP945

meta (see left/right), links, keyword

bp_infinite_right_examples [smaller | same | bigger]
zoom in right (right_uncountable_bp)

Leo Crabbe

Examples sorted by this problem need to be Bongard Problems with some multiple disconnected shapes in them that are formatted in some way.

Problems do not necessarily need symbols to recur across examples to be sorted left.

Right-sorted Problems usually vary their object "language" across examples to emphasise the generality of their solution. Every example in these problems would be thought of as having its own intuitive "world".

TO DO: Figure out whether to implement the prerequisite "You must easily be able to think of a way that a sorted problem could be redrawn such that its sorting in this Problem would switch." This restriction would eliminate problems like BP121 from being sorted, for example, as its solution hinges on the consistency of the symbols across examples. The keyword consistentsymbols already describes problems like this. This also eliminates problems like BP998 from sorting.

TO DO: Should this problem's world be changed from "Formatted object comparison BPs" to "object comparison BPs"? This would allow for some nice Problems like BP841 to be sorted, but may make things too broad.

Adjacent-numbered pages:
BP1173 BP1174 BP1175 BP1176 BP1177  *  BP1179 BP1180 BP1181 BP1182 BP1183

meta (see left/right), links

Leo Crabbe