problema irrisolto di programmazione(Teorema di Rice)

Area di discussione libera.

Moderatore: Staff

Regole del forum
1) Rispettare le idee altrui.
2) Evitare le offese dirette.
3) Leggere attentamente le risposte ricevute
4) Scrivere i messaggi con il colore di default, evitare altri colori.
5) Scrivere in Italiano o in Inglese, se possibile grammaticalmente corretto, evitate stili di scrittura poco chiari, quindi nessuna abbreviazione tipo telegramma o scrittura stile SMS o CHAT.
6) Appena registrati è consigliato presentarsi nel forum dedicato.

La non osservanza delle regole porta a provvedimenti di vari tipo da parte dello staff, in particolare la non osservanza della regola 5 porta alla cancellazione del post e alla segnalazione dell'utente. In caso di recidività l'utente rischia il ban temporaneo.
Rispondi
pichici
Linux 0.x
Linux 0.x
Messaggi: 28
Iscritto il: dom 3 apr 2005, 0:00

problema irrisolto di programmazione(Teorema di Rice)

Messaggio da pichici »

Ciao a tutti,
qualcuno sa se questo semplice programma irrisolto da anni ha un nome?

while (n >= 2) do
if n mod 2 = 0 then n:= n div 2
else n:=3n+1
endw
Il profe non si ricordava più il nome ma ha detto che da anni è un enigma per i matematici capire se la terminazione di questo programma è decidibile.
Grazie( fate un uomo felice se mi date una risposta)

Avatar utente
Sari
Linux 3.x
Linux 3.x
Messaggi: 584
Iscritto il: mer 16 feb 2005, 0:00
Slackware: 12.1
Kernel: 2.6.24
Desktop: Gnome
Località: Verona

Messaggio da Sari »


pichici
Linux 0.x
Linux 0.x
Messaggi: 28
Iscritto il: dom 3 apr 2005, 0:00

Messaggio da pichici »

grandissimo... grazie mille :wink: Anche tu studente di informatica?

Avatar utente
Sari
Linux 3.x
Linux 3.x
Messaggi: 584
Iscritto il: mer 16 feb 2005, 0:00
Slackware: 12.1
Kernel: 2.6.24
Desktop: Gnome
Località: Verona

Messaggio da Sari »

si università di info ;)

miles83
Linux 0.x
Linux 0.x
Messaggi: 33
Iscritto il: lun 20 giu 2005, 0:00
Località: Milano

NOOOOOOOOOOOOOOOOO!!!!!!!!!!!!!!

Messaggio da miles83 »

Vi prego non parlate anche voi di Rice!!!!
Domani ho l'esame di Info Teorica!!!!!!!!!

pichici
Linux 0.x
Linux 0.x
Messaggi: 28
Iscritto il: dom 3 apr 2005, 0:00

Messaggio da pichici »

In bocca al :wink: lupo....

Avatar utente
Paoletta
Staff
Staff
Messaggi: 3975
Iscritto il: lun 25 apr 2005, 0:00
Slackware: 14.2 - 64 bit
Desktop: fluxbox
Località: Varese

Messaggio da Paoletta »

una altro nome della congettura di Collatz è "problema di Syracuse"

Avatar utente
absinthe
Iper Master
Iper Master
Messaggi: 2354
Iscritto il: dom 15 mag 2005, 0:00
Nome Cognome: Matteo Nunziati
Slackware: 12.1 - defunct
Kernel: 2.6.32-5-amd64
Desktop: gnome
Distribuzione: debian squeeze
Località: Prato
Contatta:

Re: problema irrisolto di programmazione(Teorema di Rice)

Messaggio da absinthe »

pichici ha scritto:Ciao a tutti,
qualcuno sa se questo semplice programma irrisolto da anni ha un nome?

while (n >= 2) do
if n mod 2 = 0 then n:= n div 2
else n:=3n+1
endw
Il profe non si ricordava più il nome ma ha detto che da anni è un enigma per i matematici capire se la terminazione di questo programma è decidibile.
Grazie( fate un uomo felice se mi date una risposta)
ma chi è l'imbecille che si è preoccupato di tutto cio? ditemi che c'è una ragione tecnica/applicativa per tutto questo! vi pregooooooooo...

ps ma che problemi c'erano se anzichè porre n= 3n+1 si metteva n=2n+1??? sempre dispari era... o ho frainteso il senzo dell'invicinbile algoritmo di tutankamon lì...


M.

Avatar utente
useless
Staff
Staff
Messaggi: 3896
Iscritto il: dom 12 ott 2003, 0:00
Località: A place where the streets have no name
Contatta:

Messaggio da useless »

non è che abbia un senso in sé, + che altro è un esempio di problema davanti a cui la matematica non sa trarre una risposta definitiva ("capire se la terminazione di questo programma è decidibile"). un po' come trovare un pattern nelle cifre decimali di pigreco...

Avatar utente
absinthe
Iper Master
Iper Master
Messaggi: 2354
Iscritto il: dom 15 mag 2005, 0:00
Nome Cognome: Matteo Nunziati
Slackware: 12.1 - defunct
Kernel: 2.6.32-5-amd64
Desktop: gnome
Distribuzione: debian squeeze
Località: Prato
Contatta:

Messaggio da absinthe »

useless ha scritto:non è che abbia un senso in sé, + che altro è un esempio di problema davanti a cui la matematica non sa trarre una risposta definitiva ("capire se la terminazione di questo programma è decidibile"). un po' come trovare un pattern nelle cifre decimali di pigreco...
quando la scienza non può aiutarci allora è solo una questione di fede... indi: tu credi nella decidibilità useless? CONVERITITI AD ESSA E VIVRAI DECIDITO (si dirà così?) :)

M.

Avatar utente
useless
Staff
Staff
Messaggi: 3896
Iscritto il: dom 12 ott 2003, 0:00
Località: A place where the streets have no name
Contatta:

Messaggio da useless »

be' oddio, nella matematica sì, tendo a crederci, altrimenti non avrebbe nessun senso :D.

Rispondi