On 7/23/2005 11:34 PM, Immona wrote:
>
> Użytkownik "Mariusz 'BB' Trojanowski" <m...@a...in.sig> napisał w
> wiadomości news:dbuc7j$33n$1@inews.gazeta.pl...
>
>> On 7/23/2005 10:56 PM, Immona wrote:
>>
> Do Wikipedii wpisuje informacje kazdy, niekoniecznie posiadajacy pelna
> wiedza na dany temat, a jeszcze rzadziej - obiektywizm. Wikipedia
> czesciej zawiera informacje na temat obiegowego znaczenia czegos i
> "powszechnego postrzegania", co moze byc bardzo przydatne w wielu
> wypadkach, ale nie w kazdym przypadku.

Ogólnie, do Internetu każdy wpisuje informacje, podobnie jak my teraz,
niekoniecznie posiadając wiedzę czy obiektywizm. Po prostu kwestia
walidacji informacji została przerzucona z nadawce, jak w tradycyjnych
mediach, na odbiorcę Czy z tego wynika, że nasza dyskusja nie ma sensu?
>
>>
>> Podaj, proszę, źródło, bo ja nie widziałem nigdzie definicji
>> informatyki, jako "nauki o programach".
>
>
> Teza Churcha-Turinga. Ty jestes po studiach infomatycznych, prawda?

Cóż, trzymajmy się formuły, że Ty rzucasz mądrymi nazwiskami, a ja
posługuję się analogiami i kontrprzykładami. Czy z faktu ("ad hoc teza
Mariusza-Churcha-Turinga"), że wszystko, co da się powiedzieć w dowolnym
języku, da się powiedzieć również po polsku, wynika, że lingwistyka jest
nauką o języku polskim?

> Specyfikacja to teza, a program jest dowodem tej tezy (izomorfizm
> Curriego-Howarda). (Stosuje sie to raczej do matematki konstruktywnej, a
> nie niekonstruktywnej (klasycznej)).
>

Moim zdaniem najdoskonalsze algorytmy/programy zawiera książka
kucharska. Czy sztukę kucharską też nazwiesz nauką o programach?

--
Pozdrawiam @ Mariusz Trojanowski @@@ slotyzmok @ narod!ru (s <-> z)
"- Proszę pokazać język. Proszę powiedzieć trzydzieści trzy. Oddychać.
Nie oddychać. Myślę, panie rotmistrzu, że to nie takie niebezpieczne."
[Burzliwe życie Lejzorka Rojtszwańca]