Gmail Calendar Documenti Reader Web altro »
Gruppi visitati di recente | Guida | Entra
Home page di Google Gruppi
Gli algoritmi devono terminare per essere tali ?
Al momento sono presenti troppi argomenti in questo gruppo da visualizzare per primi. Per visualizzare questo argomento per primo, rimuovi questa opzione da un altro argomento.
Si è verificato un errore durante l'elaborazione della tua richiesta. Riprova.
contrassegno
  8 messaggi - Comprimi tutto  -  Traduci tutto in Tradotto (Visualizza tutti gli originali)
Il gruppo nel quale stai postando è un gruppo Usenet. I messaggi postati in questo gruppo rendono la tua email visibile a chiunque su Internet
Il messaggio di risposta non è stato inviato.
Post riuscito
 
Da:
A:
Cc:
Risposta a:
Aggiungi Cc | Aggiungi Followup-to | Modifica oggetto
Oggetto:
Convalida:
A scopo di verifica, digita i caratteri visualizzati nell'immagine qui di seguito o i numeri pronunciati quando fai clic sull'icona per l'accesso facilitato. Ascolta e digita i numeri che senti
 
radicale 003  
Vedi profilo  
 Altre opzioni 9 Feb, 10:45
Newsgroup: it.scienza.matematica
Da: radicale 003 <radicale....@gmail.com>
Data: Tue, 9 Feb 2010 01:45:45 -0800 (PST)
Locale: Mar 9 Feb 2010 10:45
Oggetto: Gli algoritmi devono terminare per essere tali ?
Perche' allora l' algoritmo del calcolo del Pi-greco
non sarebbe tale, a meno che voi, scaltramente,
definite il risultato dell' algoritmo come :
"calcolo del Pi alla millesima cifra decimale"
(millesima o piu', purche' finita)

... E' cosi' che fate ?

Ed in secondo luogo :
l' algortimo che calcola il Pi cosa ha per input
iniziale ? Che gli date da mangiare ?

Ed in terzo luogo :
Per voi, l' algoritmo ed il suo input sono cose
separate ?
Oppure algoritmo = (procedura + input) ?

Grazie.


    Inoltra  
Devi eseguire l'accesso prima di poter postare i messaggi.
Per pubblicare un messaggio è necessario, innanzitutto, partecipare a questo gruppo.
Aggiorna il tuo nickname nella pagina delle impostazioni dell'iscrizione prima di postare i messaggi.
Non sei autorizzato a postare messaggi.
Denis  
Vedi profilo  
 Altre opzioni 9 Feb, 11:31
Newsgroup: it.scienza.matematica
Da: Denis <spamcontai...@yahoo.com>
Data: Tue, 09 Feb 2010 10:31:25 GMT
Locale: Mar 9 Feb 2010 11:31
Oggetto: Re: Gli algoritmi devono terminare per essere tali ?
On 09/02/2010 10.45, radicale 003 wrote:

> Perche' allora l' algoritmo del calcolo del Pi-greco
> non sarebbe tale, a meno che voi, scaltramente,
> definite il risultato dell' algoritmo come :
> "calcolo del Pi alla millesima cifra decimale"
> (millesima o piu', purche' finita)

> ... E' cosi' che fate ?

E' chiaro che deve essere cosi' altrimenti anche il calcolo di 1+1 non
e' terminante perche' il problema diventa quello di produrre un numero
infinito di cifre.

> Ed in secondo luogo :
> l' algortimo che calcola il Pi cosa ha per input
> iniziale ? Che gli date da mangiare ?

> Ed in terzo luogo :
> Per voi, l' algoritmo ed il suo input sono cose
> separate ?
> Oppure algoritmo = (procedura + input) ?

Direi che non sempre e' cosi' semplice separare le due cose , la
separazione e' un caso speciale


    Inoltra  
Devi eseguire l'accesso prima di poter postare i messaggi.
Per pubblicare un messaggio è necessario, innanzitutto, partecipare a questo gruppo.
Aggiorna il tuo nickname nella pagina delle impostazioni dell'iscrizione prima di postare i messaggi.
Non sei autorizzato a postare messaggi.
radicale 003  
Vedi profilo  
 Altre opzioni 9 Feb, 12:12
