Je hebt een klacht over de onderstaande posting:
Door Jos Visser: Proof by intimidation? De bewijzen welke hierboven gegeven zijn kunnen geautomatiseerd gecontroleerd worden. Het wiskundig rekenen met informatie middels entropie is de standaard manier om de bewijzen te leveren. Het zijn dus geen "proofs by intimidation" maar "proofs by mathematics". Als deze wertenschappelijke manier van bewijzen intimiderend overkomt, bijvoorbeeld door onbekendheid met dit soort methoden, dan is het wellicht informatief een inleidend boek over Informatie Theorie te lezen waar deze concepten op een introductie niveau worden uitgelegd. Zo'n introductie in de Informatie-Theorie is bijvoorbeeld te downloaden van de homepage van Raymond Yeung, welke ook de Information Theretic Ineqiality Prover bedacht heeft. Dit boek is een uitstekende inleiding voor het boek "Modern Coding Theory" dat hierboven gegeven is.
Beschrijf je klacht (Optioneel):