search

rleiva / NescienceBook

The Mathematics of the Unknown
Other
1 stars 0 forks source link

Theorem reduce miscoding #64

Open rleiva opened 1 year ago

rleiva commented 1 year ago

Prove theorem on reducing miscoding