OEBP History

Revision history for BP794

Displaying 1-25 of 75 results found.

page 1 2 3

Edits shown per page: 25.

BP794

on 2022-12-29 21:14:52 by Aaron David Fairbanks approved

CROSSREFS

@left-self or @right-self implies not wellfounded.

Wellfounded implies not @feedback.

BP794

on 2021-05-07 17:20:19 by Aaron David Fairbanks approved

REMOVE

BP895

BP794

on 2021-05-07 16:28:46 by Aaron David Fairbanks approved

REMOVE

BP566

BP794

on 2021-02-07 21:31:49 by Aaron David Fairbanks approved

COMMENTS

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

This BP is not wellfounded, but its right side is. A paradoxical BP would be "Meta Bongard Problems that can contain an infinite chain of Bongard Problems containing Bongard Problems on the right side vs. this can never happen": where does it sort itself?

BP794

on 2021-02-07 21:30:17 by Aaron David Fairbanks approved

COMMENTS

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

This BP is not wellfounded, but its right side is.

BP794

on 2021-02-07 16:14:16 by Aaron David Fairbanks approved

COMMENTS

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

BP794

on 2021-02-07 16:13:49 by Aaron David Fairbanks approved

NAME

Meta Bongard Problems that can contain an infinite chain of Bongard Problems containing Bongard Problems vs. this can never happen.

COMMENTS

CROSSREFS

+self (left-BP517) or -self (right-BP517) implies not wellfounded.

Wellfounded implies (left-BP1074) not feedback.

BP794

on 2020-12-26 16:24:48 by Aaron David Fairbanks approved

REMOVE

BP551

BP794

on 2020-12-15 04:53:23 by Aaron David Fairbanks approved

-DATA

BP556

BP794

on 2020-12-15 03:12:11 by Aaron David Fairbanks approved

-DATA

BP1081

BP794

on 2020-12-14 16:02:29 by Aaron David Fairbanks approved

-DATA

BP551

BP552

BP553

BP554

BP566

BP567

BP572

BP838

BP913

BP958

BP976

BP995

BP794

on 2020-12-14 15:23:56 by Aaron David Fairbanks approved

-DATA

BP1079

BP794

on 2020-12-14 00:56:12 by Aaron David Fairbanks approved

-DATA

BP895

BP794

on 2020-12-14 00:37:42 by Aaron David Fairbanks approved

COMMENTS

CROSSREFS

+self (left-BP517) or -self (right-BP517) implies not wellfounded.

Wellfounded implies (left-BP1074) not feedback.

BP794

on 2020-12-14 00:29:11 by Aaron David Fairbanks approved

+DATA

BP1073

BP794

on 2020-12-14 00:28:06 by Aaron David Fairbanks approved

+DATA

BP794

BP794

on 2020-12-14 00:27:51 by Aaron David Fairbanks approved

	NAME	`Meta Bongard Problems that can contain an infinite chain of Bongard Problems containing Bongard Problems vs. this can never happen.`
	COMMENTS
	CROSSREFS	`+self (left-BP517) or -self (right-BP517) implies not wellfounded.`
	AUTHOR	`Aaron David Fairbanks`