Newsgroup: it.scienza.matematica
Da: radicale 003 <radicale....@gmail.com>
Data: Tue, 9 Feb 2010 03:12:46 -0800 (PST)
Locale: Mar 9 Feb 2010 12:12
Oggetto: Re: Gli algoritmi devono terminare per essere tali ?
On 9 Feb, 11:31, Denis <spamcontai...@yahoo.com> wrote:

>E' chiaro che deve essere cosi' altrimenti anche il >calcolo di 1+1 non e' terminante perche' il problema >diventa quello di produrre un numero
>infinito di cifre.

Giusto

>Direi che non sempre e' cosi' semplice separare le
>due cose , la separazione e' un caso speciale

Addirittura ! Come mai accade questo ?

    Inoltra  
Devi eseguire l'accesso prima di poter postare i messaggi.
Per pubblicare un messaggio è necessario, innanzitutto, partecipare a questo gruppo.
Aggiorna il tuo nickname nella pagina delle impostazioni dell'iscrizione prima di postare i messaggi.
Non sei autorizzato a postare messaggi.
Vend  
Vedi profilo  
 Altre opzioni 9 Feb, 12:42
Newsgroup: it.scienza.matematica
Da: Vend <ven...@virgilio.it>
Data: Tue, 9 Feb 2010 03:42:37 -0800 (PST)
Locale: Mar 9 Feb 2010 12:42
Oggetto: Re: Gli algoritmi devono terminare per essere tali ?
On 9 Feb, 10:45, radicale 003 <radicale....@gmail.com> wrote:

> Perche' allora l' algoritmo del calcolo del Pi-greco
> non sarebbe tale, a meno che voi, scaltramente,
> definite il risultato dell' algoritmo come :
> "calcolo del Pi alla millesima cifra decimale"
> (millesima o piu', purche' finita)

> ... E' cosi' che fate ?

Sostanzialmente si:
definisci un algoritmo P(n) che restituisce le prime n cifre decimali
di pi greco (oppure la n-esima cifra).

> Ed in secondo luogo :
> l' algortimo che calcola il Pi cosa ha per input
> iniziale ? Che gli date da mangiare ?

n, come sopra definito.

> Ed in terzo luogo :
> Per voi, l' algoritmo ed il suo input sono cose
> separate ?
> Oppure algoritmo = (procedura + input) ?

