Toch nog even wat opmerkingen over die "bitnotatie", want er worden toch een aantal dingen vergeten:
1) zetherhaling en 50-zetten regel. Als je stellingen uniek wilt identificeren (enumereren), zul je die gegevens moeten meenemen, wat meer dan 5 bits extra oplevert. (Voorkennis uit voorgaande stellingen mag je niet gebruiken tenzij je die bitlengtes van al die vorige stellingen erbij rekent).
1) zetherhaling en 50-zetten regel. Als je stellingen uniek wilt identificeren (enumereren), zul je die gegevens moeten meenemen, wat meer dan 5 bits extra oplevert. (Voorkennis uit voorgaande stellingen mag je niet gebruiken tenzij je die bitlengtes van al die vorige stellingen erbij rekent).
edit:
2) was crap
2) was crap
