Poul Christiansen

Seneste kommentarer

Re: Re: Re: Re: * Argh

For 1321 dage siden: OK Mark, så misforstod jeg bare sammenhængen mellem argument og konklusion da du skrev:

For 1321 dage siden: Ja Jens, det er jo derfor ordet "nogle" er fremhævet i både Marks og mit indlæg... Du skriver også: "Hvis du har tid nok, er det intet problem at analysere.". Det tror jeg at Gödel havde en ande...

Re: Re: * Argh

For 1321 dage siden: Ja Kim, det er jo derfor ordet "nogle" er fremhævet i både Marks og mit indlæg... Min pointe er jo bare at computere godt kan analysere om nogle programmer stopper. Ikke alle programmer - det ve...

Re: Re: Re: Re: Re: Argh

For 1321 dage siden: Computere er også i stand til at analysere om _nogle_ programmer stopper eller ej. F.eks. ved simpel statisk analyse. Det er ret simpelt.

Re: Enheder!!

For 1321 dage siden: Jeg det er s'gu sørgeligt...

Re: +25 findes slet ikke

For 1321 dage siden: Begynder +250 ikke med +25...?

Re: Re: Re: Argh

For 1321 dage siden: Nej Mark, en computer har ikke uendelig hukommelse, men det har en Turing maskine. Netop derfor har jeg personligt aldrig kaldt en computer for en TM. Om andre har gjort det kan jeg ikke svare på. ...

« Forrige