Re: [ITPOLITIK] Nogen siger: software er ikke matematik.

["Erik Lange" <sslug@sslug>]

----- Original Message ----- 
From: "Ole Husgaard" <sslug@sslug>
To: <sslug@sslug>
Sent: Saturday, June 30, 2001 8:21 PM
Subject: Re: [ITPOLITIK] Nogen siger: software er ikke matematik.


> Peter Makholm wrote:
> > I/O er hulens svært at beskrive matematisk, og det bedste der
> > tilsyneladende kan gøres er at pakke I/O ind i mystiske objekter som
> > monader eller tegnstrømme, som man ikke kan ræsonere særligt præcist
> > om.
> 
> I/O er bitstrømme, hvilket ikke er så svært at beskrive
> som matematik. Men bitstrømmene har også noget timing
> tilknyttet, hvilket komplicerer tingene. Specielt for
> input kan timingen (når den har betydning) være svær at
> beskrive matematisk.
> 
> Men er det umuligt?

Er det overhovedet muligt at tale om tid uden at definere den i en matematisk dimension  ? ;-)

Et praktisk eksempel er streaming media, der fungerer ved at indbygge matematiske_regler for tid i fil-servere (groft sagt!), så filerne kan serves i forhold til den tidsdimension de er lavet efter... 

- og uden en medfølgende matematisk_formel_for_afviklingen, giver de rå-data der udgør f.eks. en film ingen mening... (uanset om de iøvrigt er lagret digitalt eller analogt på f.eks. celluid).

Jeg kan godt se filosofernes pointe i at den nødvendige _matematik bygger på nogle grundlægende antagelser der er bevist_filisofisk - men hvis det ikke_er naturvidenskablige kræfter der får solen til at gå op og ned, så ryger vi jo langt ud i religionerne - er det så Gud der laver vores software ?

Bill ville nok synes godt om dette argument, jeg er ikke enig ;-)

Erik Lange

> 
> Vi må huske på, at selvom vi ender med en ekstremt
> kompliceret stokastisk model, er det stadig bare
> matematik.
> 
> Ole Husgaard.