[lnkForumImage]
TotalShareware - Download Free Software

Confronta i prezzi di migliaia di prodotti.
Asp Forum
 Home | Login | Register | Search 


 

Forums >

pl.comp.programming

Twierdzenia

cut

6/27/2007 9:16:00 AM

Witam
Czy móg³by kto¶ przypomnieæ mi nazwy/autorów twierdzeñ:
1) ¯e ka¿d± funkcjê rekurencyjn± mo¿na przedstawiæ w postaci iteracyjnej;
2) ¯e w jêzyku który spe³nia [pewnie za³o¿enia, zupe³ny czy co¶ takiego]
mo¿na zapisaæ ka¿dy program;

Regards
Andrew


3 Answers

Wiktor Zychla

6/28/2007 7:47:00 AM

0

> 2) ?e w jezyku który spe3nia [pewnie za3o?enia, zupe3ny czy co? takiego]
> mo?na zapisaa ka?dy program;
>

to akurat nie jest twierdzenie, tylko definicja zupe3no?ci w sensie Turinga:

http://pl.wikipedia.org/wiki/Kompletno%C5%9B%C4%...

Wiktor Zychla

cut

6/28/2007 9:33:00 AM

0

U¿ytkownik "Wiktor Zychla" <user@nospam.com.eu> napisa³ w wiadomo¶ci
news:f5vp97$s7u$1@nemesis.news.tpi.pl...
>> 2) ¯e w jêzyku który spe³nia [pewnie za³o¿enia, zupe³ny czy co¶ takiego]
>> mo¿na zapisaæ ka¿dy program;
>>
>
> to akurat nie jest twierdzenie, tylko definicja zupe³no¶ci w sensie
> Turinga:
>

o to chodzi³o
tak podejrzewa³em ze to co¶ z Turingiem - facet by³ do tego zdolny ;)
dziêki :)

regards
andrew



tdny

1/4/2010 9:23:00 PM

0



"climber" <coledenkler@gmail.com> wrote in message
news:8d501217-c718-492e-9da0-20aaa34eedf8@a15g2000yqm.googlegroups.com...
> On Jan 4, 11:43 am, AnAmericanCitizen <NoAmne...@earthlink.net> wrote:
>> (From Fox News Crawl): U.S. lifts a 22-year ban stopping anyone with
>> HIV/Aids from
>> entering the country.
>>
>> President Obama says the ban was incompatible with U.S. plans to be a
>> world leader in
>> the fight against the disease.
>>
>> U.S. introduced its ban against people with HIV/Aids at the height of a
>> global panic
>> at the end of the 1980s. Only eleven other countries exclude anyone with
>> that
>> condition.
>> ###
>>
>> I guess we can't be a world leader against the fight unless we take on
>> the care and
>> support of victims of the disease throughout the world....AAC
>
> Uncle Suckemoff again lives up to his name. Does anyone support the
> government in
> Washington, DC?
>
>
> climber

I don't support this particular aspect of the Obama Presidency.
IMO, it is a mistake, an error in judgement.

HIV/Aids can be contained using very expensive medication, but it is still
contagious,
lethal after all is said and done.

Allowing individuals contaminated with a lethal, contagious disease into the
USA,
is criminal.

Obama is directly responsible for any new infections, he let them in.