OEBP History

All possible right examples for the BPs on the left side of this problem could be generated by a finite algorithm. Right examples here are Problems for which no such algorithm can exist.

EXAMPLE

BP940

on 2020-08-23 10:21:01 by Leo Crabbe approved

-DATA

BP559

BP940

on 2020-08-22 16:21:41 by Leo Crabbe approved

-DATA

BP801

BP940

on 2020-08-22 16:19:32 by Leo Crabbe approved

+DATA

BP904

BP940

on 2020-08-22 16:18:14 by Leo Crabbe approved

-DATA

BP538

BP940

on 2020-08-22 16:16:23 by Leo Crabbe approved

COMMENTS

Left examples have the keyword "-countable" on the OEBP.

Right examples have the keyword "-uncountable" on the OEBP.

⠀

All possible right examples for the BPs on the left side of this problem could be generated by a finite algorithm. Right examples here are Problems for which no such algorithm can exist.

EXAMPLE

BP940

on 2020-08-22 16:06:47 by Leo Crabbe approved

REMOVE

BP925

BP319

BP940

on 2020-08-22 12:46:49 by Leo Crabbe approved

REMOVE

BP934

BP940

on 2020-08-22 12:39:48 by Aaron David Fairbanks approved

REMOVE

BP376

BP940

on 2020-08-22 11:03:25 by Leo Crabbe approved

COMMENTS

Left examples have the keyword "-countable" on the OEBP.

Left examples have the keyword "-uncountable" on the OEBP.

⠀

All possible right examples for the BPs on the left side of this problem could be generated by a finite algorithm. Right examples here are Problems for which no such algorithm can exist.

EXAMPLE

BP940

on 2020-08-22 10:22:47 by Leo Crabbe approved