The On-Line Encyclopedia of Bongard Problems

Search: keyword:missingproofs

Displaying 1-2 of 2 results found.

page 1

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

Tiled by pair of fractals including itself such that both tile the other vs. tiled by pair of fractals including itself such that the other tiles itself.

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

	COMMENTS	`Proofs still needed that all the examples on the left hand side cannot fit on the right hand side as well, and that EX9881 cannot fit on the left hand side as well.`
	CROSSREFS	`The left hand side implies the left hand side of BP1116.` `The right hand side does not imply the right hand side of BP1116. (EX9881 is meant to be a counterexample.)` `Adjacent-numbered pages: BP1237 BP1238 BP1239 BP1240 BP1241 * BP1243 BP1244 BP1245 BP1246 BP1247`
	KEYWORD	`unwordable, overriddensolution, perfect, infinitedetail, both, missingproofs`
	CONCEPT	`fractal (info \| search),` `recursion (info \| search),` `self-reference (info \| search),` `tiling (info \| search)`
	AUTHOR	`Aaron David Fairbanks`

BP1244

Tiled by self-tiling fractal vs. not

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

	COMMENTS	`Proofs are still needed for examples fitting right.` `EX9875 is tiled by Sierpinski triangles, but this requires the Sierpinski triangle tiles' bounding triangles to overlap.`
	CROSSREFS	`Self-tiling fractals (BP532^left) are all sorted left.` `Adjacent-numbered pages: BP1239 BP1240 BP1241 BP1242 BP1243 * BP1245 BP1246 BP1247 BP1248 BP1249`
	KEYWORD	`notso, perfect, infinitedetail, missingproofs`
	CONCEPT	`fractal (info \| search),` `recursion (info \| search),` `self-reference (info \| search),` `tiling (info \| search)`
	AUTHOR	`Aaron David Fairbanks`

page 1

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