🚀 go-pugleaf

John Bokma <postmaster@castleamber.com> wrote:
> Philip Paeps wrote:
> > Veel van de wiskunde die ik geleerd heb is bullshit, maar de principes
> > komen me goed van pas.  Ik heb bijvoorbeeld absoluut geen boodschap meer
> > aan het formele bewijs dat f'(x) = lim(h->0)[[f(x+h)-f(x)]/h] (om ��n of
> > andere reden heb ik die altijd kunnen onthouden), maar de principes om het
> > logisch uit te werken komen me wel best van pas.
> 
> Als je algoritmes ontwerpt is het vaak extreem nuttig om te kunnen bewijzen
> dat het werkt. En juist dan is het extreem handig om formele bewijzen te
> snappen, en op te kunnen stellen.

Ook als je algorithmes van anderen probeert te begrijpen, is het vaak handig
dat je een 'achterwaardse' logische redenering kunt maken (van de kip terug
naar het ei, als het ware).

Waar het op neer komt is dat de wiskunde zelf vaak niet echt nuttig is, tenzij
je ze moet implementeren (movement deltas en acceleratie in een mouse driver
bijvoorbeeld) maar dat de principes van het 'wiskundig denken' onmisbaar zijn.

 - Philip

-- 
Philip Paeps                              Please don't email any replies
philip@paeps.cx                               I follow the newsgroup.

  Don't let your superiors know you're better than
  they are.