In generale l'algoritmo e il suo input sono separati, ma per ciascun
algoritmo P e ciascun input n puoi sempre definire un algoritmo P' che
non ha nessun input ed è equivalente a P(n) (banalmente, basta
prendere l'input e metterlo nel codice come costante).

    Inoltra  
Devi eseguire l'accesso prima di poter postare i messaggi.
Per pubblicare un messaggio è necessario, innanzitutto, partecipare a questo gruppo.
Aggiorna il tuo nickname nella pagina delle impostazioni dell'iscrizione prima di postare i messaggi.
Non sei autorizzato a postare messaggi.
Kiuhnm  
Vedi profilo  
 Altre opzioni 9 Feb, 12:51
Newsgroup: it.scienza.matematica
Da: Kiuhnm <kiuhnm03.4t.yahoo.it>
Data: Tue, 09 Feb 2010 12:51:39 +0100
Locale: Mar 9 Feb 2010 12:51
Oggetto: Re: Gli algoritmi devono terminare per essere tali ?

radicale 003 wrote:
> Perche' allora l' algoritmo del calcolo del Pi-greco
> non sarebbe tale, a meno che voi, scaltramente,
> definite il risultato dell' algoritmo come :
> "calcolo del Pi alla millesima cifra decimale"
> (millesima o piu', purche' finita)

> ... E' cosi' che fate ?

Esistono molte definizioni di algoritmo, quindi la risposta è "dipende".

Kiuhnm


    Inoltra  
Devi eseguire l'accesso prima di poter postare i messaggi.
Per pubblicare un messaggio è necessario, innanzitutto, partecipare a questo gruppo.
Aggiorna il tuo nickname nella pagina delle impostazioni dell'iscrizione prima di postare i messaggi.
Non sei autorizzato a postare messaggi.
radicale 001  
Vedi profilo  
 Altre opzioni 9 Feb, 14:03
Newsgroup: it.scienza.matematica
Da: radicale 001 <radicale....@gmail.com>
Data: Tue, 9 Feb 2010 05:03:51 -0800 (PST)
Locale: Mar 9 Feb 2010 14:03
Oggetto: Re: Gli algoritmi devono terminare per essere tali ?
On 9 Feb, 12:51, Kiuhnm <kiuhnm03.4t.yahoo.it> wrote:

>Esistono molte definizioni di algoritmo, quindi la >risposta è "dipende".

Giusto. (cioe' meglio : mi fido)
Allora scegline una, scrivila e in funzione di quella
rispondimi.

Grazie.


    Inoltra  
Devi eseguire l'accesso prima di poter postare i messaggi.
Per pubblicare un messaggio è necessario, innanzitutto, partecipare a questo gruppo.
Aggiorna il tuo nickname nella pagina delle impostazioni dell'iscrizione prima di postare i messaggi.
Non sei autorizzato a postare messaggi.
Denis  
Vedi profilo  
 Altre opzioni 9 Feb, 15:54
Newsgroup: it.scienza.matematica
Da: Denis <spamcontai...@yahoo.com>
Data: Tue, 09 Feb 2010 14:54:46 GMT
Locale: Mar 9 Feb 2010 15:54
Oggetto: Re: Gli algoritmi devono terminare per essere tali ?
On 09/02/2010 12.12, radicale 003 wrote:
> On 9 Feb, 11:31, Denis<spamcontai...@yahoo.com>  wrote:
>> E' chiaro che deve essere cosi' altrimenti anche il>calcolo di 1+1 non e' terminante perche' il problema>diventa quello di produrre un numero
>> infinito di cifre.

> Giusto

>> Direi che non sempre e' cosi' semplice separare le
>> due cose , la separazione e' un caso speciale

> Addirittura ! Come mai accade questo ?

Prendi tutti i programmi esprimibili in un qualsiasi linguaggio
universale quindi questi li potrai raggruppare in sottoinsiemi in cui
una loro parte e' uguale , questi sottoinsiemi sono i programmi con
parametro che potrebbero essere costituiti anche da un solo elemento
quindi programma non definibile con parametri .
Questo non implica che non sia possibile definire un linguaggio
universale tale che tutti i programmi siano definibili con parametro ma
qui il dubbio e' se la cosa abbia effettivamente un significato oppure
se sia solo una questione tecnica.
Una cosa interessante e' invece notare come alcuni programmi possano
essere "accorciati" portando sempre piu' il programma stesso nel
parametro andando verso un comportamento piu' flessibile ( piu' casi
gestiti dal parametro )  passando da una situazione di computabilita' /
terminazione / algoritmo ad una situazione di incomputabilita' / non
terminazione ed allo stesso tempo il programma ottiene l' universalita'.

    Inoltra  
Devi eseguire l'accesso prima di poter postare i messaggi.
Per pubblicare un messaggio è necessario, innanzitutto, partecipare a questo gruppo.
Aggiorna il tuo nickname nella pagina delle impostazioni dell'iscrizione prima di postare i messaggi.
Non sei autorizzato a postare messaggi.
radicale 004  
Vedi profilo  
 Altre opzioni 9 Feb, 16:04
Newsgroup: it.scienza.matematica
Da: radicale 004 <radicale....@gmail.com>
Data: Tue, 9 Feb 2010 07:04:53 -0800 (PST)
Locale: Mar 9 Feb 2010 16:04
Oggetto: Re: Gli algoritmi devono terminare per essere tali ?
On 9 Feb, 15:54, Denis <spamcontai...@yahoo.com> wrote:

>Prendi tutti i programmi esprimibili in un qualsiasi >linguaggio universale quindi questi li potrai raggruppare >in sottoinsiemi in cui una loro parte e' uguale

Scusa, abbi pazienza :
"Raggruppare in sottoinsiemi in cui una loro
parte e' uguale" ... E che diavolo significa ???

>questi sottoinsiemi sono i programmi con
>parametro che potrebbero essere costituiti anche da un >solo elemento quindi programma non definibile con >parametri.

(omissis)

Scusa ancora, ma davvero non si capisce !


    Inoltra  
Devi eseguire l'accesso prima di poter postare i messaggi.
Per pubblicare un messaggio è necessario, innanzitutto, partecipare a questo gruppo.
Aggiorna il tuo nickname nella pagina delle impostazioni dell'iscrizione prima di postare i messaggi.
Non sei autorizzato a postare messaggi.
Fine dei messaggi
« Torna alle discussioni « Argomento più recente     Argomento meno recente »

Crea un gruppo - Google Gruppi - Home page di Google - Termini di servizio - Norme sulla privacy
©2010 Google