The On-Line Encyclopedia of Bongard Problems

Search: concept:semidecidable

Displaying 1-2 of 2 results found.

page 1

Sort: id Format: long Filter: (all | no meta | meta) Mode: (words | no words)

A left example can be verified to fit left by checking only finitely many layers deep vs. not so.

BP1059^↔	BP1066^↔	BP1067^↔	BP1069^↔	BP1070^↔	BP1071^↔
BP1060	BP1062	BP1063	BP1065	BP1067	BP1068
BP1069	BP1071	BP1077

(edit; present; nest [left/right]; search; history)

	CROSSREFS	`Adjacent-numbered pages: BP1074 BP1075 BP1076 BP1077 BP1078 * BP1080 BP1081 BP1082 BP1083 BP1084`
	KEYWORD	`meta (see left/right), links, side, wellfounded`
	CONCEPT	`semidecidable (info \| search),` `finite_infinite (info \| search)`
	WORLD	`recursive_boxes_bp [smaller \| same \| bigger]`
	AUTHOR	`Aaron David Fairbanks`

Left is an open subset of the rational numbers vs. not so.

	BP1047^↔	BP1048^↔	BP1050^↔	BP1053^↔	BP1044	BP1045
	BP1046	BP1052

	BP1044^↔	BP1045^↔	BP1046^↔	BP1051^↔	BP1052^↔	BP1054^↔
	BP1047	BP1048	BP1050	BP1051	BP1053	BP1054

(edit; present; nest [left/right]; search; history)

	CROSSREFS	`Adjacent-numbered pages: BP1076 BP1077 BP1078 BP1079 BP1080 * BP1082 BP1083 BP1084 BP1085 BP1086`
	KEYWORD	`meta (see left/right), links, side, wellfounded`
	CONCEPT	`semidecidable (info \| search),` `finite_infinite (info \| search)`
	WORLD	`outline_or_fill_circle_bp_clear_set_of_ratios [smaller \| same \| bigger]`
	AUTHOR	`Aaron David Fairbanks`

page 1

		Hints
(Greetings from The On-Line Encyclopedia of Bongard Problems!)